MPG.eBooks - Search Results

Cover Image

1

Conpar 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings

by Brauer, W.
Published 1981

Springer

Cover Image

2

CLU Reference Manual

Published 1981

Springer

Cover Image

3

Logics of Programs : Workshop, Yorktown Heights, New York, May 1981

by Kozen, Dexter
Published 1982

Springer

Cover Image

4

The Design of Dynamic Data Structures

Published 1983

Springer

Cover Image

5

Machines, Languages, and Complexity : 5th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, November 14–18, 1988 Selected Contributions

by Dassow, J.
Published 1989

Springer

Cover Image

6

Foundations of Equational Logic Programming

by Hölldobler, Steffen
Published 1989

Springer

Cover Image

7

Logic Programming '88 : Proceedings of the 7th Conference Tokyo, Japan, April 11–14, 1988

by Fujisaki, Tetsunosuke
Published 1989

Springer

Cover Image

8

Formal Properties of Finite Automata and Applications : LITP Spring School on Theoretical Computer Science Ramatuelle, France, May 23–27, 1988 Proceedings

by Pin, J.
Published 1989

Springer

Cover Image

9

CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

by Börger, Egon
Published 1989

Springer

Cover Image

10

Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings

by Dybjer, Peter
Published 1989

Springer

Cover Image

11

Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings

by Clarke, Michael
Published 1993

Springer

Cover Image

12

Hardware and Software Architectures for Fault Tolerance : Experiences and Perspectives

by Banâtre, Michel
Published 1994

Springer

Cover Image

13

Trees in Algebra and Programming — CAAP'94 : 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings

by Tison, Sophie
Published 1994

Springer

Cover Image

14

Object-Based Distributed Programming : ECOOP '93 Workshop Kaiserslautern, Germany, July 26–27, 1993 Proceedings

by Guerraoui, Rachid
Published 1994

Springer

Cover Image

15

High-Performance Computing and Networking : International Conference and Exhibition Munich, Germany, April 18–20, 1994 Proceedings, Volume I: Applications

by Gentzsch, Wolfgang
Published 1994

Springer

Cover Image

16

Temporal Logic : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

by Gabbay, Dov
Published 1994

Springer

Cover Image

17

Constraints in Computational Logics : First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings

by Jouannaud, Jean-Pierre
Published 1994

Springer

Cover Image

18

Towards a Pan-European Telecommunication Service Infrastructure — IS&N '94 : Second International Conference on Intelligence in Broadband Services and Networks Aachen, Germany, Sep...

by Kugler, Hans-Jürgen
Published 1994

Springer

Cover Image

19

Algorithms — ESA '94 : Second Annual European Symposium Utrecht, The Netherlands, September 26–28, 1994 Proceedings

by Leeuwen, Jan
Published 1994

Springer

Cover Image

20

Object-Oriented Methodologies and Systems : International Symposium, ISOOMS '94 Palermo, Italy, September 21–22, 1994 Proceedings

by Bertino, Elisa
Published 1994

Springer

1
2
3
4
5
6
7
8
9
10
11