Filter

Computer Systems

680 books found

Bioinformatics
Bioinformatics

by Bertil Schmidt

2010 6 ed.
The next wave of technologies
The next wave of technologies

by Phil Simon

2010 6 ed.
Modeling in event-b
Modeling in event-b

by Jean-Raymond Abrial

2006 6 ed.
Using Personal Computer DOS
Using Personal Computer DOS

by Chris DeVoney, Devoney

1985 6 ed.
Handheld computers for doctors
Handheld computers for doctors

by Mohammad Al-Ubaydli

2003 5 ed.
Supercomputing
Supercomputing

by Julian M. Kunkel, Thomas Ludwig

2013 5 ed.
Principles of model checking
Principles of model checking

by Christel Baier

2008 5 ed.
Model checking
Model checking

by Edmund M. Clarke Jr., Orna Grumberg

1999 5 ed.
Advanced information systems engineering
Advanced information systems engineering

by CAiSE '96 (1996 Crete, Greece), Greece) International Conference Caise 1996 (Crete

1996 5 ed.
High availability
High availability

by Floyd Piedad, Michael Hawkins

2000 5 ed.
Introduction to bioinformatics
Introduction to bioinformatics

by Stephen A. Krawetz, David D. Womble

2002 5 ed.
Architecting enterprise solutions
Architecting enterprise solutions

by Paul Dyson

2004 4 ed.
System Performance Evaluation
System Performance Evaluation

by Erol Gelenbe

2000 4 ed.
Lightweight Enterprise Architectures
Lightweight Enterprise Architectures

by Fenix Theuerkorn

2004 4 ed.
Unfoldings
Unfoldings

by Javier Esparza

2008 4 ed.
Roadmap to Greener Computing
Roadmap to Greener Computing

by Raoul-Abelin Choumin Nguemaleu, Lionel Montheu

2014 4 ed.