Automated Theorem Proving in Software Engineering
Automated Theory Formation in Pure Mathematics eBooks & eLearning
Posted by insetes at Feb. 20, 2019
Automated Theory Formation in Pure Mathematics By Simon Colton BSc, MSc, PhD (auth.)
2002 | 380 Pages | ISBN: 1447111133 | PDF | 23 MB
2002 | 380 Pages | ISBN: 1447111133 | PDF | 23 MB
Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland eBooks & eLearning
Posted by insetes at April 22, 2019
Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings By Maria Paola Bonacina, Moa Johansson (auth.), Kai Brünnler, George Metcalfe (eds.)
2011 | 279 Pages | ISBN: 3642221181 | PDF | 3 MB
2011 | 279 Pages | ISBN: 3642221181 | PDF | 3 MB
Model Checking Software eBooks & eLearning
Posted by AvaxGenius at June 16, 2018
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings by María del Mar Gallardo
English | PDF | 2018 | 361 Pages | ISBN : 3319941100 | 10.24 MB
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.
Model Checking Software eBooks & eLearning
Posted by AvaxGenius at Oct. 2, 2019
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings by Fabrizio Biondi
English | PDF | 2019 | 269 Pages | ISBN : 3030309223 | 12.33 MB
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.
Automated Reasoning with Analytic Tableaux and Related Methods eBooks & eLearning
Posted by tarantoga at May 1, 2011
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005
Publisher: Springer | ISBN: 3540289319 | 2005 | PDF | 356 pages | 3 Mb
Automated Reasoning with Analytic Tableaux and Related Methods eBooks & eLearning
Posted by step778 at Oct. 16, 2018
Bernhard Beckert, "Automated Reasoning with Analytic Tableaux and Related Methods"
2005 | pages: 354 | ISBN: 3540289313 | PDF | 3,7 mb
2005 | pages: 354 | ISBN: 3540289313 | PDF | 3,7 mb
Advanced Topics in Term Rewriting eBooks & eLearning
Posted by insetes at Feb. 20, 2019
Advanced Topics in Term Rewriting By Enno Ohlebusch (auth.)
2002 | 414 Pages | ISBN: 1441929215 | PDF | 11 MB
2002 | 414 Pages | ISBN: 1441929215 | PDF | 11 MB
Discrete Mathematics (2022) eBooks & eLearning
Posted by lucky_aut at June 13, 2022
Discrete Mathematics (2022)
Duration: 12h 15m | .MP4 1280x720, 30 fps(r) | AAC, 44100 Hz, 2ch | 5.48 GB
Genre: eLearning | Language: English
Duration: 12h 15m | .MP4 1280x720, 30 fps(r) | AAC, 44100 Hz, 2ch | 5.48 GB
Genre: eLearning | Language: English
Discrete Mathematics for Science and Engineering Students
Discrete Math eBooks & eLearning
Posted by ELK1nG at June 14, 2022
Discrete Math
Last updated 6/2022
MP4 | Video: h264, 1280x720 | Audio: AAC, 44.1 KHz
Language: English | Size: 5.50 GB | Duration: 12h 18m
Last updated 6/2022
MP4 | Video: h264, 1280x720 | Audio: AAC, 44.1 KHz
Language: English | Size: 5.50 GB | Duration: 12h 18m
Discrete Math for Science and Engineering Students
Automated Technology for Verification and Analysis eBooks & eLearning
Posted by AvaxGenius at Nov. 8, 2021
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings by Zhe Hou
English | PDF | 2021 | 384 Pages | ISBN : 3030888843 | 13.9 MB
This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions.