systems design

Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1 (Lecture Notes in Computer Science)

S. Tucker Taft

Software Architecture: 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings (Lecture Notes in Computer Science)

R. Morrison

Comprehensive systems design: a new educational technology

edited by Charles M. Reigeluth, Bela H. Banathy, Jeannette R. Olson.

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science)

Fabio Somenzi

Computer aided systems theory EUROCAST '97: a selection of papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 1997 : proceedings

Franz Pichler, Roberto Moreno Díaz, (Eds.)

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby ... Lectures (Lecture Notes in Computer Science)

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th 2005 Bertinoro, Italy)

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)

UML'99 - The Unified Modeling Language. Beyond the Standard: Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings (Lecture Notes in Computer Science)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 16th International Workshop, PATMOS 2006, Montpellier, France, ... (Lecture Notes in Computer Science)

Microcommunication Elements Databook

National Semiconductor Corporation, National Semiconductor.