ICCBS Libraries
WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 10 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Abstract State Machines 2003 Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3-7, 2003 Proceedings / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2.
Computer Science Logic 4th Workshop, CSL '90 Heidelberg, Germany, October 1-5, 1990 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

3.
CSL '87 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12-16, 1987 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

4.
CSL '88 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3-7, 1988 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

5.
CSL '89 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2-6, 1989 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

6.
Computer Science Logic 5th Workshop, CSL '91 Berne, Switzerland, October 7-11, 1991 Proceedings / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

7.
Computation Theory and Logic edited by Egon Börger. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

8.
Computer Science Logic 7th Workshop, CSL '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers / edited by Egon Börger, Yuri Gurevich, Karl Meinke. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

9.
Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

10.
Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / edited by Egon Börger, Antonio Cisternino. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

Pages