|
|
|
|
Multi-Agent Systems and Applications III [electronic resource] : 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003 Prague, Czech Republic, June 16–18, 2003 Proceedings / edited by Vladimír Mařík, Michal Pěchouček, Jörg Müller. by Mařík, Vladimír [editor.] | Pěchouček, Michal [editor.] | Müller, Jörg [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2691Source: 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): .
|
|
|
|
|
Mathematics of Program Construction [electronic resource] : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / edited by Roland Backhouse, José Nuno Oliveira. by Backhouse, Roland [editor.] | Oliveira, José Nuno [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1837Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Information Security and Privacy [electronic resource] : 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000. Proceedings / edited by E. P. Dawson, A. Clark, Colin Boyd. by Dawson, E. P [editor.] | Clark, A [editor.] | Boyd, Colin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1841Source: 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): .
|
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings / edited by Eugene Asarin, Patricia Bouyer. by Asarin, Eugene [editor.] | Bouyer, Patricia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4202Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Self-Stabilizing Systems [electronic resource] : 6th International Symposium, SSS 2003 San Francisco, CA, USA, June 24–25, 2003 Proceedings / edited by Shing-Tsaan Huang, Ted Herman. by Huang, Shing-Tsaan [editor.] | Herman, Ted [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2704Source: 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): .
|
|
|
|
|
|
|
|
|
|
Developments in Applied Artificial Intelligence [electronic resource] : 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003 Loughborough, UK, June 23–26, 2003 Proceedings / edited by Paul W. H. Chung, Chris Hinde, Moonis Ali. by Chung, Paul W. H [editor.] | Hinde, Chris [editor.] | Ali, Moonis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2718Source: 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): .
|
|
|
|
|
Web and Communication Technologies and Internet-Related Social Issues — HSI 2003 [electronic resource] : Second International Conference on Human.Society@Internet Seoul, Korea, June 18–20, 2003 Proceedings / edited by Chin-Wan Chung, Chong-Kwon Kim, Won Kim, Tok-Wang Ling, Kwan-Ho Song. by Chung, Chin-Wan [editor.] | Kim, Chong-Kwon [editor.] | Kim, Won [editor.] | Ling, Tok-Wang [editor.] | Song, Kwan-Ho [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2713Source: 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): .
|
|
|
|
|
Digital Rights Management [electronic resource] : Technological, Economic, Legal and Political Aspects / edited by Eberhard Becker, Willms Buhse, Dirk Günnewig, Niels Rump. by Becker, Eberhard [editor.] | Buhse, Willms [editor.] | Günnewig, Dirk [editor.] | Rump, Niels [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2770Source: 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): .
|
|
|
|
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings / edited by E. Allen Emerson, Aravinda Prasad Sistla. by Emerson, E. Allen [editor.] | Sistla, Aravinda Prasad [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1855Source: 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): .
|
|
|
|
|
Programming Languages: Implementations, Logics and Programs [electronic resource] : 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings / edited by Manuel Hermenegildo, S. Doaitse Swierstra. by Hermenegildo, Manuel [editor.] | Swierstra, S. Doaitse [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 982Source: 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): .
|
|
|
|
|
Intelligent Problem Solving. Methodologies and Approaches [electronic resource] : 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000 New Orleans, Louisiana, USA, June 19–22, 2000 Proceedings / edited by Rasiah Logananthara, Günther Palm, Moonis Ali. by Logananthara, Rasiah [editor.] | Palm, Günther [editor.] | Ali, Moonis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1821Source: 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): .
|
|
|
|
|
|
|
|
|
|
Product Focused Software Process Improvement [electronic resource] : Second International Conference, PROFES 2000, Oulu, Finland, June 20-22, 2000. Proceedings / edited by Frank Bomarius, Markku Oivo. by Bomarius, Frank [editor.] | Oivo, Markku [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1840Source: 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): .
|
|
|
|
|
Advances in Case-Based Reasoning [electronic resource] : Second European Workshop, EWCBR-94 Chantilly, France, November 7–10, 1994 Selected Papers / edited by Jean-Paul Haton, Mark Keane, Michel Manago. by Haton, Jean-Paul [editor.] | Keane, Mark [editor.] | Manago, Michel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 984Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
