|
|
|
|
Architecture of Computing Systems - ARCS 2006 [electronic resource] : 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings / edited by Werner Grass, Bernhard Sick, Klaus Waldschmidt. by Grass, Werner [editor.] | Sick, Bernhard [editor.] | Waldschmidt, Klaus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3894Source: 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): .
|
|
|
|
|
Defence Applications of Multi-Agent Systems [electronic resource] : International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers / edited by Simon G. Thompson, Robert Ghanea-Hercock. by Thompson, Simon G [editor.] | Ghanea-Hercock, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3890Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Supported Cooperative Work in Design II [electronic resource] : 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers / edited by Wei-ming Shen, Kuo-Ming Chao, Zongkai Lin, Jean-Paul A. Barthès, Anne James. by Shen, Wei-ming [editor.] | Chao, Kuo-Ming [editor.] | Lin, Zongkai [editor.] | Barthès, Jean-Paul A [editor.] | James, Anne [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3865Source: 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): .
|
|
|
|
|
|
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings / edited by Luca Aceto, Anna Ingólfsdóttir. by Aceto, Luca [editor.] | Ingólfsdóttir, Anna [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3921Source: 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): .
|
|
|
|
|
Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings / edited by Alan Mycroft, Andreas Zeller. by Mycroft, Alan [editor.] | Zeller, Andreas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3923Source: 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): .
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings / edited by Holger Hermanns, Jens Palsberg. by Hermanns, Holger [editor.] | Palsberg, Jens [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3920Source: 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): .
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings / edited by Luciano Baresi, Reiko Heckel. by Baresi, Luciano [editor.] | Heckel, Reiko [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3922Source: 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): .
|
|
|
|
|
Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings / edited by Peter Sestoft. by Sestoft, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3924Source: 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): .
|
|
|
|
|
Implementation and Application of Automata [electronic resource] : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers / edited by Jacques Farré, Igor Litovsky, Sylvain Schmitz. by Farré, Jacques [editor.] | Litovsky, Igor [editor.] | Schmitz, Sylvain [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3845Source: 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): .
|
|
|
|
|
|
|
|
|
|
Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni. by Baldoni, Matteo [editor.] | Endriss, Ulle [editor.] | Omicini, Andrea [editor.] | Torroni, Paolo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3904Source: 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): .
|
|
|
|
|
Selected Areas in Cryptography [electronic resource] : 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers / edited by Bart Preneel, Stafford Tavares. by Preneel, Bart [editor.] | Tavares, Stafford [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3897Source: 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): .
|
|
|
|
|
Genetic Programming [electronic resource] : 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings / edited by Pierre Collet, Marco Tomassini, Marc Ebner, Steven Gustafson, Anikó Ekárt. by Collet, Pierre [editor.] | Tomassini, Marco [editor.] | Ebner, Marc [editor.] | Gustafson, Steven [editor.] | Ekárt, Anikó [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3905Source: 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): .
|
|
|
|
|
Information Security Applications [electronic resource] : 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers / edited by Joo-Seok Song, Taekyoung Kwon, Moti Yung. by Song, Joo-Seok [editor.] | Kwon, Taekyoung [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3786Source: 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): .
|
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings / edited by João P. Hespanha, Ashish Tiwari. by Hespanha, João P [editor.] | Tiwari, Ashish [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3927Source: 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): .
|
|
|
|
|
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings / edited by Jens Gottlieb, Günther R. Raidl. by Gottlieb, Jens [editor.] | Raidl, Günther R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3906Source: 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): .
|
|
|
|
|
Research in Computational Molecular Biology [electronic resource] : 10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006. Proceedings / edited by Alberto Apostolico, Concettina Guerra, Sorin Istrail, Pavel A. Pevzner, Michael Waterman. by Apostolico, Alberto [editor.] | Guerra, Concettina [editor.] | Istrail, Sorin [editor.] | Pevzner, Pavel A [editor.] | Waterman, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3909Source: 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): .
|
