Søk: 'Logic in Computer Sciences: Modelling and Reasoning about Computer Systems'
-
The Tools of Mathematical Reasoning
ISBN 9781470428990 , 2016 , Tamara J. Lakins
-
Computational Fluid Dynamics in Fire Engineering: Theory, Modelling and Practice
ISBN 9780750685894 , 2009 , Guan Heng Yeoh, Kwok Kit Yuen
-
Digital Terrain Modelling: Principles and Methodology
ISBN 9780415324625 , 2004 , Zhilin Li, Qing Zhu, Chris Gold
-
Researching Information Systems and Computing
ISBN 9781529732696 , 2022 , Marie Griffiths, Briony J Oates, Rachel McLean
-
Market Behaviour and Macroeconomic Modelling
ISBN 9780333718360 , 1998 , Steven Brakman, Hans Van Ees,m.fl.
-
Designing the User Interface: Strategies for Effective Human-Computer Interaction
ISBN 9780321537355 , 2009 , Ben Shneiderman, Catherine Plaisant,m.fl.
-
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.
-
Three Methods of Ethics: Computer Assisted Studies of Language and Culture
ISBN 9780631194354 , 1997 , Philip Pettit, Michael Slote, Marcia W. Baron
-
Pearson eText Access Card for Computer Networking: A Top-Down Approach [Global Edition]
ISBN 9781292419985 , 2022 , 8. utgave , Kurose James, Ross Keith
-
Designing the User Interface: Strategies for Effective Human-Computer Interaction
ISBN 9780321197863 , 2005 , Ben Shneiderman, Catherine Plaisant
-
Systems Analysis and Design in a Changing World
ISBN 9781305117204 , 2015 , Robert B. Jackson, Stephen D. Burd,m.fl.
-
Visual Surveillance (VS 2000): 3rd International Workshop
ISBN 9780769506982 , 2000 , IEEE Computer Society
-
Interactive Computer Graphics: A Top-down Approach with OpenGL
ISBN 9780201741865 , 2002 , Edward Angel
-
Nobel Prizes And Life Sciences
ISBN 9789814299381 , Norrby Erling
-
Language, proof, and logic
ISBN 9781889119083 , 2000 , Jon Barwise, John Etchemendy, Gerard Allwein,m.fl.
-
Computer Skills Workbook for Fluency with Information Technology: Skills, Concepts, and Capabilities
ISBN 9780321522559 , 2007 , Sharon Scollard
-
Logic: XD-US. ...
ISBN 9780415166966 , 1999 , Paul Tomassi
-
COMPUTER SCIENCE ILLUMINATED: WITH STUDENT LECTURE COMPANION - 2ND EDITION
ISBN 9780763726263 , 2004 , 2. utgave , Nell B. Dale, John Lewis
-
Computer Networking: A Top-Down Approach Featuring the Internet
ISBN 9780321418494 , 2006 , Keith W. Ross, James F. Kurose
-
Interactive Computer Graphics: A Top-down Approach Using OpenGL
ISBN 9780321312525 , 2006 , Edward Angel
-
Computer Organization and Architecture: Designing for Performance with Operating Systems:Internals and Design Principles
ISBN 9780582843059 , 2003 , William Stallings
-
Medical Statistics: A Textbook for the Health Sciences
ISBN 9781119423645 , 2021 , David Machin, Michael J. Campbell,m.fl.
-
An introduction to Object-Oriented programming in C++.: With applications in computer graphics, 2nd edition
ISBN 9781852334505 , 2001 , 2. utgave , Graham Mark Seed
-
The Logic Book
ISBN 9780071263238 , 2008 , Jack Nelson, James Moor, Merrie Bergmann
-
Planetary Sciences
ISBN 9781107091610 , 2015 , Jack J. Lissauer, Imke De Pater
-
User-centered Website development: a human-computer interaction approach
ISBN 9780130411617 , 2003 , With Spool, Daniel D. McCracken, Rosalee J. Wolfe,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
-
Reflective Practice in the Sport and Exercise Sciences: Contemporary Issues
ISBN 9780415814935 , 2014 , Zoe Knowles, David Gilbourne, Brendan Cropley,m.fl.
-
Calculus for Business, Economics, Life Sciences and Social Sciences, Global Edition
ISBN 9781292073583 , 2015 , Raymond A. Barnett, Karl E. Byleen,m.fl.
-
Affective And Emotional Aspects of Human-computer Interaction: Game-based And Innovative Learning Approaches
ISBN 9781586035723 , 2006 , M. Pivec