MPG.eBooks - Search Results

Cover Image

121

Consolidated Ada Reference Manual. Language and Standard Libraries : International Standard ISOIEC 86521995(E) with Technical Corrigendum 1

by Taft, Tucker S
Published 2001

Springer Berlin Heidelberg

Cover Image

122

Large-Scale Scientific Computing : Third International Conference, LSSC 2001 Sozopol, Bulgaria, June 6–10, 2001 Revised Papers

by Margenov, Svetozar
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

123

Engineering for Human-Computer Interaction : 8th IFIP International Conference, EHCI 2001 Toronto, Canada, May 11–13, 2001 Revised Papers

by Little, Murray Reed
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

124

Transactional Agents : Towards a Robust Multi-Agent System

by Nagi, Khaled
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

125

Unifying Petri Nets : Advances in Petri Nets

by Ehrig, Hartmut
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

126

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

by Bjørner, Dines
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

127

Cooperative Environments for Distributed Systems Engineering : The Distributed Systems Environment Report

by Drira, Khalil
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

128

Engineering Societies in the Agents World II : Second International Workshop, ESAW 2001 Prague, Czech Republic, July 7, 2001 Revised Papers

by Omicini, Andrea
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

129

Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002 Portland, OR, USA, January 19–20, 2002 Proceedings

by Krishnamurthi, Shriram
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

130

COTS-Based Software Systems : First International Conference, ICCBSS 2002 Orlando, FL, USA, February 4–6, 2002 Proceedings

by Dean, John
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

131

Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers

by Cerioli, Maura
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

132

ZB 2002:Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

by Bert, Didier
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

133

Modular Specification and Verification of Object-Oriented Programs

by Müller, Peter
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

134

Object Modeling with the OCL : The Rationale behind the Object Constraint Language

by Clark, Tony
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

135

Software Frameworks and Embedded Control Systems

by Pasetti, Alessandro
Published 2002

Springer Berlin Heidelberg

Cover Image

136

Theorem Proving in Higher Order Logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

by Grundy, Jim
Published 1998

Springer Berlin Heidelberg

Cover Image

137

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

by Levi, Giorgio
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

138

Parallel Computing Technologies : 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings

by Malyshkin, Victor
Published 2003

Springer Berlin Heidelberg

Cover Image

139

Innovative Concepts for Agent-Based Systems : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

by Truszkowski, Walt
Published 2003

Springer Berlin Heidelberg

Cover Image

140

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

by Cialdea Mayer, Marta
Published 2003

Springer Berlin Heidelberg

2
3
4
5
6
7
8
9
10
11
12