Søk: 'Logic in Computer Sciences: Modelling and Reasoning about Computer Systems'
-
Abductive Cognition: The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning
ISBN 9783642036309 , 2009 , Lorenzo Magnani
-
Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
ISBN 9783540292005 , 2005 , Rune Winther, Bjørn Axel Gran, Gustav Dahll
-
Systematic Reviews in the Social Sciences: A Practical Guide
ISBN 9781405121101 , 2005 , Mark Petticrew, Helen Roberts
-
Three Plays about Ibsen and Strindberg
ISBN 9781840021936 , 2000
-
Systems Engineering and Analysis
ISBN 9780137148431 , 2008 , Benjamin S. Blanchard, W. J. (Wolter J.) Fabrycky
-
Fire Modelling with Computational Fluid Dynamics
ISBN 9781848060944 , 2009 , S. Kumar
-
A Logic Book
ISBN 9780534068523 , 1987 , Robert M. Johnson
-
First Course in Database Systems
ISBN 9780131225206 , 2002 , Jeffrey D. Ullman, Jennifer D. Widom
-
A functional discourse grammar of Joshua: a computer-assisted rhetorical structure analysis
ISBN 9789122016588 , 1995 , Nicolai Winther-Nielsen
-
Operating Systems: Principles and Practice
ISBN 9780985673529 , 2014 , Thomas Anderson
-
A Textbook of Discrete Mathematics: (B.E., B.Tech., B.Sc. (Computer Science), B.I.T., B.C.A. and I.T. Related Other Professional Courses )
ISBN 9788121922326 , 2008 , Swapan Kumar Sarkar
-
Information Systems
ISBN 9781111532932 , 2011 , Ralph M. Stair, George Walter Reynolds
-
Researching Information Systems and Computing
ISBN 9781412902243 , 2005 , Briony J. Oates
-
Breathe In, Breathe Out: Learning About Your Lungs
ISBN 9781404802544 , 2004 , Pamela Hill Nettleton, Becky Shipe
-
Electrical and Electronic Systems
ISBN 9780130930460 , 2004 , Neil Storey
-
Protecting Participants and Facilitating Social and Behavioral Sciences Research
ISBN 9780309088527 , 2003 , National Academy of Sciences,m.fl.
-
Generic Inference: A Unifying Theory for Automated Reasoning
ISBN 9780470527016 , 2011 , Marc Pouly, Juerg Kohlas
-
The Animator's Survival Kit: A Manual of Methods, Principles and Formulas for Classical, Computer, Games, Stop Motion and Internet Animators
ISBN 9780571202287 , 2002 , Richard Williams
-
Quantitative Ecological Analysis in the Social Sciences
ISBN 9780262040228 , 1969
-
Arguing About War
ISBN 9780300109788 , 2006 , Michael Walzer
-
All About Nutrition
ISBN 9788172453572 , 2008
-
Caring about health
ISBN 9780754653585 , 2006 , Stan van Hooft
-
Secure Data Management in Decentralized Systems
ISBN 9780387276960 , 2007 , Ting Yu, Sushil Jajodia
-
AIDS in Europe: New Challenges for the Social Sciences
ISBN 9780203500934 , 2002 , Peter Aggleton, Jean Paul Moatti, Annick Prieur,m.fl.
-
Categorical Data Analysis for the Behavioral and Social Sciences
ISBN 9781848728363 , 2011 , Razia Azen, Cindy M. Walker
-
Active Rules in Database Systems
ISBN 9780387985299 , 1998 , Norman W. Paton
-
Linear Systems and Signals
ISBN 9780195158335 , 2004 , B.P. Lathi
-
Systems Analysis and Design
ISBN 9780130415714 , 2002 , Kenneth E. Kendall, Julie E. Kendall
-
CMOS Logic Circuit Design
ISBN 9780792384526 , 1999
-
Cambridge Dictionary of Statistics in the Medical Sciences
ISBN 9780521479288 , 1995 , Brian S. Everitt