|
|
|
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): .
|
|
|
|
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): .
|
|
|
|
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): .
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
Formal Aspects of Security [electronic resource] : First International Conference, FASec 2002, London, UK, December 16-18, 2002. Revised Papers / edited by Ali E. Abdallah, Peter Ryan, Steve Schneider. by Abdallah, Ali E [editor.] | Ryan, Peter [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2629Source: 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): .
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 11th International Conference, ALT 2000 Sydney, Australia, December 11–13, 2000 Proceedings / edited by Hiroki Arimura, Sanjay Jain, Arun Sharma. by Arimura, Hiroki [editor.] | Jain, Sanjay [editor.] | Sharma, Arun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1968Source: 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): .
|
|
|
|
Algorithms and Computation [electronic resource] : 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, D. T. Lee, Shang-Hua Teng. by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Lee, D. T [editor.] | Teng, Shang-Hua [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1969Source: 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): .
|
|
|
|
|
|
|
|
Discrete and Computational Geometry [electronic resource] : Japanese Conference, JCDCG 2002, Tokyo, Japan, December 6-9, 2002. Revised Papers / edited by Jin Akiyama, Mikio Kano. by Akiyama, Jin [editor.] | Kano, Mikio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2866Source: 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): .
|
|
|
|
SOFSEM 2000: Theory and Practice of Informatics [electronic resource] : 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings / edited by Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann. by Hlaváč, Václav [editor.] | Jeffery, Keith G [editor.] | Wiedermann, Jiří [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1963Source: 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): .
|
|
|
|
Pattern Recognition [electronic resource] : 28th DAGM Symposium, Berlin, Germany, September 12-14, 2006. Proceedings / edited by Katrin Franke, Klaus-Robert Müller, Bertram Nickolay, Ralf Schäfer. by Franke, Katrin [editor.] | Müller, Klaus-Robert [editor.] | Nickolay, Bertram [editor.] | Schäfer, Ralf [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4174Source: 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): .
|
|
|
|
|