|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz. by Aceto, Luca [editor.] | Damgård, Ivan [editor.] | Goldberg, Leslie Ann [editor.] | Halldórsson, Magnús M [editor.] | Ingólfsdóttir, Anna [editor.] | Walukiewicz, Igor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5125Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Intelligence and Security Informatics: Biosurveillance [electronic resource] : Second NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007. Proceedings / edited by Daniel Zeng, Ivan Gotham, Ken Komatsu, Cecil Lynch, Mark Thurmond, David Madigan, Bill Lober, James Kvach, Hsinchun Chen. by Zeng, Daniel [editor.] | Gotham, Ivan [editor.] | Komatsu, Ken [editor.] | Lynch, Cecil [editor.] | Thurmond, Mark [editor.] | Madigan, David [editor.] | Lober, Bill [editor.] | Kvach, James [editor.] | Chen, Hsinchun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4506Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger. by Kauers, Manuel [editor.] | Kerber, Manfred [editor.] | Miner, Robert [editor.] | Windsteiger, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4573Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki. by Arge, Lars [editor.] | Cachin, Christian [editor.] | Jurdziński, Tomasz [editor.] | Tarlecki, Andrzej [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4596Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Algorithms and Data Structures [electronic resource] : 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007. Proceedings / edited by Frank Dehne, Jörg-Rüdiger Sack, Norbert Zeh. by Dehne, Frank [editor.] | Sack, Jörg-Rüdiger [editor.] | Zeh, Norbert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4619Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers / edited by Andreas Brandstädt, Dieter Kratsch, Haiko Müller. by Brandstädt, Andreas [editor.] | Kratsch, Dieter [editor.] | Müller, Haiko [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4769Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Combinatorial Image Analysis [electronic resource] : 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings / edited by Valentin E. Brimkov, Reneta P. Barneva, Herbert A. Hauptman. by Brimkov, Valentin E [editor.] | Barneva, Reneta P [editor.] | Hauptman, Herbert A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4958Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
OpenMP in a New Era of Parallelism [electronic resource] : 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings / edited by Rudolf Eigenmann, Bronis R. Supinski. by Eigenmann, Rudolf [editor.] | Supinski, Bronis R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5004Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings / edited by Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk. by Autexier, Serge [editor.] | Campbell, John [editor.] | Rubio, Julio [editor.] | Sorge, Volker [editor.] | Suzuki, Masakazu [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5144Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|