|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings / edited by Daniel Berry, Xavier Franch. by Berry, Daniel [editor.] | Franch, Xavier [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6606Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Compiler Construction [electronic resource] : 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Jens Knoop. by Knoop, Jens [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6601Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Adaptive and Natural Computing Algorithms [electronic resource] : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II / edited by Andrej Dobnikar, Uroš Lotrič, Branko Šter. by Dobnikar, Andrej [editor.] | Lotrič, Uroš [editor.] | Šter, Branko [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6594Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Adaptive and Natural Computing Algorithms [electronic resource] : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I / edited by Andrej Dobnikar, Uroš Lotrič, Branko Šter. by Dobnikar, Andrej [editor.] | Lotrič, Uroš [editor.] | Šter, Branko [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6593Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings / edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi. by Bobaru, Mihaela [editor.] | Havelund, Klaus [editor.] | Holzmann, Gerard J [editor.] | Joshi, Rajeev [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6617Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Formal Concept Analysis [electronic resource] : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings / edited by Petko Valtchev, Robert Jäschke. by Valtchev, Petko [editor.] | Jäschke, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6628Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
GeoSpatial Semantics [electronic resource] : 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011. Proceedings / edited by Christophe Claramunt, Sergei Levashkin, Michela Bertolotto. by Claramunt, Christophe [editor.] | Levashkin, Sergei [editor.] | Bertolotto, Michela [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6631Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Service-Oriented Perspectives in Design Science Research [electronic resource] : 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings / edited by Hemant Jain, Atish P. Sinha, Padmal Vitharana. by Jain, Hemant [editor.] | Sinha, Atish P [editor.] | Vitharana, Padmal [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6629Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / edited by Ron Meyden, Jan-Georg Smaus. by Meyden, Ron [editor.] | Smaus, Jan-Georg [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6572Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos. by Omicini, Andrea [editor.] | Sardina, Sebastian [editor.] | Vasconcelos, Wamberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6619Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Grid and Pervasive Computing [electronic resource] : 6th International Conference, GPC 2011, Oulu, Finland, May 11-13, 2011. Proceedings / edited by Jukka Riekki, Mika Ylianttila, Minyi Guo. by Riekki, Jukka [editor.] | Ylianttila, Mika [editor.] | Guo, Minyi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6646Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
NETWORKING 2011 [electronic resource] : 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part I / edited by Jordi Domingo-Pascual, Pietro Manzoni, Sergio Palazzo, Ana Pont, Caterina Scoglio. by Domingo-Pascual, Jordi [editor.] | Manzoni, Pietro [editor.] | Palazzo, Sergio [editor.] | Pont, Ana [editor.] | Scoglio, Caterina [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6640Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
NETWORKING 2011 [electronic resource] : 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part II / edited by Jordi Domingo-Pascual, Pietro Manzoni, Sergio Palazzo, Ana Pont, Caterina Scoglio. by Domingo-Pascual, Jordi [editor.] | Manzoni, Pietro [editor.] | Palazzo, Sergio [editor.] | Pont, Ana [editor.] | Scoglio, Caterina [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6641Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in New Technologies, Interactive Interfaces, and Communicability [electronic resource] : First International Conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010, Revised Selected Papers / edited by Francisco V. Cipolla Ficarra, Carlos Castro Lozano, Mauricio Pérez Jiménez, Emma Nicol, Andreas Kratky, Miguel Cipolla-Ficarra. by Cipolla Ficarra, Francisco V [editor.] | Castro Lozano, Carlos [editor.] | Pérez Jiménez, Mauricio [editor.] | Nicol, Emma [editor.] | Kratky, Andreas [editor.] | Cipolla-Ficarra, Miguel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6616Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings / edited by James P. Delgrande, Wolfgang Faber. by Delgrande, James P [editor.] | Faber, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6645Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers / edited by Juergen Dingel, Arnor Solberg. by Dingel, Juergen [editor.] | Solberg, Arnor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6627Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
