|
|
|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 28th International Workshop, WG 2002 Český Krumlov, Czech Republic, June 13–15, 2002 Revised Papers / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Luděk Kučera. by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Kučera, Luděk [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2573Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings / edited by Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay. by Zuck, Lenore D [editor.] | Attie, Paul C [editor.] | Cortesi, Agostino [editor.] | Mukhopadhyay, Supratik [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2575Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings / edited by Veronica Dahl, Philip Wadler. by Dahl, Veronica [editor.] | Wadler, Philip [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2562Source: 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): .
|
|
|
|
Mobile Data Management [electronic resource] : 4th International Conference, MDM 2003 Melbourne, Australia, January 21–24, 2003 Proceedings / edited by Ming-Syan Chen, Panos K. Chrysanthis, Morris Sloman, Arkady Zaslavsky. by Chen, Ming-Syan [editor.] | Chrysanthis, Panos K [editor.] | Sloman, Morris [editor.] | Zaslavsky, Arkady [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2574Source: 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): .
|
|
|
|
|
|
|
|
Cryptographic Hardware and Embedded Systems - CHES 2002 [electronic resource] : 4th International Workshop Redwood Shores, CA, USA, August 13–15, 2002 Revised Papers / edited by Burton S. Kaliski, çetin K. Koç, Christof Paar. by Kaliski, Burton S [editor.] | Koç, çetin K [editor.] | Paar, Christof [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2523Source: 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): .
|
|
|
|
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings / edited by Stamatis Vassiliadis, Stephan Wong, Timo D. Hämäläinen. by Vassiliadis, Stamatis [editor.] | Wong, Stephan [editor.] | Hämäläinen, Timo D [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4017Source: 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): .
|
|
|
|
Security in Communication Networks [electronic resource] : Third International Conference, SCN 2002 Amalfi, Italy, September 11–13, 2002 Revised Papers / edited by Stelvio Cimato, Giuseppe Persiano, Clemente Galdi. by Cimato, Stelvio [editor.] | Persiano, Giuseppe [editor.] | Galdi, Clemente [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2576Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Privacy Enhancing Technologies [electronic resource] : Second International Workshop, PET 2002 San Francisco, CA, USA, April 14–15, 2002 Revised Papers / edited by Roger Dingledine, Paul Syverson. by Dingledine, Roger [editor.] | Syverson, Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2482Source: 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): .
|
|
|
|
|
|
|
|
Mathematical Knowledge Management [electronic resource] : Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings / edited by Andrea Asperti, Bruno Buchberger, James Harold Davenport. by Asperti, Andrea [editor.] | Buchberger, Bruno [editor.] | Davenport, James Harold [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2594Source: 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): .
|