Browse Results

Showing 8,951 through 8,975 of 85,166 results
Title Author ISBN Copyright Features Action
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Computer Science #12166) 4838570 Nicolas Peltier Viorica Sofronie-Stokkermans 9783030510749 2020 Contains images
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14740) 6084404 Renate A. Schmidt Christoph Benzmüller Marijn J. H. Heule 9783031635014 2024 Contains images
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14739) 6118176 Renate A. Schmidt Christoph Benzmüller Marijn J. H. Heule 9783031634987 2024 Contains images
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Lecture Notes in Computer Science #7788) 4805271 Maria Paola Bonacina Mark E. Stickel 9783642366758 2013
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers (Lecture Notes in Computer Science #6186) 4743584 Alessandro Armando Gavin Lowe 9783642160745 2010
Automated Reasoning for Systems Biology and Medicine (Computational Biology #30) 2691129 Pietro Liò Paolo Zuliani 9783030172978 2019 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings (Lecture Notes in Computer Science #3702) 4626546 Bernhard Beckert 9783540318224 2005
Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings (Lecture Notes in Computer Science #6793) 4816877 Kai Brünnler George Metcalfe 9783642221194 2011
Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Lecture Notes in Computer Science #11714) 4719267 Serenella Cerrito Andrei Popescu 9783030290269 2019 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings (Lecture Notes in Computer Science #12842) 4263232 Anupam Das Sara Negri 9783030860592 2021 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings (Lecture Notes in Computer Science #1847) 4663189 Roy Dyckhoff 9783540450085 2000
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings (Lecture Notes in Computer Science #2381) 4739084 Uwe Egly Christian G. Fernmüller 9783540456162 2002
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings (Lecture Notes in Computer Science #8123) 4720421 Didier Galmiche Dominique Larchey-Wendling 9783642405372 2013
Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings (Lecture Notes in Computer Science #5607) 4811408 Martin Giese Arild Waaler 9783642027161 2009
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings (Lecture Notes in Computer Science #2796) 4658600 Marta Cialdea Mayer Fiora Pirri 9783540452065 2003
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings (Lecture Notes in Computer Science #1617) 4679197 Neil V. Murray 9783540487548 1999
Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings (Lecture Notes in Computer Science #9323) 2834704 Hans De Nivelle 9783319243122 2015
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings (Lecture Notes in Computer Science #4548) 4798169 Nicola Olivetti 9783540730996 2007
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings (Lecture Notes in Computer Science #14278) 5656274 Revantha Ramanayake Josef Urban 9783031435133 2023 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings (Lecture Notes in Computer Science #10501) 2252020 Renate A. Schmidt Cláudia Nalon 9783319669021 2017 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings (Lecture Notes in Computer Science #1397) 4708688 Harrie De Swart 9783540697787 1998
Automated Scheduling and Planning: From Theory to Practice (Studies in Computational Intelligence #505) 4624890 A. Sima Uyar Ender Ozcan Neil Urquhart 9783642393044 2013
Automated Secure Computing for Next-Generation Systems 5729454 Amit Kumar Tyagi 9781394213931 2024
Automated Secure Computing for Next-Generation Systems 5729456 Amit Kumar Tyagi 9781394213924 2024 Contains images
Automated Security Analysis of Android and iOS Applications with Mobile Security Framework 3908200 Henry Dalziel Ajin Abraham 9780128051054 2016 Contains images

Refine Search

Showing 8,951 through 8,975 of 85,166 results