|
1.
|
|
|
2.
|
|
|
3.
|
Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers / Burkhard Freitag [and others], (eds.). by International Seminar on Logic Databases and the Meaning of Change (1996 : Schloss Dagstuhl) | Freitag, Burkhard, 1953- | Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases (1997 : Port Jefferson, N.Y.). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
4.
|
Fundamental approaches to software engineering : first international conference, FASE '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 / Egidio Astesiano, ed. by FASE'98 (1998 : Lisbon, Portugal) | Astesiano, E. (Egidio), 1939- | ETAPS (Conference) (1st : 1998 : Lisbon, Portugal). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, 1998Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
5.
|
Agents and multi-agent systems : formalisms, methodologies, and applications : based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997 / Wayne Wobcke, Maurice Pagnucco, Chengqi Zhang (eds.). by Wobcke, Wayne, 1963- | Pagnucco, Maurice | Zhang, Chengqi | Australian Joint Artificial Intelligence Conference (10th : 1997 : Perth, W.A.). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©1998Other title: Agents and multi-agent systems (Online).Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
6.
|
Infrastructure for agents, multi-agent systems, and scalable multi-agent systems : International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 : revised papers / Tom Wagner, Omer Rana (eds.). by International Workshop on Infrastructure for Scalable Multi-Agent Systems (2000 : Barcelona, Spain) | Wagner, Tom, 1966- | Rana, Omer. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
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.
|
Intelligent memory systems : Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers / Frederic T. Chong, Christoforos Kozyrakis, Mark Oskin (eds.). by IMS 2000 (2000 : Cambridge, Mass.) | Chong, Frederic T, 1968- | Kozyrakis, Christoforos, 1974- | Oskin, Mark, 1974-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
9.
|
|
|
10.
|
Evolutionary computation in combinatorial optimization : 4th European conference, EvoCOP 2004, Coimbra, Portugal, April 5-7, 2004 : proceedings / Jens Gottlieb, Günther R. Raidl (eds.). by EvoCOP (Conference) (2004 : Coimbra, Portugal) | Gottlieb, Jens | Raidl, Günther. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2004Other title: EvoCOP 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
11.
|
High-speed networks and multimedia communications : 6th IEEE international conference, HSNMC 2003, Estoril, Portugal, July 23-25, 2003 : proceedings / Mário Marques Freire, Pascal Lorenz, Mike Myung-Ok Lee (eds.). by HSNMC 2003 (2003 : Estoril, Portugal) | Freire, Mário Marques, 1969- | Lorenz, Pascal, 1965- | Lee, Mike Myung-Ok, 1959-. 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 .
|
|
12.
|
Distributed multimedia information retrieval : SIGIR 2003 Workshop on Distributed Information Retrieval, Toronto, Canada, August 1, 2003 : revised, selected, and invited papers / Jamie Callan, Fabio Crestani, Mark Sanderson (eds.). by Callan, Jamie, 1959- | Crestani, Fabio | Sanderson, Mark (Information scientist) | SIGIR Workshop on Distributed Information Retrieval (2003 : Toronto, Ont.). 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 .
|
|
13.
|
Product focused software process improvement : 5th international conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 ; proceedings / Frank Bomarius, Hajimu Iida (eds.). 飯田, 元. by PROFES 2004 (2004 : Kansai Bunka Gakujutsu Kenkyū Toshi, Japan) | Bomarius, Frank | Iida, Hajimu. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
14.
|
Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings / Yukiyoshi Kameyama, Peter J. Stuckey (eds.). 亀山, 幸義. by Fuji International Symposium on Functional and Logic Programming | Kameyama, Yukiyoshi | Stuckey, Peter J. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2004Other title: FLOPS 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
15.
|
Modeling decisions for artificial intelligence : second international conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005 : proceedings / Vicenç Torra, Yasuo Narukawa, Sadaaki Miyamoto (eds.). by MDAI (Conference) (2nd : 2005 : Tsukuba-shi, Japan) | Torra, Vicenç | Narukawa, Yasuo | Miyamoto, Sadaaki, 1950-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, ©2005Other title: MDAI 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
16.
|
Computer aided systems theory - EUROCAST'99 : a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29-October 2, 1999 : proceedings / Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (eds.). by International Workshop on Computer Aided Systems Theory (7th : 1999 : Vienna, Austria) | Pichler, Franz, 1936- | Moreno-Díaz, Roberto | Kopacek, Peter. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2000Other title: EUROCAST'99.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
17.
|
|
|
18.
|
Algorithmic learning theory : 7th International workshop, ALT '96, Sydney, Australia, October 23-25, 1996 : proceedings / Setsuo Arikawa, Arun K. Sharma (eds.). by Arikawa, S. (Setsuo), 1941- [edt] | Sharma, Arun K, 1962- [edt] | International Workshop on Algorithmic Learning Theory ALT (7 : 1996 : Sydney). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, ©1996Other title: ALT '96 | ALT'96.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
19.
|
|
|
20.
|
|