|
1.
|
ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger, ed. by European Symposium on Programming (2nd : 1988 : Nancy, France) | Ganzinger, H. (Harald), 1950- | Colloquium on Trees in Algebra and Programming CAAP '88 (13th : 1988 : Nancy, France) []. Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1988Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
2.
|
Object-oriented programming : 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 : proceedings / Mario Tokoro, Remo Pareschi (eds.). by ECOOP (Conference) (8th : 1994 : Bologna, Italy) | Tokoro, Mario, 1947- | Pareschi, Remo. Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.). by International Conference on Integrated Formal Methods (2nd : 2000 : Dagstuhl Castle, Germany) | Grieskamp, Wolfgang, 1960- | Santen, Thomas, 1965- | Stoddart, Bill, 1946-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
8.
|
|
|
9.
|
Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere, eds. by International Conference on Integrated Formal Methods (3rd : 2002 : Turku, Finland) | Butler, Michael, 1967- | Petre, Luigia, 1974- | Sere, K. (Kaisa), 1954-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
10.
|
Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings / Bart Demoen, Vladimir Lifschitz (eds.). by International Conference on Logic Programming (20th : 2004 Saint Malo, France) | Demoen, Bart | Lifschitz, Vladimir. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2004Other title: 20th International Conference, ICLP | Twentieth International Conference, ICLP | International Conference, ICLP 2004 | ICLP 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
11.
|
Object-oriented methodologies and systems : international symposium, ISOOMS '94, Palermo, Italy, September 21-22, 1994 : proceedings / Elisa Bertino, Susan Urban, eds. by ISOOMS '94 (1994 : Palermo, Italy) | Bertino, Elisa | Urban, Susan. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1994Other title: ISOOMS '94.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
12.
|
Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, eds. by PLILP '94 (1994 : Madrid, Spain) | Hermenegildo, Manuel | Penjam, Jaan, 1955-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1994Other title: PLILP '94.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
13.
|
Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / ed. by Hermann A. Maurer. by Maurer, Hermann A, 1941- [edt] | Colloquium on Automata, Languages, and Programming (6 : 16-07-1979 - 20-07-1979 : Graz). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, 1979Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
14.
|
|
|
15.
|
Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov (ed.). by LPAR (Conference) (3rd : 1992 : Saint Petersburg, Russia) | Voronkov, Andrei, 1959- [edt] | International Conference on Logic Programming and Automated Reasoning, LPAR ((St. Petersburg, Russia) : 1992). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer-Verlag, ©1992Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
16.
|
Coordination models and languages : 9th international conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings / Amy L. Murphy, Jan Vitek (eds.). by COORDINATION (Conference) (9th : 2007 : Paphos, Cyprus) | Murphy, Amy L | Vitek, Jan (Computer scientist). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2007Other title: COORDINATION 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
17.
|
Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings / Marcello M. Bonsangue, Einar Broch Johnsen (eds.). by International Conference on Formal Methods for Open Object-Based Distributed Systems (9th : 2007 : Paphos, Cyprus) | Bonsangue, Marcello M | Johnsen, Einar Broch | IFIP Working Group 6.1. Source: Springer e-booksMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2007Other title: FMOODS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
18.
|
|
|
19.
|
|
|
20.
|
Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings / Jim Davies, Jeremy Gibbons (eds.). by International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England) | Davies, Jim, 1964- | Gibbons, Jeremy, 1966-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2007Other title: IFM 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|