Browse Results

Showing 71,076 through 71,100 of 100,000 results
Title Author ISBN Copyright Features Action
Automated Solution of Differential Equations by the Finite Element Method: The FEniCS Book (Lecture Notes in Computational Science and Engineering #84) 4673999 Anders Logg Kent-Andre Mardal Garth Wells 9783642230998 2012
Automated Speaking Assessment: Using Language Technologies to Score Spontaneous Speech 2967896 Klaus Zechner Keelan Evanini 9781351676113 2020
Automated Taxonomy Discovery and Exploration (Synthesis Lectures on Data Mining and Knowledge Discovery) 4962473 Jiaming Shen Jiawei Han 9783031114052 2022 Contains images
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II (Lecture Notes in Computer Science #14216) 5670179 Étienne André Jun Sun 9783031453328 2023 Contains images
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I (Lecture Notes in Computer Science #14215) 5680805 Étienne André Jun Sun 9783031453298 2023 Contains images
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Lecture Notes in Computer Science #9938) 2852016 Cyrille Artho Axel Legay Doron Peled 9783319465203 2016 Contains images
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Lecture Notes in Computer Science #6252) 4801450 Ahmed Bouajjani Wei-Ngan Chin 9783642156434 2010
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings (Lecture Notes in Computer Science #13505) 5007294 Ahmed Bouajjani Lukáš Holík Zhilin Wu 9783031199929 2022 Contains images
Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings (Lecture Notes in Computer Science #6996) 4617086 Tevfik Bultan Pao-Ann Hsiung 9783642243721 2011
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Lecture Notes in Computer Science #8837) 2816946 Franck Cassez Jean-François Raskin 9783319119366 2014
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science #5311) 4753696 Sungdeok Cha Jin-Young Choi Moonzoo Kim Mahesh Viswanathan 9783540883876 2008
Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science #11781) 2943293 Yu-Fang Chen Chih-Hong Cheng Javier Esparza 9783030317843 2019 Contains images
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings (Lecture Notes in Computer Science #10482) 2253114 Deepak D'Souza K. Narayan Kumar 9783319681672 2017 Contains images
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Lecture Notes in Computer Science #9364) 2835612 Bernd Finkbeiner Geguang Pu Lijun Zhang 9783319249537 2015 Contains images
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture Notes in Computer Science #4218) 4668600 Susanne Graf Wenhui Zhang 9783540472384 2006
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings (Lecture Notes in Computer Science #12971) 4324311 Zhe Hou Vijay Ganesh 9783030888855 2021 Contains images
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science #8172) 4736803 Dang Van Hung Mizuhito Ogawa 9783319024448 2013
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings (Lecture Notes in Computer Science #12302) 3735503 Dang Van Hung Oleg Sokolsky 9783030591526 2020 Contains images
Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (Lecture Notes in Computer Science #11138) 2241550 Shuvendu K. Lahiri Chao Wang 9783030010904 2018 Contains images
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes in Computer Science #5799) 4796438 Zhiming Liu Anders P. Ravn 9783642047619 2009
Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings (Lecture Notes in Computer Science #7561) 4727771 Madhavan Mukund Supratik Chakraborty 9783642333866 2012
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Lecture Notes in Computer Science #4762) 4693482 Kedar Namjoshi Tomohiro Yoneda Teruo Higashino Yoshio Okamura 9783540755968 2007
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science #3707) 4672446 Doron A. Peled Yih-Kuen Tsay 9783540319696 2005
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings (Lecture Notes in Computer Science #3299) 4725864 Farn Wang 9783540304760 2004
Automated Testing in Microsoft Dynamics 365 Business Central: Efficiently Automate Test Cases In Dynamics Nav And Business Central 2885906 Luc Van Vugt 9781789804935 2019 Contains images

Refine Search

Showing 71,076 through 71,100 of 100,000 results