Søk: 'Logic in Computer Sciences: Modelling and Reasoning about Computer Systems'
-
Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil
ISBN 9780821813645 , 1999 , Walter Walter Alexandre Carnielli,m.fl.
-
Computer-Aided Pattern Design and Product Development
ISBN 9781405102834 , 2003 , Alison Beazley, Terry Bond
-
Mathematica computer guide: instructor's guide
ISBN 9780471726494 , 2006 , Erwin Kreyszig
-
Becoming Computer Literate: A New Users Guide to Buying and Starting an IBM Computer
ISBN 9781560722748 , 1997 , Chris Kitchin
-
Computer Organization and Design: The Hardware/Software Interface
ISBN 9780123744937 , 2008 , John L. Hennessy, David A. Patterson
-
Computer Networks: A Top Down Approach
ISBN 9780073523262 , 2011 , Behrouz A. Forouzan, Firouz Mosharraf
-
Boundary element acoustics: fundamentals and computer codes
ISBN 9781853125706 , 2000 , T. W. Wu
-
Testing Computer Software, 2nd Edition
ISBN 9780471358466 , 1999 , 2. utgave
-
Incident Response & Computer Forensics, Third Edition
ISBN 9780071798686 , 2014 , 3. utgave , Kevin Mandia, Matthew Pepe, Ryan Kazanciyan
-
Computer Science: An Overview, Global Edition
ISBN 9781292061160 , 2014
-
Computer-Aided Power System Analysis
ISBN 9780203910832 , 2002 , Ramasamy Natarajan
-
Computer-aided Power System Analysis
ISBN 9780824706999 , 2002 , Ramasamy Natarajan
-
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
ISBN 9783642002830 , 2009 , Kurt Jensen, Lars M. Kristensen
-
Balanced Introduction to Computer Science
ISBN 9780131277748 , 2004 , David Reed
-
Computer architecture: a quantitative approach
ISBN 9781558605961 , 2002 , John L. Hennessy, David A. Patterson,m.fl.
-
Computer Confluence: Exploring Tomorrow's Technology
ISBN 9780130882370 , 2001 , George Beekman
-
Computer organization and architecture: designing for performance
ISBN 9780130812940 , 2000 , William Stallings
-
Computer Organization and Arqhitecture: Designing for Perfomance
ISBN 9780130852632 , 2000 , William Stallings
-
Fundamentals of Modern Manufacturing: Materials, Processes and Systems
ISBN 9781119706427 , 2021 , Mikell P. Groover
-
Computer Accounting with QuickBooks 2003
ISBN 9780072824728 , 2003 , Donna Ulmer
-
Computer forensics: incident response essentials
ISBN 9780201707199 , 2001 , Warren G. Kruse, Jay G. Heiser
-
Computer Networks and Internets (Bk/CD-ROM)
ISBN 9780130842220 , 1999 , Douglas E. Comer
-
Python Programming: An Introduction to Computer Science
ISBN 9781590282410 , 2010 , John Zelle
-
Computer organization and architecture: designing for performance
ISBN 9780133599855 , 1996 , William Stallings
-
3D Computer Graphics [With CDROM]
ISBN 9780201398557 , 2000 , Alan H. Watt
-
Computer Forensics Infosec Pro Guide
ISBN 9780071742450 , 2000 , David Cowen, John Loveland
-
The principles of computer hardware
ISBN 9780198564539 , 2000 , Alan Clements
-
Essentials of Electrical and Computer Engineering: International Edition
ISBN 9780132768986 , 2011 , J. David Irwin, David V. Kerns, Jr.
-
Electric Circuits: Principles, Applications, and Computer Analysis
ISBN 9780023081118 , 1995 , David A. Bell
-
Computer Networks: A Top-down Approach
ISBN 9780071315159 , 2011 , Behrouz A. Forouzan, Firouz Mosharraf