Søk: 'Logic in Computer Sciences: Modelling and Reasoning about Computer Systems'
-
Signals, Systems, and Transforms
ISBN 9780132067423 , 2007 , Charles L. Phillips, John M. Parr, Eve Ann Riskin
-
The Analytical Engine: An Introduction to Computer Science Using the Internet
ISBN 9780534953652 , 1998 , Rick Decker, Stuart Hirshfield
-
Explaining Society: Critical Realism in the Social Sciences
ISBN 9780415221832 , 2001 , Berth et al Danermark, Roy Bhaskar
-
Mathematical Reasoning for Elementary School Teachers, Global Edition
ISBN 9781292062365 , 2014 , Calvin T. Long, Richard S. Millman
-
Electrical Machines, Drives and Power Systems
ISBN 9781292024585 , 2013 , Theodore Wildi
-
Critical Thinking: An Introduction to Reasoning Well
ISBN 9780826424921 , 2011 , Jamie Carlin Watson, Robert Arp
-
Marine Ecology: Processes, Systems, and Impacts
ISBN 9780199227020 , 2011 , Michel J Kaiser, Martin J Attrill,m.fl.
-
Behind Deep Blue: Building the Computer that Defeated the World Chess Champion
ISBN 9780691090658 , 2002 , Feng-hsiung Hsu
-
Offshore Risk Assessment: Principles, Modelling and Applications of QRA Studies
ISBN 9781849966450 , 2010 , Jan Erik Vinnem
-
Systems Engineering : Theory and Practice
ISBN 9788484685395 , 2014 , Alberto Sols Rodríguez-Candela
-
Signals and Systems
ISBN 9780471164746 , 2002 , Simon Haykin, Barry Van Veen
-
Strategy: the logic of war and peace
ISBN 9780674007031 , 2002 , Edward N. Luttwak
-
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
-
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
-
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
-
An Introduction to Probability and Inductive Logic
ISBN 9780521775014 , 2001 , Ian Hacking
-
Information Systems Management in Practice
ISBN 9780131968776 , 2006 , Barbara C. Mcnurlin, Ralph H. Sprague
-
Generic Inference: A Unifying Theory for Automated Reasoning
ISBN 9781118010860 , 2012 , Marc Pouly, Juerg Kohlas
-
Formal logic: its scope and limits
ISBN 9780070323575 , 1991 , Richard C. Jeffrey
-
Walk About
ISBN 9780385604833 , 2002 , Bill Bryson
-
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
-
Decision Modelling for Health Economic Evaluation
ISBN 9780198526629 , 2006 , Andrew Briggs, Mark Sculpher, Karl Claxton
-
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.
-
Control Systems and Mechatronics
ISBN 9781842654392 , 2007 , J. Srinivas, Goutam Brahmachari
-
Information Systems Today: Managing in the Digital World
ISBN 9781292000008 , 2013 , Joseph Valacich, Christoph Schneider, Ramesh Behl,m.fl.
-
Discrete Structures, Logic, and Computability: Student Study Guide
ISBN 9780763709716 , 2010 , James L. Hein