Browse Results

Showing 9,001 through 9,025 of 85,854 results
Title Author ISBN Copyright Features Action
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science #4603) 4799451 Frank Pfenning 9783540735953 2007
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings (Lecture Notes in Computer Science #6803) 4823033 Nikolaj Bjørner Viorica Sofronie-Stokkermans 9783642224386 2011
Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Computer Science #7898) 4699026 Maria Paola Bonacina 9783642385742 2013
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science #9195) 2831306 Amy P. Felty Aart Middeldorp 9783319214016 2015 Contains images
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science #1761) 4798390 Ricardo Caferra Gernot Salzer 9783540465089 2000
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Computer Science #9201) 2831264 Francisco Botana Pedro Quaresma 9783319213620 2015 Contains images
Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers (Lecture Notes in Computer Science #4869) 4718768 Francisco Botana Tomas Recio 9783540773566 2007
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science #1669) 4661809 Xiao-Lu Gao Dongming Wang Lu Yang 9783540479970 1999
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers (Lecture Notes in Computer Science #3763) 4687282 Hoon Hong Dongming Wang 9783540313632 2006
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Computer Science #7993) 4770785 Tetsuo Ida Jacques Fleuriot 9783642406720 2013
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Computer Science #2061) 4794502 Jürgen Richter-Gebert Dongming Wang 9783540454106 2001
Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers (Lecture Notes in Computer Science #6877) 4792091 Pascal Schreck Julien Narboux Jürgen Richter-Gebert 9783642250705 2011
Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers (Lecture Notes in Computer Science #6301) 4752712 Thomas Sturm Christoph Zengler 9783642210464 2011
Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in Computer Science #2930) 4719527 Franz Winkler 9783540246169 2004
Automated Deep Learning Using Neural Network Intelligence: Develop and Design PyTorch and TensorFlow Models Using Python 4837114 Ivan Gridin 9781484281499 2022 Contains images
Automated Defect Prevention: Best Practices in Software Management (Wiley - IEEE) 3015128 Dorota Huizinga Adam Kolawa 9780470165164 2007
Automated Design of Analog and High-frequency Circuits: A Computational Intelligence Approach (Studies in Computational Intelligence #501) 2861405 Bo Liu Georges Gielen Francisco V. Fernández 9783642391620 2014 Contains images
Automated Design of Machine Learning and Search Algorithms (Natural Computing Series) 4225865 Nelishia Pillay Rong Qu 9783030720698 2021 Contains images
Automated Diagnostics and Analytics for Buildings 3762636 9788770223218 2014
Automated Essay Scoring (Synthesis Lectures on Human Language Technologies) 4575411 Beata Beigman Klebanov Nitin Madnani 9783031021824 2022
Automated Fingerprint Identification Systems (AFIS) 4291187 Peter Komarinski 9780080475981 2005
Automated Firewall Analytics: Design, Configuration and Optimization 2813680 Ehab Al-Shaer 9783319103716 2014 Contains images
Automated Grammatical Error Detection for Language Learners (Synthesis Lectures on Human Language Technologies) 4980618 Claudia Leacock Martin Chodorow Michael Gamon Joel Tetreault 9783031021374 2010
Automated Grammatical Error Detection for Language Learners, Second Edition (Synthesis Lectures on Human Language Technologies) 4576840 Claudia Leacock 9783031021534 2014
Automated Hierarchical Synthesis of Radio-Frequency Integrated Circuits and Systems: A Systematic and Multilevel Approach 3894959 Fábio Passos Elisenda Roca Rafael Castro-López Francisco V. Fernández 9783030472474 2020 Contains images

Refine Search

Showing 9,001 through 9,025 of 85,854 results