|
|
1.
|
|
|
|
2.
|
Foundations of software science and computation structures : 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Igor Walukiewicz (ed.). by FOSSACS (Conference) (7th : 2004 : Barcelona, Spain) | Walukiewicz, Igor | ETAPS (Conference) (2004 : Barcelona, Spain). Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
3.
|
Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / David Schmidt, (ed.). by European Symposium on Programming (13th : 2004 : Barcelona, Spain) | Schmidt, David A, 1953 May 10- | ETAPS (Conference) (2004 : Barcelona, Spain). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2004Other title: ESOP 2004 | ETAPS 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 ; proceedings / Peter Sestoft (ed.). by European Symposium on Programming (15th : 2006 : Vienna, Austria) | Sestoft, Peter | ETAPS (Conference) (9th : 2006 : Vienna, Austria). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2006Other title: 15th European Symposium on Programming | Fifteenth European Symposium on Programming | European Symposium on Programming | ESOP 2006 | Joint European Conferences on Theory and Practice of Software | ETAPS 2006 | European Joint Conferences on Theory and Practice of Software.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
7.
|
Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.). by Bird, Richard, 1943- | Morgan, Carroll, 1952- | Woodcock, Jim | International Conference on the Mathematics of Program Construction (2nd : 1992 : St. Catherine's College). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1993Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
8.
|
Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers / Stefano Berardi, Ferruccio Damiani, Ugo de' Liguoro (eds.). by TYPES 2008 (2008 : Torino, Italy) | Berardi, Stefano | Damiani, Ferruccio | De'Liguoro, Ugo. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2009Other title: TYPES 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
9.
|
Knowledge representation for agents and multi-agent systems : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, revised selected papers / John-Jules Ch. Meyer, Jan Broersen (eds.). by KRAMAS 2008 (2008 : Sydney, N.S.W.) | Meyer, John-Jules Ch | Broersen, Jan. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2009Other title: KRAMAS 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
Advances in computer games : 12th international conference, ACG 2009, Pamplona, Spain, May 11-13, 2009 : revised papers / H. Jaap van den Herik, Pieter Spronck (eds.). by Advances in Computer Games (Conference) (12th : 2009 : Pamplona, Spain) | Herik, Jaap van den | Spronck, Pieter. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
14.
|
|
|
|
15.
|
Simulation, modeling, and programming for autonomous robots : second international conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010 : proceedings / Noriaki Ando [and others] (eds.). by SIMPAR (Conference) (2nd : 2010 : Darmstadt, Germany) | Ando, Noriaki. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, 2010Other title: SIMPAR 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
16.
|
Computers and games : 7th international conference, CG 2010, Kanazawa, Japan, September 24-26, 2010 : revised selected papers / H. Jaap van den Herik, Hiroyuki Iida, Aske Plaat (eds.). by CG (Conference) (7th : 2010 : Kanazawa-shi, Japan) | Herik, Jaap van den | Iida, Hiroyuki, 1962- | Plaat, Aske. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2011Other title: CG 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler, eds. by Kirchner, H. (Hélène) | Wechler, Wolfgang | Centre national de la recherche scientifique (France) | Institut national de recherche en informatique et en automatique (France) | International Conference on Algebraic and Logic Programming (2nd : 1990 : Nancy, France). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
20.
|
Logic Programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 / K. Furukawa, H. Tanaka, T. Fujisaki eds. by Logic Programming Conference (8th : 1989 : Tokyo, Japan) | Furukawa, Kōichi | Tanaka, H. (Hozumi) | Fujisaki, T. (Tetsunosuke). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|