|
|
|
|
Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / edited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe. by Archibald, Margaret [editor.] | Brattka, Vasco [editor.] | Goranko, Valentin [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5489Source: 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): .
|
|
|
|
|
|
|
|
|
|
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings / edited by Koen Bertels, Nikitas Dimopoulos, Cristina Silvano, Stephan Wong. by Bertels, Koen [editor.] | Dimopoulos, Nikitas [editor.] | Silvano, Cristina [editor.] | Wong, Stephan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5657Source: 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): .
|
|
|
|
|
Language Engineering and Rigorous Software Development [electronic resource] : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures / edited by Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto. by Bove, Ana [editor.] | Barbosa, Luís Soares [editor.] | Pardo, Alberto [editor.] | Pinto, Jorge Sousa [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5520Source: 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): .
|
|
|
|
|
Privacy Enhancing Technologies [electronic resource] : 9th International Symposium, PETS 2009, Seattle, WA, USA, August 5-7, 2009. Proceedings / edited by Ian Goldberg, Mikhail J. Atallah. by Goldberg, Ian [editor.] | Atallah, Mikhail J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5672Source: 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): .
|
|
|
|
|
Advances in Bioinformatics and Computational Biology [electronic resource] : 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings / edited by Katia S. Guimarães, Anna Panchenko, Teresa M. Przytycka. by Guimarães, Katia S [editor.] | Panchenko, Anna [editor.] | Przytycka, Teresa M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5676Source: 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): .
|
|
|
|
|
|
|
|
|
|
Static Analysis [electronic resource] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings / edited by Jens Palsberg, Zhendong Su. by Palsberg, Jens [editor.] | Su, Zhendong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5673Source: 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): .
|
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers / edited by Darren Cofer, Alessandro Fantechi. by Cofer, Darren [editor.] | Fantechi, Alessandro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5596Source: 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): .
|
|
|
|
|
Artificial Immune Systems [electronic resource] : 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009. Proceedings / edited by Paul S. Andrews, Jon Timmis, Nick D. L. Owens, Uwe Aickelin, Emma Hart, Andrew Hone, Andy M. Tyrrell. by Andrews, Paul S [editor.] | Timmis, Jon [editor.] | Owens, Nick D. L [editor.] | Aickelin, Uwe [editor.] | Hart, Emma [editor.] | Hone, Andrew [editor.] | Tyrrell, Andy M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5666Source: 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 Constraints [electronic resource] : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / edited by Angelo Oddi, François Fages, Francesca Rossi. by Oddi, Angelo [editor.] | Fages, François [editor.] | Rossi, Francesca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5655Source: 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): .
|
|
|
|
|
|
|
|
|
|
Computational Color Imaging [electronic resource] : Second International Workshop, CCIW 2009, Saint-Etienne, France, March 26-27, 2009. Revised Selected Papers / edited by Alain Trémeau, Raimondo Schettini, Shoji Tominaga. by Trémeau, Alain [editor.] | Schettini, Raimondo [editor.] | Tominaga, Shoji [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5646Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Programming Multi-Agent Systems [electronic resource] : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers / edited by Koen V. Hindriks, Alexander Pokahr, Sebastian Sardina. by Hindriks, Koen V [editor.] | Pokahr, Alexander [editor.] | Sardina, Sebastian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5442Source: 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): .
|
|
|
|
|
Transactions on Rough Sets X [electronic resource] / edited by James F. Peters, Andrzej Skowron, Marcin Wolski, Mihir K. Chakraborty, Wei-Zhi Wu. by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Wolski, Marcin [editor.] | Chakraborty, Mihir K [editor.] | Wu, Wei-Zhi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5656Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
