Søk: 'Logic in Computer Science: Modelling and Reasoning about Systems'
-
Automation, Production Systems, and Computer-Integrated Manufacturing, Third Edition
ISBN 9780132393218 , 2007 , 3. utgave , Mikell P. Groover
-
Mathematical Methods and Modelling in Hydrocarbon Exploration and Production
ISBN 9783540225362 , 2004
-
Designing Digital Computer Systems with Verilog
ISBN 9780521828666 , 2004 , David J. Lilja, Sachin S. Sapatnekar
-
Robotics: Modelling, Planning and Control
ISBN 9781846286414 , 2008 , Lorenzo Sciavicco, Bruno Siciliano, Luigi Villani,m.fl.
-
Essential Discrete Mathematics for Computer Science
ISBN 9780130186614 , 2003 , Todd Feil, Joan Krone
-
Computer Concepts and Programming in C
ISBN 9788122425710 , 2009
-
A First Book in Logic
ISBN 9781113540973 , 2009 , Smith Henry Bradford
-
A First Book in Logic
ISBN 9781113540959 , 2009 , Smith Henry Bradford
-
A Formal Model of Visualization in Computer Graphics Systems
ISBN 9783540523956 , 1990 , Tamiya Onodera, Satoru Kawai
-
Managing Power Electronics: VLSI and DSP-Driven Computer Systems
ISBN 9780471709596 , 2005
-
The Pyramid Principle: Logic in Writing and Thinking
ISBN 9780273710516 , 2008 , Barbara Minto
-
Computer Concepts and Programming in C
ISBN 9788122430578 , 2011
-
Computing Tools for Modeling, Optimization, and Simulation: Interfaces in Computer Science and Operations Research
ISBN 9780792377184 , 1999 , Manuel Laguna, José Luis González Velarde,m.fl.
-
Facts about Auroras: A Fun Science Book
ISBN 9788299458351 , 2003 , Alv Egeland
-
Theory and Methods in Political Science
ISBN 9780230576278 , 2010 , Gerry Stoker, David Marsh
-
Ethics and Science: An Introduction
ISBN 9780521702676 , 2012 , Adam Briggle, Carl Mitcham
-
Python Programming: An Introduction to Computer Science
ISBN 9781887902991 , 2004 , John M. Zelle
-
Molecular modelling: principles and applications
ISBN 9780582382107 , 2001 , Andrew R. Leach
-
Philosophical Logic
ISBN 9780691156330 , 2012 , John P. Burgess
-
Quantitative Evaluation of Computing and Communication Systems: 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling and Evaluating Comp...
ISBN 9783540603009 , 1995 , Heinz Beilner, Falko Bause
-
Algebras, Diagrams, and Decisions in Language, Logic and Computation
ISBN 9781575863726 , 2002
-
Algebras, Diagrams, and Decisions in Language, Logic and Computation
ISBN 9781575863719 , 2002
-
Financial Modelling and Asset Valuation with Excel
ISBN 9780415630580 , 2013
-
Experts in Science and Society
ISBN 9780306479038 , 2003 , Gerd Gigerenzer, Elke Kurz-Milcke
-
Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design
ISBN 9780471293422 , 2002 , Martin L. Shooman
-
Teaching Software Modelling in Academia and Industry: Proceedings of the Workshop Teach UML - an Interdisciplinary Workshop on Teaching Software Modelling with the Unified Modelling Language in Academia and Industry .
ISBN 9783816775331 , 2008 , Christian Bunse,m.fl.
-
Understanding Scientific Reasoning
ISBN 9780155016255 , 1997
-
Language, Truth and Logic
ISBN 9780141186047 , 2001 , A. J. Ayer
-
Physical Geography: Science and Systems of the Human Environment
ISBN 9780471657644 , 2005 , Alan H. Strahler, Arthur Newell Strahler
-
An Introduction to Computer Science Using Java
ISBN 9780071122320 , 2002 , Samuel N. Kamin, Dennis Mickunas