Søk: 'Logic in Computer Sciences: Modelling and Reasoning about Computer Systems'
-
All About Cereals
ISBN 9781848352452 , 2010
-
All About Dairy
ISBN 9781848352483 , 2010
-
All About Food
ISBN 9781877467516 , 2010 , Raymond Huber, Jean Anderson
-
All About Fruit
ISBN 9781848352476 , 2010
-
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
-
Three Plays about Ibsen and Strindberg
ISBN 9781840021936 , 2000
-
First Course in Database Systems
ISBN 9780131225206 , 2002 , Jeffrey D. Ullman, Jennifer D. Widom
-
Fire Modelling with Computational Fluid Dynamics
ISBN 9781848060944 , 2009 , S. Kumar
-
Operating Systems: Principles and Practice
ISBN 9780985673529 , 2014 , Thomas Anderson
-
Information Systems
ISBN 9781111532932 , 2011 , Ralph M. Stair, George Walter Reynolds
-
Researching Information Systems and Computing
ISBN 9781412902243 , 2005 , Briony J. Oates
-
CMOS Logic Circuit Design
ISBN 9780792384526 , 1999
-
Electrical and Electronic Systems
ISBN 9780130930460 , 2004 , Neil Storey
-
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
-
A functional discourse grammar of Joshua: a computer-assisted rhetorical structure analysis
ISBN 9789122016588 , 1995 , Nicolai Winther-Nielsen
-
Breathe In, Breathe Out: Learning About Your Lungs
ISBN 9781404802544 , 2004 , Pamela Hill Nettleton, Becky Shipe
-
Digital Logic Design Principles
ISBN 9780471293514 , 2001 , Norman Balabanian, Bradley Carlson
-
Professionalism, the Third Logic
ISBN 9780745603308 , 2001 , Eliot Freidson
-
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
-
Quantitative Ecological Analysis in the Social Sciences
ISBN 9780262040228 , 1969
-
Secure Data Management in Decentralized Systems
ISBN 9780387276960 , 2007 , Ting Yu, Sushil Jajodia
-
Linear Systems and Signals
ISBN 9780195158335 , 2004 , B.P. Lathi
-
Systems Analysis and Design
ISBN 9780130415714 , 2002 , Kenneth E. Kendall, Julie E. Kendall
-
Active Rules in Database Systems
ISBN 9780387985299 , 1998 , Norman W. Paton
-
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
-
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
-
Data Compression in Digital Systems
ISBN 9780412085512 , 1997 , R.H. Hoffman
-
Cambridge Dictionary of Statistics in the Medical Sciences
ISBN 9780521479288 , 1995 , Brian S. Everitt