|
|
|
Advances in Learning Software Organizations [electronic resource] : 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002. Revised Papers / edited by Scott Henninger, Frank Maurer. by Henninger, Scott [editor.] | Maurer, Frank [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2640Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Advances in Computer Systems Architecture [electronic resource] : 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings / edited by Chris Jesshope, Colin Egan. by Jesshope, Chris [editor.] | Egan, Colin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4186Source: 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 Multimodal Interfaces — ICMI 2000 [electronic resource] : Third International Conference Beijing, China, October 14–16, 2000 Proceedings / edited by Tieniu Tan, Yuanchun Shi, Wen Gao. by Tan, Tieniu [editor.] | Shi, Yuanchun [editor.] | Gao, Wen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1948Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Languages, Compilers, and Run-Time Systems for Scalable Computers [electronic resource] : 5th International Workshop, LCR 2000 Rochester, NY, USA, May 25–27, 2000 Selected Papers / edited by Sandhya Dwarkadas. by Dwarkadas, Sandhya [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1915Source: 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): .
|
|
|
|
Computer Safety, Reliability and Security [electronic resource] : 19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings / edited by Floor Koornneef, Meine Meulen. by Koornneef, Floor [editor.] | Meulen, Meine [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1943Source: 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): .
|
|
|
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2000 [electronic resource] : Third International Conference, Pittsburgh, PA, USA, October 11-14, 2000. Proceedings / edited by Scott L. Delp, Anthony M. DiGoia, Branislav Jaramaz. by Delp, Scott L [editor.] | DiGoia, Anthony M [editor.] | Jaramaz, Branislav [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1935Source: 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] : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers / edited by Kim Guldstrand Larsen, Peter Niebert. by Larsen, Kim Guldstrand [editor.] | Niebert, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2791Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Integrated Formal Methods [electronic resource] : Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings / edited by Wolfgang Grieskamp, Thomas Santen, Bill Stoddart. by Grieskamp, Wolfgang [editor.] | Santen, Thomas [editor.] | Stoddart, Bill [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1945Source: 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 Methods in Computer-Aided Design [electronic resource] : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings / edited by Warren A. Hunt, Steven D. Johnson. by Hunt, Warren A [editor.] | Johnson, Steven D [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1954Source: 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): .
|
|
|
|
Security Protocols [electronic resource] : 12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3957Source: 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): .
|
|
|
|
|
|
|
|
Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006. Proceedings / edited by Jérôme Euzenat, John Domingue. by Euzenat, Jérôme [editor.] | Domingue, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4183Source: 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): .
|
|
|
|
Cellular Automata [electronic resource] : 7th International Conference on Cellular Automata, for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006. Proceedings / edited by Samira Yacoubi, Bastien Chopard, Stefania Bandini. by Yacoubi, Samira [editor.] | Chopard, Bastien [editor.] | Bandini, Stefania [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4173Source: 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): .
|