Søk: 'Logic in Computer Sciences: Modelling and Reasoning about Computer Systems'
-
A First Logic Book
ISBN 9780554493374 , 2008 , Drummond Percy Chase
-
Fundamentals of Digital Logic
ISBN 9780071268806 , 2008 , Stephen Brown, Zvonko Vranesic
-
Explaining Society: Critical Realism in the Social Sciences
ISBN 9780415221832 , 2001 , Berth et al Danermark, Roy Bhaskar
-
Electrical Machines, Drives and Power Systems
ISBN 9781292024585 , 2013 , Theodore Wildi
-
Studyguide for Interaction Design: Beyond Human Computer Interaction by Helen Sharp, ISBN 9780470018668
ISBN 9781614908739 , 2011 , Cram101 Textbook Reviews
-
Marine Ecology: Processes, Systems, and Impacts
ISBN 9780199227020 , 2011 , Michel J Kaiser, Martin J Attrill,m.fl.
-
Computer Vision: Craft, Engineering, and Science: Workshop Proceedings, Killarney, Ireland, September 9/10, 1991
ISBN 9783540572114 , 1994 , David Vernon
-
Signals and Systems
ISBN 9780471164746 , 2002 , Simon Haykin, Barry Van Veen
-
Systems Engineering : Theory and Practice
ISBN 9788484685395 , 2014 , Alberto Sols Rodríguez-Candela
-
The Analytical Engine: An Introduction to Computer Science Using the Internet
ISBN 9780534953652 , 1998 , Rick Decker, Stuart Hirshfield
-
Biostatistics for the Biological and Health Sciences
ISBN 9780321194367 , 2005 , Marc Triola, Mario F. Triola
-
Systems Analysis And Design
ISBN 9780471722571 , 2006 , Alan Dennis, Barbara Haley Wixom, Roberta M. Roth
-
Writing Essays About Literature
ISBN 9780495803119 , 2010 , Kelley Griffith
-
Decision Modelling for Health Economic Evaluation
ISBN 9780198526629 , 2006 , Andrew Briggs, Mark Sculpher, Karl Claxton
-
Media and Cultural Studies: Thinking Deep about Feeling Low
ISBN 9780470658086 , 2012 , Douglas M. Kellner
-
All about Lofoten and Vesterålen
ISBN 9788203237393 , 2009 , Evy Tillman Hegdal, Morten Eckersberg
-
Strategy: the logic of war and peace
ISBN 9780674007031 , 2002 , Edward N. Luttwak
-
Behind Deep Blue: Building the Computer that Defeated the World Chess Champion
ISBN 9780691090658 , 2002 , Feng-hsiung Hsu
-
Generic Inference: A Unifying Theory for Automated Reasoning
ISBN 9781118010860 , 2012 , Marc Pouly, Juerg Kohlas
-
Walk About
ISBN 9780385604833 , 2002 , Bill Bryson
-
Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
ISBN 9783642044670 , 2009 , Bettina Buth, Gerd Rabe, Till Seyfarth
-
Information Systems Management in Practice
ISBN 9780131968776 , 2006 , Barbara C. Mcnurlin, Ralph H. Sprague
-
Sustainable Intensification: Increasing Productivity in African Food and Agricultural Systems
ISBN 9781849713320 , 2011 , Jules N. Pretty, Stella Williams
-
Contemporary Issues in Database Design and Information Systems Development
ISBN 9781599042893 , 2007 , Keng Siau
-
Control Systems and Mechatronics
ISBN 9781842654392 , 2007 , J. Srinivas, Goutam Brahmachari
-
An Introduction to Probability and Inductive Logic
ISBN 9780521775014 , 2001 , Ian Hacking
-
New Developments in Categorical Data Analysis for the Social and Behavioral Sciences
ISBN 9780805847284 , 2004 , L. Andries van der Ark, Marcel A. Croon,m.fl.
-
Information Systems Today: Managing in the Digital World
ISBN 9781292000008 , 2013 , Joseph Valacich, Christoph Schneider, Ramesh Behl,m.fl.
-
Formal logic: its scope and limits
ISBN 9780070323575 , 1991 , Richard C. Jeffrey
-
Generic Inference: A Unifying Theory for Automated Reasoning
ISBN 9781118010846 , 2011 , Marc Pouly, Juerg Kohlas