Søk: 'Logic in Computer Sciences: Modelling and Reasoning about Computer Systems'
-
Algebras, Diagrams, and Decisions in Language, Logic and Computation
ISBN 9781575863719 , 2002
-
Molecular modelling: principles and applications
ISBN 9780582382107 , 2001 , Andrew R. Leach
-
Understanding Scientific Reasoning
ISBN 9780155016255 , 1997
-
A Computer-aided Design and Synthesis Environment for Analog Integrated Circuits
ISBN 9780792376972 , 2002 , Geert Van der Plas, Georges Gielen,m.fl.
-
Proceedings, Fourth Annual Conference on Mechatronics and Machine Vision in Practice: Toowoomba, Australia, September 23-25, 1997
ISBN 9780818680250 , 1997 , IEEE Computer Society
-
Language, Truth and Logic
ISBN 9780141186047 , 2001 , A. J. Ayer
-
The Psychology of Computer Programming: Silver Anniversary Edition
ISBN 9780932633422 , 1998 , Gerald M. Weinberg
-
Logic
ISBN 9780415166959 , 1999 , Paul Tomassi
-
MMIXware: A RISC Computer for the Third Millennium
ISBN 9783540669388 , 1999 , Donald Ervin Knuth
-
Financial Modelling and Asset Valuation with Excel
ISBN 9780415630580 , 2013
-
Practical Programming: An Introduction to Computer Science Using Python 3
ISBN 9781937785451 , 2013 , Paul Gries, Jason Montojo
-
Computer Concepts And C Programming : Holistic Approach To Learning C, 2/e
ISBN 9788120340671 , 2010 , 2. utgave
-
Research Methodology in the Medical and Biological Sciences
ISBN 9780123738745 , 2007 , Petter Laake, Bjørn Reino Olsen,m.fl.
-
Strategic Budgeting: A Computer Program for Strategic Budgeting and Performance Assessment
ISBN 9788763000000 , 2000 , Uffe Andersen, Gunnar Pall Thorisson
-
Interactive Computer Graphics: A Top-Down Approach Using OpenGL
ISBN 9780321535863 , 2009 , Edward Angel
-
Computer Performance & Dependability Symposium (Ipds 98) 3rd International
ISBN 9780818686795 , 1998 , Institute of Electrical and Electronics Engineers
-
Agent-based Computer Simulation of Dichotomous Economic Growth
ISBN 9780792386889 , 1999 , Roger A. McCain
-
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.
-
The Art Of Computer Programming, Volume 1, 3/E
ISBN 9788177587548 , 2008 , 3. utgave
-
Designing the User Interface: Strategies for Effective Human-Computer Interaction
ISBN 9780321537355 , 2009 , Ben Shneiderman, Catherine Plaisant,m.fl.
-
Discrete Structures, Logic,and Computability
ISBN 9780763772062 , 2009 , James L. Hein
-
Designing the User Interface: Strategies for Effective Human-Computer Interaction
ISBN 9780321197863 , 2005 , Ben Shneiderman, Catherine Plaisant
-
A Descriptive Geometry Worksheets with Computer Graphics, Series
ISBN 9780023913426 , 1998 , E.G. Pare, R. O. Loving, Ivan Leroy Hill,m.fl.
-
Language, proof, and logic
ISBN 9781889119083 , 2000 , Jon Barwise, John Etchemendy, Gerard Allwein,m.fl.
-
Computational Fluid Dynamics in Fire Engineering: Theory, Modelling and Practice
ISBN 9780750685894 , 2009 , Guan Heng Yeoh, Kwok Kit Yuen
-
Computer Networking: A top-down approach/ sams teach yourself PHP, MySQL and apache all in one
ISBN 9781405883412 , 2007 , James Kurose, Keith Ross, Julie Meloni
-
Basin modelling: practice and progress
ISBN 9781862390089 , 1998 , J.E. Iliffe, S. J. Duppenbecker
-
C++ Lab Manual for Computer Science: An Overview
ISBN 9780201315455 , 1997 , Mary P. Boelk, J.Glenn Brookshear
-
Nobel Prizes And Life Sciences
ISBN 9789814299381 , Norrby Erling
-
Three Methods of Ethics: Computer Assisted Studies of Language and Culture
ISBN 9780631194354 , 1997 , Philip Pettit, Michael Slote, Marcia W. Baron