MPG.eBooks - Search Results

Cover Image

1401

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

Published 1995

Springer Berlin Heidelberg

Cover Image

1402

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

Published 1998

Springer Berlin Heidelberg

Cover Image

1403

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

Published 1996

Springer Berlin Heidelberg

Cover Image

1404

Workflow Management Systems for Process Organisations

by Schael, Thomas
Published 1998

Springer Berlin Heidelberg

Cover Image

1405

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

1406

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

1407

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

1408

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

Published 1995

Springer Berlin Heidelberg

Cover Image

1409

Formal Systems Specification : The RPC-Memory Specification Case Study

Published 1996

Springer Berlin Heidelberg

Cover Image

1410

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

Published 1992

Springer Berlin Heidelberg

Cover Image

1411

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

Published 1992

Springer Berlin Heidelberg

Cover Image

1412

Evolutionary Computing : AISB Workshop, Sheffield, U.K., April 3 - 4, 1995. Selected Papers

Published 1995

Springer Berlin Heidelberg

Cover Image

1413

Parallel Problem Solving from Nature - PPSN V : 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Cover Image

1414

Towards Evolvable Hardware : The Evolutionary Engineering Approach

Published 1996

Springer Berlin Heidelberg

Cover Image

1415

Graph Drawing : Symposium on Graph Drawing GD'96, Berkeley, California, USA, September 18 - 20, 1996, Proceedings

Published 1997

Springer Berlin Heidelberg

Cover Image

1416

Graph-Theoretic Concepts in Computer Science : 22nd International Workshop, WG '96, Cadenabbia, Italy, June 12-14, 1996, Proceedings

Published 1997

Springer Berlin Heidelberg

Cover Image

1417

STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceedings

Published 1997

Springer Berlin Heidelberg

Cover Image

1418

Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Published 1996

Springer Berlin Heidelberg

Cover Image

1419

Audio- and Video-based Biometric Person Authentication : First International Conference, AVBPA '97, Crans-Montana, Switzerland, March 12 - 14, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Cover Image

1420

Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

66
67
68
69
70
71
72
73
74
75
76