1.
2.
3.
4.
5.
6.
Automata, Languages and Programming [electronic resource] : 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings / edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca. by Ausiello, Giorgio [editor.] | Dezani-Ciancaglini, Mariangiola [editor.] | Rocca, Simonetta Ronchi [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: No items available :
7.
8.
9.
10.
11.
CSL '88 [electronic resource] : 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 Börger, Egon [editor.] | Büning, Hans Kleine [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: No items available :
12.
13.
14.
15.
16.
17.
18.
19.
MFDBS 91 [electronic resource] : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems Rostock, Germany, May 6–9, 1991 Proceedings / edited by Bernhard Thalheim, János Demetrovics, H. -D. Gerhardt. by Thalheim, Bernhard [editor.] | Demetrovics, János [editor.] | Gerhardt, H. -D [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Other title: Proceedings.Online access: Click here to access online Availability: No items available :
20.
21.
Automata, Languages and Programming [electronic resource] : 18th International Colloquium Madrid, Spain, July 8–12, 1991 Proceedings / edited by Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo. by Albert, Javier Leach [editor.] | Monien, Burkhard [editor.] | Artalejo, Mario Rodríguez [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: No items available :
22.
23.
Mathematics of Program Construction [electronic resource] : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings / edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock. by Bird, R. S [editor.] | Morgan, C. C [editor.] | Woodcock, J. C. P [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: No items available :
24.
Computer Science Logic [electronic resource] : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers / edited by E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter. by Börger, E [editor.] | Jäger, G [editor.] | Kleine Büning, H [editor.] | Martini, S [editor.] | Richter, M. M [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: No items available :
25.
