|
|
|
|
FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere. by Cuellar, Jorge [editor.] | Maibaum, Tom [editor.] | Sere, Kaisa [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5014Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Coordination Models and Languages [electronic resource] : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings / edited by Doug Lea, Gianluigi Zavattaro. by Lea, Doug [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5052Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Image and Video Technology [electronic resource] : First Pacific Rim Symposium, PSIVT 2006, Hsinchu, Taiwan, December 10-13, 2006. Proceedings / edited by Long-Wen Chang, Wen-Nung Lie. by Chang, Long-Wen [editor.] | Lie, Wen-Nung [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4319Source: 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 Vision, Graphics and Image Processing [electronic resource] : 5th Indian Conference, ICVGIP 2006, Madurai, India, December 13-16, 2006. Proceedings / edited by Prem K. Kalra, Shmuel Peleg. by Kalra, Prem K [editor.] | Peleg, Shmuel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4338Source: 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): .
|
|
|
|
|
|
|
|
|
|
Advances in Databases and Information Systems [electronic resource] : Second East European Symposium, ADBIS’98 Poznań, Poland, September 7–10, 1998 Proceedings / edited by Witold Litwin, Tadeusz Morzy, Gottfried Vossen. by Litwin, Witold [editor.] | Morzy, Tadeusz [editor.] | Vossen, Gottfried [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1475Source: 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): .
|
|
|
|
|
|
|
|
|
|
Cooperative Information Agents [electronic resource] : First International Workshop, CIA'97 Kiel, Germany, February 26–28, 1997 Proceedings / edited by Peter Kandzia, Matthias Klusch. by Kandzia, Peter [editor.] | Klusch, Matthias [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1202Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Algorithms and Complexity [electronic resource] : Third Italian Conference, CIAC '97 Rome, Italy, March 12–14, 1997 Proceedings / edited by Giancarlo Bongiovanni, Daniel Pierre Bovet, Giuseppe Battista. by Bongiovanni, Giancarlo [editor.] | Bovet, Daniel Pierre [editor.] | Battista, Giuseppe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1203Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Numerical Analysis and Its Applications [electronic resource] : First International Workshop, WNAA'96 Rousse, Bulgaria, June 24–26, 1996 Proceedings / edited by Lubin Vulkov, Jerzy Waśniewski, Plamen Yalamov. by Vulkov, Lubin [editor.] | Waśniewski, Jerzy [editor.] | Yalamov, Plamen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1196Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Parallel Symbolic Languages and Systems [electronic resource] : International Workshop PSLS'95 Beaune, France, October 2–4, 1995 Proceedings / edited by Takayasu Ito, Robert H. Halstead, Christian Queinnec. by Ito, Takayasu [editor.] | Halstead, Robert H [editor.] | Queinnec, Christian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1068Source: 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 Software Agents and Applications [electronic resource] : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94 Odense, Denmark, August 3–5, 1994 Proceedings / edited by John W. Perram, Jean-Pierre Müller. by Perram, John W [editor.] | Müller, Jean-Pierre [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1069Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
