MPG.eBooks - Search Results

1

Algorithm Engineering : 5th International Workshop, WAE 2001 Aarhus, Denmark, August 28-31, 2001 Proceedings

Published 2001

Springer Berlin Heidelberg

“...This book constitutes the refereed proceedings of the 5th Workshop on Algorithm Engineering, WAE...”

Read Now

2

Advanced Information Systems Engineering : 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... -- An Assembly Process Model for Method Engineering -- Process Reuse Architecture -- Using a Metadata Software...”

Read Now

3

Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

Published 2002

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

4

Power Trade-offs and Low-Power in Analog CMOS ICs

by Sanduleanu, Mihai A.T., van Tuijl, Ed A.J.M.
Published 2002

Springer US

Subjects: “...Electrical and Electronic Engineering...”

Read Now

5

Automata, Languages and Programming : 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings

Published 1999

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

6

The Essence of Computation : Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones

Published 2002

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

7

Architecting Dependable Systems

Published 2003

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

8

Optimal Interprocedural Program Optimization : A New Framework and Its Application

by Knoop, Jens
Published 1998

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

9

Foundations of Software Technology and Theoretical Computer Science : 19th Conference, Chennai, India, December 13-15, 1999 Proceedings

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... -- The Engineering of Some Bipartite Matching Programs...”

Read Now

10

SOFSEM'99: Theory and Practice of Informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 Proc...

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... Engineering -- Biomolecular Computing and Programming -- Software Change and Evolution -- Distributed...”

Read Now

11

RoboCup 2000: Robot Soccer World Cup IV

Published 2001

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

12

NETWORKING 2000. Broadband Communications, High Performance Networking, and Performance of Communication Networks : IFIP-TC6/European Commission International Conference Paris, Fra...

Published 2000

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

13

Telecommunications and beyond: The Broader Applicability of SDL and MSC : Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers

Published 2003

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

14

Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

15

Computer Performance Evaluation. Modelling Techniques and Tools : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

16

Tools and Algorithms for the Construction of Analysis of Systems : 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of...

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... in the Software Engineering of Verification Tools -- ETAPS Tool Demonstation -- The ETI Online Service in Action...”

Read Now

17

Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proce...

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... Operator Procedures -- Applying Model Checking in Java Verification -- The Engineering of a Model Checker...”

Read Now

18

Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Published 1998

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

19

FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “...Little Engines of Proof -- Automated Boundary Testing from Z and B -- Improvements in Coverability...”

Read Now

20

Static Analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Narrow Search