MPG.eBooks - Search Results

1

Automata, Languages and Programming : 11th Colloquium Antwerp, Belgium, July 16–20, 1984

by Paredaens, Jan
Published 1984

Springer

Read Now

2

Fast Software Encryption : Second International Workshop Leuven, Belgium, December 14–16, 1994 Proceedings

by Preneel, Bart
Published 1995

Springer

Read Now

3

Computer Security and Industrial Cryptography : State of the Art and Evolution ESAT Course, Leuven, Belgium, May 21–23, 1991

by Govaerts, René
Published 1993

Springer

Read Now

4

Static Analysis : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings

by Charlier, Baudouin
Published 1994

Springer

Read Now

5

Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

by Wolper, Pierre
Published 1995

Springer

Read Now

6

ICDT '88 : 2nd International Conference on Database Theory Bruges, Belgium, August 31 – September 2, 1988 Proceedings

by Gucht, Dirk
Published 1988

Springer

Read Now

7

Advances in Cryptology — EUROCRYPT ’89 : Workshop on the Theory and Application of Cryptographic Techniques Houthalen, Belgium, April 10–13, 1989 Proceedings

Published 1990

Springer

Read Now

8

System Configuration Management : ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998, Proceedings

by Magnusson, Boris
Published 1998

Springer Berlin Heidelberg

Read Now

9

High-Performance Computing and Networking : International Conference and Exhibition HPCN EUROPE 1996 Brussels, Belgium, April 15–19, 1996 Proceedings

by Colbrook, Adrian
Published 1996

Springer

Read Now

10

ECOOP '98 - Object-Oriented Programming : 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings

by Jul, Eric
Published 1998

Springer Berlin Heidelberg

Read Now

11

System Configuration Management : ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

“... Configuration Management, SCM-8, held in conjunction with ECOOP'98 in Brussels, Belgium, in July 1998...”

Read Now

12

VDM '87 VDM — A Formal Method at Work : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

by Bjørner, Dines
Published 1987

Springer

Read Now

13

Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

by Bruynooghe, Maurice
Published 1992

Springer

Read Now

14

Automata, Languages, and Programming : 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (EATCS sign). Proceedings

Published 1984

Springer Berlin Heidelberg

Read Now

15

A Future for Knowledge Acquisition : 8th European Knowledge Acquisition Workshop, EKAW '94 Hoegaarden, Belgium, September 26–29, 1994 Proceedings

by Schreiber, Guus
Published 1994

Springer

Read Now

16

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

Published 1995

Springer Berlin Heidelberg

“... Verification, CAV '95, held in Liège, Belgium in July 1995. The book contains the 31 refereed full research...”

Read Now

17

Reversible Computation : Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers

Published 2012

Springer Berlin Heidelberg

“... Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers presented...”

Read Now

18

Design, Specification and Verification of Interactive Systems ’96 : Proceedings of the Eurographics Workshop in Namur, Belgium, June 5–7, 1996

Published 1996

Springer Vienna

Read Now

19

Advances in Cryptology — EUROCRYPT 2000 : International Conference on the Theory and Application of Cryptographic Techniques Bruges, Belgium, May 14–18, 2000 Proceedings

by Preneel, Bart
Published 2000

Springer-Verlag Berlin Heidelberg

Read Now

20

Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

by Fuchs, Norbert E
Published 1998

Springer-Verlag Berlin Heidelberg

Narrow Search