|
|
|
|
|
|
|
|
|
|
|
Intelligent Agents VII Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings / edited by Cristiano Castelfranchi, Yves Lespérance. by Castelfranchi, Cristiano [editor.] | Lespérance, Yves [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1986Source: 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): .
|
|
|
|
Algorithms and Data Structures [electronic resource] : 7th International Workshop, WADS 2001 Providence, RI, USA, August 8–10, 2001 Proceedings / edited by Frank Dehne, Jörg-Rüdiger Sack, Roberto Tamassia. by Dehne, Frank [editor.] | Sack, Jörg-Rüdiger [editor.] | Tamassia, Roberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2125Source: 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): .
|
|
|
|
Intelligent Agents: Specification, Modeling, and Applications [electronic resource] : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001 Taipei, Taiwan, July 28–29, 2001 Proceedings / edited by Soe -Tsyr Yuan, Makoto Yokoo. by Yuan, Soe -Tsyr [editor.] | Yokoo, Makoto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2132Source: 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): .
|
|
|
|
|
|
|
|
Recent Advances in AI Planning [electronic resource] : 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999. Proceedings / edited by Susanne Biundo, Maria Fox. by Biundo, Susanne [editor.] | Fox, Maria [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1809Source: 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): .
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings / edited by Mark Aagaard, John Harrison. by Aagaard, Mark [editor.] | Harrison, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1869Source: 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): .
|
|
|
|
Category Theory and Computer Science [electronic resource] : 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings / edited by David Pitt, David E. Rydeheard, Peter Johnstone. by Pitt, David [editor.] | Rydeheard, David E [editor.] | Johnstone, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 953Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Conceptual Structures: Logical, Linguistic, and Computational Issues [electronic resource] : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000. Proceedings / edited by Bernhard Ganter, Guy W. Mineau. by Ganter, Bernhard [editor.] | Mineau, Guy W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1867Source: 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): .
|
|
|
|
Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques [electronic resource] : 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001 Berkeley, CA, USA, August 18–20, 2001 Proceedings / edited by Michel Goemans, Klaus Jansen, José D. P. Rolim, Luca Trevisan. by Goemans, Michel [editor.] | Jansen, Klaus [editor.] | Rolim, José D. P [editor.] | Trevisan, Luca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2129Source: 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): .
|
|
|
|
Lectures on Formal Methods and PerformanceAnalysis [electronic resource] : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures / edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen. by Brinksma, Ed [editor.] | Hermanns, Holger [editor.] | Katoen, Joost-Pieter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2090Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Implementation and Application of Automata [electronic resource] : 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers / edited by Shen Yu, Andrei Păun. by Yu, Shen [editor.] | Păun, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2088Source: 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): .
|
|
|
|
Interactive Systems Design, Specification, and Verification [electronic resource] : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers / edited by Philippe Palanque, Fabio Paternò. by Palanque, Philippe [editor.] | Paternò, Fabio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1946Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Euro-Par 2001 Parallel Processing [electronic resource] : 7th International Euro-Par Conference Manchester, UK, August 28–31, 2001 Proceedings / edited by Rizos Sakellariou, John Gurd, Len Freeman, John Keane. by Sakellariou, Rizos [editor.] | Gurd, John [editor.] | Freeman, Len [editor.] | Keane, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2150Source: 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): .
|
|
|
|
Algorithm Engineering [electronic resource] : 5th International Workshop, WAE 2001 Århus, Denmark, August 28–31, 2001 Proceedings / edited by Gerth Stølting Brodal, Daniele Frigioni, Alberto Marchetti-Spaccamela. by Brodal, Gerth Stølting [editor.] | Frigioni, Daniele [editor.] | Marchetti-Spaccamela, Alberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2141Source: 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): .
|