MPG.eBooks - Search Results

Cover Image

141

International Symposium on Programming : Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980

Published 1980

Springer Berlin Heidelberg

Cover Image

142

The Munich Project CIP : Volume I: The Wide Spectrum Language CIP-L.

Published 1985

Springer Berlin Heidelberg

Cover Image

143

An Attribute Grammar for the Semantic Analysis of ADA

by Uhl, J., Drossopoulou, S., Persch, G., Goos, G.
Published 1982

Springer Berlin Heidelberg

Cover Image

144

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Vol...

Published 1985

Springer Berlin Heidelberg

Cover Image

145

Advances in Petri Nets 1984

Published 1985

Springer Berlin Heidelberg

Cover Image

146

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

Published 1980

Springer Berlin Heidelberg

Cover Image

147

Automata, Languages and Programming : Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings

Published 1980

Springer Berlin Heidelberg

Cover Image

148

Paragon : A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types

by Sherman, Mark S.
Published 1985

Springer Berlin Heidelberg

Cover Image

149

GAG: A Practical Compiler Generator

by Kastens, U., Hutt, B., Zimmermann, E.
Published 1982

Springer Berlin Heidelberg

Cover Image

150

Advances in Databases and Information Systems : 7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Cover Image

151

Management of Multimedia Networks and Services : 6th IFIP/IEEE International Conference, MMNS 2003, Belfast, Northern Ireland, UK, September 7-10, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Cover Image

152

Technologies for E-Services : 4th International Workshop, TES 2003, Berlin, Germany, September 8, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Cover Image

153

A Survey of Verification Techniques for Parallel Programs

by Barringer, Howard
Published 1985

Springer Berlin Heidelberg

Cover Image

154

Operating Systems Engineering : Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980

Published 1982

Springer Berlin Heidelberg

Cover Image

155

Advanced Parallel Processing Technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Cover Image

156

Database and XML Technologies : First International XML Database Symposium, XSYM 2003, Berlin, Germany, September 8, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Cover Image

157

Research and Development in Information Retrieval : Proceedings, Berlin, May 18-20, 1982

Published 1983

Springer Berlin Heidelberg

Cover Image

158

RIMS Symposium on Software Science and Engineering : Kyoto, 1982. Proceedings

Published 1983

Springer Berlin Heidelberg

Cover Image

159

Automata, Languages and Programming : 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings

Published 1985

Springer Berlin Heidelberg

Cover Image

160

Enduser Systems and Their Human Factors : Proceedings of the Scientific Symposium conducted on the occasion of the 15th Anniversary of the Science Center Heidelberg of IBM Germany,...

Published 1983

Springer Berlin Heidelberg

3
4
5
6
7
8
9
10
11
12
13