|
|
|
|
|
|
|
Innovative Concepts for Agent-Based Systems [electronic resource] : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers / edited by Walt Truszkowski, Mike Hinchey, Chris Rouff. by Truszkowski, Walt [editor.] | Hinchey, Mike [editor.] | Rouff, Chris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2564Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings / edited by Klaus Havelund, John Penix, Willem Visser. by Havelund, Klaus [editor.] | Penix, John [editor.] | Visser, Willem [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1885Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Lectures on Information Retrieval [electronic resource] : Third European Summer-School, ESSIR 2000 Varenna, Italy, September 11–15, 2000 Revised Lectures / edited by Maristella Agosti, Fabio Crestani, Gabriella Pasi. by Agosti, Maristella [editor.] | Crestani, Fabio [editor.] | Pasi, Gabriella [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1980Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
STACS 87 [electronic resource] : 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings / edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing. by Brandenburg, Franz J [editor.] | Vidal-Naquet, Guy [editor.] | Wirsing, Martin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 247Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems [electronic resource] : International Workshop on Infrastructure for Scalable Multi-Agent Systems Barcelona, Spain, June 3–7, 2000 Revised Papers / edited by Tom Wagner, Omer F. Rana. by Wagner, Tom [editor.] | Rana, Omer F [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1887Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Active, Real-Time, and Temporal Database Systems [electronic resource] : Second International Workshop, ARTDB-97 Como, Italy, September 8–9, 1997 Proceedings / edited by Sten F. Andler, Jörgen Hansson. by Andler, Sten F [editor.] | Hansson, Jörgen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1553Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computing in Object-Oriented Parallel Environments [electronic resource] : Second International Symposium, ISCOPE 98 Santa Fe, NM, USA, December 8–11, 1998 Proceedings / edited by Denis Caromel, Rodney R. Oldehoeft, Marydell Tholburn. by Caromel, Denis [editor.] | Oldehoeft, Rodney R [editor.] | Tholburn, Marydell [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1505Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Combinatorics and Computer Science [electronic resource] : 8th Franco-Japanese and 4th Franco-Chinese Conference Brest, France, July 3–5, 1995 Selected Papers / edited by Michel Deza, Reinhardt Euler, Ioannis Manoussakis. by Deza, Michel [editor.] | Euler, Reinhardt [editor.] | Manoussakis, Ioannis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1120Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Distributed Computing in Sensor Systems [electronic resource] : Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings / edited by James Aspnes, Christian Scheideler, Anish Arora, Samuel Madden. by Aspnes, James [editor.] | Scheideler, Christian [editor.] | Arora, Anish [editor.] | Madden, Samuel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4549Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|