Browse Results

Showing 71,026 through 71,050 of 100,000 results
Title Author ISBN Copyright Features Action
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 Sample Preparation: Methods for GC-MS and LC-MS 4280858 Hans-Joachim Hubschmann 9783527817504 2021
Automated Sample Preparation: Methods for GC-MS and LC-MS 4305903 Hans-Joachim Hubschmann 9783527817528 2021 Contains images
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 6214455 Henry Dalziel Ajin Abraham 9780128051054 2016 Contains images
Automated Security Management 4668044 Ehab Al-Shaer, Xinming Ou and Geoffrey Xie 9783319014333 2013 Contains images
Automated Software and Service Composition: A Survey and Evaluating Review (SpringerBriefs in Computer Science) 2846048 Felix Mohr 9783319341682 2016

Refine Search

Showing 71,026 through 71,050 of 100,000 results