|
1.
|
|
|
2.
|
Compiler construction : 9th International Conference, CC 2000 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 : Berlin, Germany, March 25 - April 2, 2000 : proceedings / David A. Watt (ed.). by Watt, David A. (David Anthony), 1946- [edt] | International Conference on Compiler Construction, CC (9 : 25-03-2000 - 02-04-2000 : Berlin, Germany) | Joint European Conferences on Theory and Practice of Software, ETAPS (3 : Berlin, Germany). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, ©2000Other title: CC 2000.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
3.
|
Perspectives of system informatics : third International Andrei Ershov memorial conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.). by Bjørner, D. (Dines), 1937- [edt] | Broy, M, 1949- [edt] | Zamulin, Alexandre V [edt] | International Andrei Ershov Memorial Conference on Persepctives of System Informatics, PSI (3 : 06-07-1999 - 09-07-1999 : Novosibirsk, Russia). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
4.
|
Computer safety, reliability and security : 17th international conference, SAFECOMP '98, Heidelberg, Germany, October 5-7, 1998 : proceedings / Wolfgang Ehrenberger (ed.). by SAFECOMP (Conference) (17th : 1998 : Heidelberg, Germany) | Ehrenberger, W. D [edt] | International Conference on Computer Safety, Reliability, and Security, SAFECOMP (17 : 05-10-1998 - 07-10-1998 : Heidelberg, Germamy). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, ©1998Other title: SAFECOMP'98.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
5.
|
Compiler construction : 7th international conference, CC'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / Kai Koskimies (ed.). by Koskimies, Kai [edt] | International Conference on Compiler Construction, CC (7 : 28-03-1998 - 04-04-1998 : Lisbon, Portugal) | Joint European Conferences on Theory and Practice of Software, ETAPS (Lisbon, Portugal). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, ©1998Other title: CC'98.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
6.
|
Evolvable systems : from biology to hardware : 5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003 : proceedings / Andy M. Tyrrell, Pauline C. Haddow, Jim Torresen (eds.). by International Conference on Evolvable Systems (5th : 2003 : Trondheim, Norway) | Tyrrell, Andy M | Haddow, Pauline C, 1964- | Torresen, Jim, 1964-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
|
|
11.
|
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
|
|
16.
|
Integrated Formal Methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / edited by Eerke A. Boiten, John Derrick, Graeme Smith. by Boiten, Eerke A | Derrick, John | Smith, Graeme. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
17.
|
Graph Transformation : First International Conference, ICGT 2002 Barcelona, Spain, October 712, 2002 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Hans -Jrg Kreowski, Grzegorz Rozenberg. by Corradini, Andrea | Ehrig, Hartmut | Kreowski, Hans -Jrg | Rozenberg, Grzegorz. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
18.
|
|
|
19.
|
|
|
20.
|
Intelligent Agents IV Agent Theories, Architectures, and Languages : 4th International Workshop, ATAL'97 Providence, Rhode Island, USA, July 2426, 1997 Proceedings / edited by Munindar P. Singh, Anand Rao, Michael J. Wooldridge. by Singh, Munindar P | Rao, Anand | Wooldridge, Michael J. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; Heidelberg : Springer-Verlag, 1998Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|