Cover Image

Computer systems : theory, technology, and applications : a tribute to Roger Needham /

Show other versions (1)

Computer Systems: Theory, Technology, and Applications A Tribute to Roger Needham Computer systems form the core of computing, as their combinations of hardware and software components function together to help program developers and end-users achieve goals of managing and accessing information in a...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Herbert, A. J. (Andrew J.), 1954-, Sparck Jones, Karen, 1935-2007, Needham, R. M. (Roger Michael)
Format:	eBook
Language:	English
Published:	New York : Springer, 2004.
Series:	Monographs in computer science.
Subjects:	System design. Computer science. COMPUTERS > Software Development & Engineering > Systems Analysis & Design. COMPUTERS > Software Development & Engineering > General. Electronic books.
Online Access:	Connect to the full text of this electronic book Connect to the full text of this electronic book

Similar Items

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, the Netherlands, April 2-4, 1997 : proceedings /
Published: (1997)

Contemporary trends in systems development /
Published: (2001)

Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Published: (2001)

Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4,1998, proceedings /
Published: (1998)

Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings /
Published: (2000)

Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
Published: (2002)

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings /
Published: (2003)

Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings /
Published: (1999)

Designing collaborative systems : a practical guide to ethnography /
by: Crabtree, Andy
Published: (2003)

Beyond programming : to a new era of design /
by: Blum, Bruce I.
Published: (1996)

Systems development methods for databases, enterprise modeling, and workflow management /
Published: (1999)

System-On-A-Chip verification : methodology and techniques /
by: Rashinkar, Prakash, 1960-
Published: (2002)

System design with SystemC /
Published: (2002)

Design methods for reactive systems : Yourdan, Statemate, and the UML /
by: Wieringa, Roel
Published: (2003)

Power Aware Computing /
by: Graybill, Robert
Published: (2002)

Modeling software behavior : a craftsman's approach /
by: Jorgensen, Paul
Published: (2009)

User Experience Foundations
by: de Voil, Nick
Published: (2020)

User Experience Foundations
by: de Voil, Nick
Published: (2020)

Data architecture : from zen to reality /
by: Tupper, Charles D.
Published: (2011)

Unified low-power design flow for data-dominated multi-media and telecom applications : Based on selected partner contributions of the European Low Power Initiative for Electronic System Design of the European Community ESPRIT4 programme /
by: Catthoor, Francky
Published: (2000)

Embedded software development : the open-source approach /
by: Bertolotti, Ivan Cibrario, et al.
Published: (2016)

Custom Memory Management Methodology : Exploration of Memory Organisation for Embedded Multimedia System Design /
by: Catthoor, Francky
Published: (1998)

From MDD concepts to experiments and illustrations /
Published: (2006)

Introduction to software architecture /
by: Ostrowski, Adrian, et al.
Published: (2022)

Computing in Horn Clause Theories /
by: Padawitz, Peter
Published: (1988)

Design of Dependable Computing Systems /
by: Geffroy, Jean-Claude
Published: (2002)

Knowledge-based software engineering /
Published: (1997)

A Pathology of Computer Viruses /
by: Ferbrache, David
Published: (1992)

Software development techniques for constructive information systems design /
Published: (2013)

Fast and effective embedded systems design : applying the ARM mbed /
by: Toulson, Rob
Published: (2012)

STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994. Proceedings /
by: Enjalbert, P. (Patrice)
Published: (1994)

Foundations of Real-Time Computing: Scheduling and Resource Management /
by: Tilborg, André M.
Published: (1991)

Computability /
by: Weihrauch, Klaus
Published: (1987)

Software engineering : a methodical approach /
by: Foster, Elvis C.
Published: (2022)

Workload Characterization for Computer System Design /
by: John, Lizy Kurian
Published: (2000)

TRON Project 1989 : Open-Architecture Computer Systems /
by: Sakamura, Ken
Published: (1989)

TRON Project 1990 : Open-Architecture Computer Systems /
by: Sakamura, Ken
Published: (1990)

Software performance and scalability : a quantitative approach /
by: Liu, Henry H.
Published: (2009)

Z User Workshop : Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989 /
by: Nicholls, John E.
Published: (1990)

FST TCS 2003 : foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003 : proceedings /
Published: (2003)