1991

First-order programming theories

Gergely, T. (Tamás)



 

1990

Public-key cryptography

Salomaa, Arto.

Berlin ; New York : Springer-Verlag, [1990]

Request It 

1987

Temporal logic of programs

Kröger, Fred, 1945-

Berlin ; New York : Springer-Verlag, [1987]

Request It 

1987

Algorithms in combinatorial geometry

Edelsbrunner, Herbert.

Berlin ; New York : Springer-Verlag, [1987]

Request It 

1985

Petri nets : an introduction

Reisig, Wolfgang, 1950-

Berlin ; New York : Springer-Verlag, 1985

Request It 

2015

Graph and model transformation : general framework and applications

Ehrig, Hartmut, author

Berlin : Springer, [2015]

 

2013

Fault-tolerant search algorithms : reliable computation with unreliable information

Cicalese, Ferdinando, author

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, [2013]

 

2012

Foundations of algebraic specification and formal software development

Sannella, D. (Donald), 1956-



 

2012

Modeling time in computing

Furia, Carlo A., 1979-



 

2008

Unfoldings : a partial-order approach to model checking

Esparza, Javier.



 

1994

Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings

International Colloquium on Automata, Languages, and Programming (21st : 1994 : Jerusalem)



 

1993

Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings

International Colloquium on Automata, Languages, and Programming.



 

1992

Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings

 

1989

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988

Bakker, J. W. de (Jacobus Willem), 1939- editor.

Berlin : Springer-Verlag, ©1989

 

1987

Automata, languages, and programming : 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings

International Colloquium on Automata, Languages, and Programming (14th : 1987 : Karlsruhe, Germany)



 

1974

Automata, languages and programming 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974.

Colloquium on Automata, Languages, and Programming (2nd : 1974 : University of Saarbrücken)