Søk: 'Logic in Computer Sciences: Modelling and Reasoning about Computer Systems'
-
Petroleum Production Engineering: A Computer-Assisted Approach
ISBN 9780750682701 , 2007 , Boyun Guo, William C. Lyons, Ali Ghalambor
-
Computer-Aided Practical Power System Analysis
ISBN 9780824744656 , 2002 , Natarajan, Marcel Dekker (Firma comercial)
-
Computer Ethics, 2nd Edition: Cautionary Tales and Ethical Dilemmas in Computing
ISBN 9780262061643 , 1994 , 2. utgave , Tom Forester, Perry Morrison
-
Situated Cognition: On Human Knowledge and Computer Representations
ISBN 9780521448710 , 1997 , Roy Pea, John Seely Brown, Christian Heath,m.fl.
-
Computer Organization and Architecture: Designing for Performance. by William Stallings
ISBN 9780273769194 , 2012 , William Stallings
-
The Art of Computer Programming: Fundamental algorithms
ISBN 9780321751041 , 2011 , Donald E. Knuth
-
1st International Computer Performance and Dependability Symposium (IPDS)
ISBN 9780818670596 , 1995 , Institute of Electrical and Electronics Engineers
-
New Perspectives on Computer Concepts: Introductory
ISBN 9780619213855 , 2004 , June Jamrich Parsons, Julie J. Parker
-
Knowledge, Representation and Reasoning
ISBN 9781558609327 , 2004 , Ronald J. Brachman, Hector Joseph Levesque
-
Learning Legal Skills and Reasoning
ISBN 9780415830201 , 2015 , Sharon Hanson
-
Comprehensive Modern Physics for Computer Scientists and Software Engineers
ISBN 9781906717629 , 2010 , Dmitry Vostokov
-
Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics
ISBN 9781402011542 , 2003 , Benedikt Löwe, Wolfgang Malzkorn, Thoralf Räsch
-
Proceedings of the Seventh International Conference on Computer Methods and Advances in Geomechanics, Cairns, 6-10 May 1991: Computer Methods and Advances in Geomechanics
ISBN 9789061911890 , 1991 , G. Beer, J. R. Booker, J. P. Carter
-
Learning OpenCV 3: Computer Vision in C++ with the OpenCV Library
ISBN 9781491937990 , 2016 , Adrian Kaehler, Gary Bradski
-
Learning OpenCV 3: Computer Vision in C++ with the OpenCV Library
ISBN 9781491937969 , 2016 , Adrian Kaehler, Gary Bradski
-
Situated Cognition: On Human Knowledge and Computer Representations
ISBN 9780521444002 , 1997 , Roy Pea, John Seely Brown, Christian Heath,m.fl.
-
Essential Discrete Mathematics for Computer Science
ISBN 9780130186614 , 2003 , Todd Feil, Joan Krone
-
New Perspectives on Computer Concepts: Comprehensive
ISBN 9780619044190 , 2002 , June Jamrich Parsons, Dan Oja
-
The International Handbook of Computer Security
ISBN 9781888998856 , 2000 , Joel G. Siegel, Jae K. Shim, Anique A. Qureshi
-
Interaction Design: Beyond Human-Computer Interaction, 2nd Edition
ISBN 9780470018668 , 2007 , 2. utgave , Jenny Preece, Yvonne Rogers, Helen Sharp
-
Philosophical Perspectives on Computer-Mediated Communication
ISBN 9780791428726 , 1996 , Charles M. Ess
-
English Computer Corpora: Selected Papers And Research Guide
ISBN 9783110123951 , 1991 , Stig Johansson, Anna-Brita Stenström
-
Computer Accounting with QuickBooks Pro 2001
ISBN 9780072476828 , 2001 , Donna Ulmer
-
Logic and Structure
ISBN 9781447145578 , 2012 , Dirk van Dalen
-
Shape detection in computer vision using the Hough transform
ISBN 9780387197234 , 1992 , Violet F. Leavers
-
Practical Programming: An Introduction to Computer Science Using Python 3.6
ISBN 9781680502688 , 2017
-
Human-Computer Interaction: An Empirical Research Perspective
ISBN 9780124058651 , 2012 , m.fl.
-
Information Flow: The Logic of Distributed Systems
ISBN 9780521070997 , 2008 , Jon Barwise, Jerry Seligman
-
Computer Tb T/A Physics 4ed
ISBN 9780716738268 , 2000 , 4. utgave , Tipler
-
Measuring Computer Performance: A Practitioner's Guide
ISBN 9780521641050 , 2000 , David J. Lilja