Similar ebooks
ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
How to Solve It: A New Aspect of Mathematical Method
Foundations of Intelligent Systems: 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009, Proceedings
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Short Tricks of Math
€1.00
Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
€10.52
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
An Illustrated Book of Bad Arguments: Learn the Lost Art of Making Sense (Bad Arguments)
Formal Methods for Industrial Critical Systems: A Survey of Applications
€82.99
Fast Math: Learn the Secrets of Mental Math: By Using Vedic Math and Other Math Tricks to Perform Mental Calculations from Multiplication to Percentages without Calculators
€2.99
Formal Methods for Open Object-based Distributed Systems: Volume 2
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
€75.05
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
Book 55
536 Puzzles and Curious Problems
Logic: A Very Short Introduction: Edition 2
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Foundations and Fundamental Concepts of Mathematics
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
That's Maths: The Mathematical Magic in Everyday Life
€4.99