|
|
|
Automata, Languages and Programming [electronic resource] : 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II / edited by Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas. by Albers, Susanne [editor.] | Marchetti-Spaccamela, Alberto [editor.] | Matias, Yossi [editor.] | Nikoletseas, Sotiris [editor.] | Thomas, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5556Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings / edited by Arrems Hua, Shih-Liang Chang. by Hua, Arrems [editor.] | Chang, Shih-Liang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5574Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings / edited by Daniel Cremers, Yuri Boykov, Andrew Blake, Frank R. Schmidt. by Cremers, Daniel [editor.] | Boykov, Yuri [editor.] | Blake, Andrew [editor.] | Schmidt, Frank R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5681Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings / edited by Matti Ropo, Jan Westerholm, Jack Dongarra. by Ropo, Matti [editor.] | Westerholm, Jan [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5759Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / edited by Saddek Bensalem, Doron A. Peled. by Bensalem, Saddek [editor.] | Peled, Doron A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5779Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / edited by Jeremy Gibbons, José Nuno Oliveira. by Gibbons, Jeremy [editor.] | Oliveira, José Nuno [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5846Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Software Process and Product Measurement [electronic resource] : International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings / edited by Alain Abran, René Braungarten, Reiner R. Dumke, Juan J. Cuadrado-Gallego, Jacob Brunekreef. by Abran, Alain [editor.] | Braungarten, René [editor.] | Dumke, Reiner R [editor.] | Cuadrado-Gallego, Juan J [editor.] | Brunekreef, Jacob [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5891Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings / edited by Gilles Barthe, Manuel Hermenegildo. by Barthe, Gilles [editor.] | Hermenegildo, Manuel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5944Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II / edited by Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Marc Ebner, Muddassar Farooq, Andreas Fink, Jörn Grahl, Gary Greenfield, Penousal Machado, Michael O’Neill, Ernesto Tarantino, Neil Urquhart. by Chio, Cecilia [editor.] | Brabazon, Anthony [editor.] | Caro, Gianni A [editor.] | Ebner, Marc [editor.] | Farooq, Muddassar [editor.] | Fink, Andreas [editor.] | Grahl, Jörn [editor.] | Greenfield, Gary [editor.] | Machado, Penousal [editor.] | O’Neill, Michael [editor.] | Tarantino, Ernesto [editor.] | Urquhart, Neil [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6025Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Large-Scale Scientific Computing [electronic resource] : 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski. by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5910Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
High Performance Computing Systems and Applications [electronic resource] : 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009, Revised Selected Papers / edited by Douglas J. K. Mewhort, Natalie M. Cann, Gary W. Slater, Thomas J. Naughton. by Mewhort, Douglas J. K [editor.] | Cann, Natalie M [editor.] | Slater, Gary W [editor.] | Naughton, Thomas J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5976Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Advances in Grid and Pervasive Computing [electronic resource] : 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings / edited by Paolo Bellavista, Ruay-Shiung Chang, Han-Chieh Chao, Shin-Feng Lin, Peter M. A. Sloot. by Bellavista, Paolo [editor.] | Chang, Ruay-Shiung [editor.] | Chao, Han-Chieh [editor.] | Lin, Shin-Feng [editor.] | Sloot, Peter M. A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6104Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Communications and Multimedia Security [electronic resource] : 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 – June 2, 2010. Proceedings / edited by Bart Decker, Ingrid Schaumüller-Bichl. by Decker, Bart [editor.] | Schaumüller-Bichl, Ingrid [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6109Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Distributed Computing in Sensor Systems [electronic resource] : 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings / edited by Rajmohan Rajaraman, Thomas Moscibroda, Adam Dunkels, Anna Scaglione. by Rajaraman, Rajmohan [editor.] | Moscibroda, Thomas [editor.] | Dunkels, Adam [editor.] | Scaglione, Anna [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6131Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|