MPG.eBooks - Search Results - "Special Purpose And Application-based Systems"

Search alternatives:
application » applications

Cover Image

1

Business Component-Based Software Engineering

Published 2003

Springer US

Subjects: “...Special Purpose and Application-Based Systems...”

Cover Image

2

Automata, Languages and Programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Subjects: “...Special Purpose and Application-Based Systems...”

Cover Image

3

Real-Time: Theory in Practice : REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings

Published 1992

Springer Berlin Heidelberg

Subjects: “...Special Purpose and Application-Based Systems...”

Cover Image

4

Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Subjects: “...Special Purpose and Application-Based Systems...”

Cover Image

5

SDL 2003: System Design : 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Subjects: “...Special Purpose and Application-Based Systems...”

Cover Image

6

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems : Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and F...

Published 2004

Springer Berlin Heidelberg

Subjects: “...Special Purpose and Application-Based Systems...”

Cover Image

7

Computer Aided Verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Subjects: “...Special Purpose and Application-Based Systems...”

Cover Image

8

Real-Time and Multi-Agent Systems

by Attoui, Ammar
Published 2000

Springer London

Subjects: “...Special Purpose and Application-Based Systems...”

Cover Image

9

Computer Aided Verification : 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings

Published 1992

Springer Berlin Heidelberg

Subjects: “...Special Purpose and Application-Based Systems...”

Cover Image

10

Dependable Computing : First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Subjects: “...Special Purpose and Application-Based Systems...”

Cover Image

11

Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, German...

Published 1994

Springer Berlin Heidelberg

Subjects: “...Special Purpose and Application-Based Systems...”