MPG.eBooks - Search Results

Cover Image

41

SOFSEM '97: Theory and Practice of Informatics : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings

by Plasil, Frantisek
Published 1997

Springer Berlin Heidelberg

Cover Image

42

Computer Aided Systems Theory - EUROCAST '97 : A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, Febr...

by Pichler, Franz
Published 1997

Springer Berlin Heidelberg

Cover Image

43

Ada 95, Quality and Style : Guidelines for Professional Programmers

by Ausnit-Hood, Christine
Published 1997

Springer Berlin Heidelberg

Cover Image

44

Scientific Computing in Object-Oriented Parallel Environments : First International Conference, ISCOPE '97, Marina del Rey, California, December 8-11, 1997. Proceedings

by Ishikawa, Yutaka
Published 1997

Springer Berlin Heidelberg

Cover Image

45

Advances in Computing Science - ASIAN'97 : Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings

by Shyamasundar, RK
Published 1997

Springer Berlin Heidelberg

Cover Image

46

Algebraic Methodology and Software Technology : 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings

by Johnson, Michael
Published 1997

Springer Berlin Heidelberg

Cover Image

47

Automatic Verification of Sequential Infinite-State Processes

by Burkart, Olaf
Published 1997

Springer Berlin Heidelberg

Cover Image

48

Object-Oriented Technologys : ECOOP’97 Workshop Reader ECOOP’97 Workshops Jyväskylä, Finland, June 9–13, 1997 Proceedings

by Bosch, Jan
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

49

Intelligent Agents IV: Agent Theories, Architectures, and Languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings

by Singh, Munindar P
Published 1998

Springer Berlin Heidelberg

Cover Image

50

SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

by Havelund, Klaus
Published 2000

Springer Berlin Heidelberg

Cover Image

51

Foundations of Software Science and Computation Structures : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of So...

by Nivat, Maurice
Published 1998

Springer Berlin Heidelberg

Cover Image

52

Programming Languages and Systems : 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lis...

by Hankin, Chris
Published 1998

Springer Berlin Heidelberg

Cover Image

53

Fundamental Approaches to Software Engineering : First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'9...

by Astesiano, Egidio
Published 1998

Springer Berlin Heidelberg

Cover Image

54

Compiler Construction : 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, Mar...

by Koskimies, Kai
Published 1998

Springer Berlin Heidelberg

Cover Image

55

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

by Steffen, Bernhard
Published 1998

Springer Berlin Heidelberg

Cover Image

56

Hybrid Systems: Computation and Control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings

by Henzinger, Thomas A
Published 1998

Springer Berlin Heidelberg

Cover Image

57

Parallel and Distributed Processing : 10th International IPPSSPDP'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on P...

by Rolim, Jose
Published 1998

Springer Berlin Heidelberg

Cover Image

58

Services and Visualization: Towards User-Friendly Design : ACos'98, VISUAL'98, AIN'97, Selected Papers

by Margaria, Tiziana
Published 1998

Springer Berlin Heidelberg

Cover Image

59

Multimodal Human-Computer Communication : Systems, Techniques, and Experiments

by Bunt, Harry
Published 1998

Springer Berlin Heidelberg

Cover Image

60

B'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings

by Didier, Bert
Published 1998

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11