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
|
|