Søk: 'Logic in Computer Sciences: Modelling and Reasoning about Computer Systems'
- 
                        
    Modelling and Control of Robot Manipulators
ISBN 9781852332211 , 2000 , Lorenzo Sciavicco, Bruno Siciliano
 - 
                        
    Discrete Structures, Logic, and Computability
ISBN 9780763718435 , 2002 , 2. utgave , James L. Hein
 - 
                        
    Longitudinal and Panel Data: Analysis and Applications in the Social Sciences
ISBN 9780521535380 , 2004 , Edward W. Frees
 - 
                        
    Molecular Modelling for Beginners
ISBN 9780470513149 , 2008 , Alan Hinchliffe
 - 
                        
    Interactive Computer Graphics: A Top-Down Approach with Shader-Based OpenGL
ISBN 9780273752264 , 2011 , Edward Angel, Dave Shreiner
 - 
                        
    Heuristics: Intelligent Search Strategies for Computer Problem Solving
ISBN 9780201055948 , 1984 , Judea Pearl
 - 
                        
    Outlines & Highlights for Computer Science: Overview by J. Glenn Brookshear
ISBN 9781616542788 , 2009 , Cram101 Textbook Reviews
 - 
                        
    Playing With Fire: How do computer games influence the player?
ISBN 9789189471276 , 2009 , Simon Egenfeldt-Nielsen
 - 
                        
    Ancestor of the West: Writing, Reasoning, and Religion in Mesopotamia, Elam, and Greece
ISBN 9780226067155 , 2000 , Jean Bottero, Clarisse Herrenschmidt,m.fl.
 - 
                        
    Logical Reasoning with Diagrams
ISBN 9780195104271 , 1996 , Jon Barwise, Gerard Allwein
 - 
                        
    A guided tour of differential equations: using computer technology
ISBN 9780135927670 , 1998 , Margie Hale, Alexandra Skidmore
 - 
                        
    Interactive computer graphics: a top-down approach with OpenGL
ISBN 9780201385977 , 2000 , Edward Angel
 - 
                        
    Approaches and Methodologies in the Social Sciences: A Pluralist Perspective
ISBN 9780521883221 , 2008 , Michael Keating, Donatella Della Porta
 - 
                        
    Games, Logic, and Constructive Sets
ISBN 9781575864495 , 2003 , G. Mints, Reinhard Muskens
 - 
                        
    Modern software development using Java: a text for the second course in computer science
ISBN 9780534384494 , 2003 , G. Michael Schneider
 - 
                        
    Philosophical Reasoning: A Study in the Methodology of Philosophizing
ISBN 9780631230182 , 2001
 - 
                        
    Studyguide for Interaction Design: Beyond Human Computer Interaction by Sharp, Helen
ISBN 9781478477723 , 2013 , Cram101 Textbook Reviews
 - 
                        
    Algorithms in modern mathematics and computer science: proceedings, Urgench, Uzbek SSR, September 16-22, 1979
ISBN 9783540111573 , 1981 , Donald Ervin Knuth, Andrei Petrovich Ershov,m.fl.
 - 
                        
    Qualitative Discourse Analysis in the Social Sciences
ISBN 9780230019874 , 2008 , Ruth Wodak, Jackie Abell, Helmut Gruber,m.fl.
 - 
                        
    Generalized Linear Models: with Applications in Engineering and the Sciences
ISBN 9780470454633 , 2010 , Douglas C. Montgomery, Raymond H. Myers,m.fl.
 - 
                        
    A Climate Modelling Primer
ISBN 9780470857519 , 2005 , Kendal McGuffie, Ann Henderson-Sellers
 - 
                        
    Computer programs for qualitative data analysis: a software sourcebook
ISBN 9780803955363 , 1995 , Matthew B. Miles, Eben A. Weitzman
 - 
                        
    Computer programs for qualitative data analysis: a software sourcebook
ISBN 9780803955370 , 1995 , Matthew B. Miles, Eben A. Weitzman
 - 
                        
    Critical thinking and reasoning: current research, theory, and practice
ISBN 9781572734593 , 2002 , Daniel Fasko
 - 
                        
    Physics for Computer Science Students: With Emphasis on Atomic and Semiconductor Physics
ISBN 9780387949031 , 1998 , Narciso Garcia, Steven Schwarz, Arthur C. Damask
 - 
                        
    Adaptive Perspectives on Human-Technology Interaction: Methods and Models for Cognitive Engineering and Human-Computer Interaction
ISBN 9780195374827 , 2010 , Alex Kirlik
 - 
                        
    Web Reasoning and Rule Systems: Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
ISBN 9783642159176 , 2010 , Pascal Hitzler, Thomas Lukasiewicz
 - 
                        
    Modelling Survival Data in Medical Research, Second Edition
ISBN 9781584883258 , 2003 , 2. utgave , D. Collett
 - 
                        
    A Computer-generated Concordance to the Syriac New Testament
ISBN 9789004097315 , 1997 , George Anton Kiraz, Sebastian P. Brock
 - 
                        
    Partial Differential Equations in Action: From Modelling to Theory
ISBN 9788847007529 , 2008 , Sandro Salsa