MPG.eBooks - Search Results

Cover Image

2141

Graph-Theoretic Concepts in Computer Science : 20th International Workshop. WG '94, Herrsching, Germany, June 16 - 18, 1994. Proceedings

Published 1995

Springer Berlin Heidelberg

Cover Image

2142

Software Process: Principles, Methodology, and Technology

Published 1999

Springer Berlin Heidelberg

Cover Image

2143

Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings

Published 1986

Springer Berlin Heidelberg

Cover Image

2144

Theory of Computing and Systems : ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings

Published 1992

Springer Berlin Heidelberg

Cover Image

2145

Advances in Petri Nets 1992

Published 1992

Springer Berlin Heidelberg

Cover Image

2146

Cryptography and Coding : Fifth IMA Conference; Cirencester, UK, December 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Cover Image

2147

Foundations of Software Technology and Theoretical Computer Science : 18th Conference, Chennai, India, December 17-19, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Cover Image

2148

Computer Science Logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers

Published 1995

Springer Berlin Heidelberg

Cover Image

2149

Application and Theory of Petri Nets 1995 : 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Cover Image

2150

Computer Aided Verification : 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Cover Image

2151

Lectures on Petri Nets I: Basic Models : Advances in Petri Nets

Published 1998

Springer Berlin Heidelberg

Cover Image

2152

Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem

Published 1996

Springer Berlin Heidelberg

Cover Image

2153

Workflow Management Systems for Process Organisations

by Schael, Thomas
Published 1998

Springer Berlin Heidelberg

Cover Image

2154

Graph-Theoretic Concepts in Computer Science : 24th International Workshop, WG'98, Smolenice Castle, Slovak Republic, June 18-20, Proceedings

Published 1998

Springer Berlin Heidelberg

Cover Image

2155

Lectures on Embedded Systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996

Published 1998

Springer Berlin Heidelberg

Cover Image

2156

Integrating Symbolic Mathematical Computation and Artificial Intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers

Published 1995

Springer Berlin Heidelberg

Cover Image

2157

Advances in Spatial Databases : 4th International Symposium SSD '95, Portland, ME, USA, August 6 - 9, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Cover Image

2158

Formal Systems Specification : The RPC-Memory Specification Case Study

Published 1996

Springer Berlin Heidelberg

Cover Image

2159

Meta-Programming in Logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

Published 1992

Springer Berlin Heidelberg

Cover Image

2160

Foundations of Software Technology and Theoretical Computer Science : 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings

Published 1992

Springer Berlin Heidelberg

103
104
105
106
107
108
109
110
111
112
113