MPG.eBooks - Search Results

Cover Image

61

Mathematical Foundations of Computer Science 1977 : Proceedings, 6th Symposium, Tatranská Lomnica September 5–9, 1977

by Gruska, Jozef
Published 1977

Springer

Cover Image

62

Fundamentals of Computation Theory : Proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland September 19–23, 1977

by Karpiński, Marek
Published 1977

Springer

Cover Image

63

Portability of Numerical Software : Workshop, Oak Brook, Illinois, June 21–23, 1976

by Cowell, Wayne
Published 1977

Springer

Cover Image

64

Computing in systems described by equations

by O'Donnell, Michael
Published 1977

Springer

Cover Image

65

A Comparative Study of Very Large Data Bases

Published 1978

Springer

Cover Image

66

Operating Systems : An Advanced Course

by Bayer, R.
Published 1978

Springer

Cover Image

67

The Vienna Development Method: The Meta-Language

by Bjørner, Dines
Published 1978

Springer

Cover Image

68

Advances in Petri Nets 1989

by Rozenberg, Grzegorz
Published 1990

Springer

Cover Image

69

SIL—a Simulation Language

Published 1990

Springer

Cover Image

70

VDM '90 VDM and Z — Formal Methods in Software Development : Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

by Bjørner, D.
Published 1990

Springer

Cover Image

71

Design and Implementation of Symbolic Computation Systems : International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings

by Miola, Alfonso
Published 1990

Springer

Cover Image

72

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness : REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

by Bakker, J.
Published 1990

Springer

Cover Image

73

Edinburgh LCF : A Mechanised Logic of Computation

Published 1979

Springer

Cover Image

74

Language Design and Programming Methodology : Proceedings of a Symposium Held in Sydney, Australia, 10–11 September, 1979

by Tobias, Jeffrey
Published 1980

Springer

Cover Image

75

Pictorial Information Systems

by Chang, S.
Published 1980

Springer

Cover Image

76

Data Base Techniques for Pictorial Applications : Florence, June 20–22, 1979

by Blaser, A.
Published 1980

Springer

Cover Image

77

International Symposium on Programming : Proceedings of the Fourth ‘Colloque International sur la Programmation’ Paris, 22–24 April 1980

by Robinet, Bernard
Published 1980

Springer

Cover Image

78

A Relational Theory of Computing

Published 1980

Springer

Cover Image

79

Net Theory and Applications : Proceedings of the Advanced Course on General Net Theory of Processes and Systems Hamburg, October 8–19, 1979

by Brauer, Wilfried
Published 1980

Springer

Cover Image

80

Automata, Languages and Programming : Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

by Bakker, Jaco
Published 1980

Springer

1
2
3
4
5
6
7
8
9
10
11