|
|
|
|
|
|
|
Graphics Recognition Algorithms and Applications [electronic resource] : 4th International Workshop, GREC 2001 Kingston, Ontario, Canada, September 7–8, 2001 Selected Papers / edited by Dorothea Blostein, Young-Bin Kwon. by Blostein, Dorothea [editor.] | Kwon, Young-Bin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2390Source: 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): .
|
|
|
|
|
|
|
|
Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings / edited by Jeffrey J. Joyce, Carl-Johan H. Seger. by Joyce, Jeffrey J [editor.] | Seger, Carl-Johan H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 780Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Pattern Recognition and Image Analysis [electronic resource] : Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part I / edited by Jorge S. Marques, Nicolás Pérez de la Blanca, Pedro Pina. by Marques, Jorge S [editor.] | Pérez de la Blanca, Nicolás [editor.] | Pina, Pedro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3522Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Security and Cryptography for Networks [electronic resource] : 8th International Conference, SCN 2012, Amalfi, Italy, September 5-7, 2012. Proceedings / edited by Ivan Visconti, Roberto Prisco. by Visconti, Ivan [editor.] | Prisco, Roberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7485Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Cryptographic Hardware and Embedded Systems [electronic resource] : First InternationalWorkshop, CHES’99 Worcester, MA, USA, August 12–13, 1999 Proceedings / edited by Çetin K. Koç, Christof Paar. by Koç, Çetin K [editor.] | Paar, Christof [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1717Source: 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): .
|
|
|
|
|
|
|
|
Advances in Computer Science – ASIAN 2005. Data Management on the Web [electronic resource] : 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings / edited by Stéphane Grumbach, Liying Sui, Victor Vianu. by Grumbach, Stéphane [editor.] | Sui, Liying [editor.] | Vianu, Victor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3818Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
High Performance Computing — HiPC 2001 [electronic resource] : 8th International Conference Hyderabad, India, December 17–20, 2001 Proceedings / edited by Burkhard Monien, Viktor K. Prasanna, Sriram Vajapeyam. by Monien, Burkhard [editor.] | Prasanna, Viktor K [editor.] | Vajapeyam, Sriram [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2228Source: 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): .
|
|
|
|
|
|
|
|
Digital-Forensics and Watermarking [electronic resource] : 14th International Workshop, IWDW 2015, Tokyo, Japan, October 7-10, 2015, Revised Selected Papers / edited by Yun-Qing Shi, Hyoung Joong Kim, Fernando Pérez-González, Isao Echizen. by Shi, Yun-Qing [editor.] | Kim, Hyoung Joong [editor.] | Pérez-González, Fernando [editor.] | Echizen, Isao [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9569 | Lecture Notes in Computer Science ; 9569Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings / edited by Klaus Havelund, John Penix, Willem Visser. by Havelund, Klaus [editor.] | Penix, John [editor.] | Visser, Willem [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1885Source: 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): .
|
|
|
|
Research in Computational Molecular Biology [electronic resource] : 10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006. Proceedings / edited by Alberto Apostolico, Concettina Guerra, Sorin Istrail, Pavel A. Pevzner, Michael Waterman. by Apostolico, Alberto [editor.] | Guerra, Concettina [editor.] | Istrail, Sorin [editor.] | Pevzner, Pavel A [editor.] | Waterman, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3909Source: 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): .
|