|
|
|
Public Key Cryptography - PKC 2006 [electronic resource] : 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 2006. Proceedings / edited by Moti Yung, Yevgeniy Dodis, Aggelos Kiayias, Tal Malkin. by Yung, Moti [editor.] | Dodis, Yevgeniy [editor.] | Kiayias, Aggelos [editor.] | Malkin, Tal [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3958Source: 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): .
|
|
|
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers / edited by Herman Geuvers, Freek Wiedijk. by Geuvers, Herman [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2646Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Computing and Combinatorics [electronic resource] : 6th Annual International Conference, COCOON 2000 Sydney, Australia, July 26–28, 2000 Proceedings / edited by Ding-Zhu Du, Peter Eades, Vladimir Estivill-Castro, Xuemin Lin, Arun Sharma. by Du, Ding-Zhu [editor.] | Eades, Peter [editor.] | Estivill-Castro, Vladimir [editor.] | Lin, Xuemin [editor.] | Sharma, Arun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1858Source: 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): .
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings / edited by David Basin, Burkhart Wolff. by Basin, David [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2758Source: 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): .
|
|
|
|
Automata, Languages and Programming [electronic resource] : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings / edited by Peter Widmayer, Stephan Eidenbenz, Francisco Triguero, Rafael Morales, Ricardo Conejo, Matthew Hennessy. by Widmayer, Peter [editor.] | Eidenbenz, Stephan [editor.] | Triguero, Francisco [editor.] | Morales, Rafael [editor.] | Conejo, Ricardo [editor.] | Hennessy, Matthew [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2380Source: 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): .
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : Joint JSAI 2001 Workshop Post-Proceedings / edited by Takao Terano, Yukio Ohsawa, Toyoaki Nishida, Akira Namatame, Syusaku Tsumoto, Takashi Washio. by Terano, Takao [editor.] | Ohsawa, Yukio [editor.] | Nishida, Toyoaki [editor.] | Namatame, Akira [editor.] | Tsumoto, Syusaku [editor.] | Washio, Takashi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2253Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Science Logic [electronic resource] : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings / edited by Julian Bradfield. by Bradfield, Julian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2471Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Other title: 22-25, 2002, Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
CSL '87 [electronic resource] : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter. by Börger, Egon [editor.] | Büning, Hans Kleine [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 329Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algorithms [electronic resource] : International Symposium SIGAL '90 Tokyo, Japan, August 16–18, 1990 Proceedings / edited by Tetsuo Asano, Toshihide Ibaraki, Hiroshi Imai, Takao Nishizeki. by Asano, Tetsuo [editor.] | Ibaraki, Toshihide [editor.] | Imai, Hiroshi [editor.] | Nishizeki, Takao [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 450Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
STACS 93 [electronic resource] : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25–27, 1993 Proceedings / edited by P. Enjalbert, A. Finkel, K. W. Wagner. by Enjalbert, P [editor.] | Finkel, A [editor.] | Wagner, K. W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 665Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
FM’99 — Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies. by Wing, Jeannette M [editor.] | Woodcock, Jim [editor.] | Davies, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1709Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Biological and Medical Data Analysis [electronic resource] : 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006. Proceedings / edited by Nicos Maglaveras, Ioanna Chouvarda, Vassilis Koutkias, Rüdiger Brause. by Maglaveras, Nicos [editor.] | Chouvarda, Ioanna [editor.] | Koutkias, Vassilis [editor.] | Brause, Rüdiger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4345Source: 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): .
|