Browse Results

Showing 82,051 through 82,075 of 82,538 results
Title Author ISBN Copyright Features Action
Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes in Computer Science #4612) 4741950 Ian Miguel Wheeler Tuml 9783540735809 2007
Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings (Lecture Notes in Computer Science #3607) 4734174 Jean-Daniel Zucker Lorenza Saitta 9783540318828 2005
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems) 3821314 Chao Wang Gary D. Hachtel Fabio Somenzi 9780387346007 2006
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) 3819800 Annabelle McIver Charles Carroll Morgan 9780387270067 2005
Abstraction in Artificial Intelligence and Complex Systems 3868847 Lorenza Saitta Jean-Daniel Zucker 9781461470526 2013 Contains images
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science #1912) 4738747 Yuri Gurevich Philipp W. Kutter Martin Odersky Lothar Thiele 9783540445180 2000
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer Science #5238) 4666605 Paul Boca Egon Börger Michael Butler Jonathan P. Bowen 9783540876038 2008
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science #7316) 4790480 John Derrick John Fitzgerald Stefania Gnesi Sarfraz Khurshid Michael Leuschel Steve Reeves Elvinia Riccobene 9783642308857 2012
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science #8477) 2876935 Yamine Ait Ameur Klaus-Dieter Schewe 9783662436523 2014
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings (Lecture Notes in Computer Science #10817) 2263822 Michael Butler Alexander Raschke Thai Son Hoang Klaus Reichl 9783319912714 2018 Contains images
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Lecture Notes in Computer Science #9675) 2845414 Michael Butler Klaus-Dieter Schewe Atif Mashkoor Miklos Biro 9783319336008 2016 Contains images
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings (Lecture Notes in Computer Science #5977) 4702506 Marc Frappier Uwe Glässer Sarfraz Khurshid Régine Laleau Steve Reeves 9783642118111 2010
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science #3052) 4699857 Wolf Zimmermann Bernhard Thalheim 9783540247739 2004
Abstract State Machines 2003: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings (Lecture Notes in Computer Science #2589) 4784876 Egon Börger Angelo Gargantini Elvinia Riccobene 9783540364986 2003
Abstract State Machines: A Method for High-Level System Design and Analysis 4674443 Egon Börger Robert Stärk 9783642182167 2003
Abstract Pattern Illustrations for Textile Printing (Textile Science and Clothing Technology) 4351325 K. Murugesh Babu M. Selvadass Megha Shisodiya Abera Kechi Kabish 9789811659751 2022 Contains images
Abstract Domains in Constraint Programming 4098725 Marie Pelleau 9780081004647 2015
Abstract Data Types and Algorithms (Computer Science Ser.) 3849053 Manoochchr Azmoodeh 9781349211517 1990
Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series) 4606736 Werner Kluge 9783540273592 2005
Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems (Lecture Notes in Computer Science #1426) 4723960 Frederic Geurts 9783540492115 1998
Absolute Essentials of Ethereum (Absolute Essentials of Business and Economics) 5864829 Paul Dylan-Ennis 9781040009666 2024
Absolute Essentials of Ethereum (Absolute Essentials of Business and Economics) 5865110 Paul Dylan-Ennis 9781040009703 2024 Contains images
The Absolute Beginner's Guide to Python Programming: A Step-by-Step Guide with Examples and Lab Exercises 4948234 Kevin Wilson 9781484287163 2022 Contains images
The Absolute Beginner's Guide to HTML and CSS: A Step-by-Step Guide with Examples and Lab Exercises 5259299 Kevin Wilson 9781484292501 2023 Contains images
Absolute Beginners Guide to Computing 2777606 Wallace Wang 9781484222898 2016 Contains images

Refine Search

Showing 82,051 through 82,075 of 82,538 results