|
|
|
Testing Software and Systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings / edited by Burkhart Wolff, Fatiha Zaïdi. by Wolff, Burkhart [editor.] | Zaïdi, Fatiha [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7019Source: 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): .
|
|
|
|
Multiagent System Technologies [electronic resource] : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings / edited by Franziska Klügl, Sascha Ossowski. by Klügl, Franziska [editor.] | Ossowski, Sascha [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6973Source: 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): .
|
|
|
|
Conceptual Modeling – ER 2011 [electronic resource] : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings / edited by Manfred Jeusfeld, Lois Delcambre, Tok-Wang Ling. by Jeusfeld, Manfred [editor.] | Delcambre, Lois [editor.] | Ling, Tok-Wang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6998Source: 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): .
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 11th International Conference, ICA3PP, Melbourne, Australia, October 24-26, 2011, Proceedings, Part I / edited by Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou. by Xiang, Yang [editor.] | Cuzzocrea, Alfredo [editor.] | Hobbs, Michael [editor.] | Zhou, Wanlei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7016Source: 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): .
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II / edited by Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou. by Xiang, Yang [editor.] | Cuzzocrea, Alfredo [editor.] | Hobbs, Michael [editor.] | Zhou, Wanlei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7017Source: 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): .
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings / edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider. by Barthe, Gilles [editor.] | Pardo, Alberto [editor.] | Schneider, Gerardo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7041Source: 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): .
|
|
|
|
|
|
|
|
Towards a Service-Based Internet [electronic resource] : 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedings / edited by Witold Abramowicz, Ignacio M. Llorente, Mike Surridge, Andrea Zisman, Julien Vayssière. by Abramowicz, Witold [editor.] | Llorente, Ignacio M [editor.] | Surridge, Mike [editor.] | Zisman, Andrea [editor.] | Vayssière, Julien [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6994Source: 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): .
|
|
|
|
Information Security [electronic resource] : 14th International Conference, ISC 2011, Xi’an, China, October 26-29, 2011. Proceedings / edited by Xuejia Lai, Jianying Zhou, Hui Li. by Lai, Xuejia [editor.] | Zhou, Jianying [editor.] | Li, Hui [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7001Source: 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): .
|
|
|
|
|
|
|
|
Rule - Based Modeling and Computing on the Semantic Web [electronic resource] : 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings / edited by Frank Olken, Monica Palmirani, Davide Sottara. by Olken, Frank [editor.] | Palmirani, Monica [editor.] | Sottara, Davide [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7018Source: 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 Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan. by Simao, Adenilso [editor.] | Morgan, Carroll [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7021Source: 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): .
|
|
|
|
Agents in Principle, Agents in Practice [electronic resource] : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings / edited by David Kinny, Jane Yung-jen Hsu, Guido Governatori, Aditya K. Ghose. by Kinny, David [editor.] | Hsu, Jane Yung-jen [editor.] | Governatori, Guido [editor.] | Ghose, Aditya K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7047Source: 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): .
|
|
|
|
Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert. by Schreck, Pascal [editor.] | Narboux, Julien [editor.] | Richter-Gebert, Jürgen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6877Source: 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): .
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2011 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania. by Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Herrero, Pilar [editor.] | Kumar, Akhil [editor.] | Reichert, Manfred [editor.] | Qing, Li [editor.] | Ooi, Beng-Chin [editor.] | Damiani, Ernesto [editor.] | Schmidt, Douglas C [editor.] | White, Jules [editor.] | Hauswirth, Manfred [editor.] | Hitzler, Pascal [editor.] | Mohania, Mukesh [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7045Source: 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): .
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2011 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania. by Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Herrero, Pilar [editor.] | Kumar, Akhil [editor.] | Reichert, Manfred [editor.] | Qing, Li [editor.] | Ooi, Beng-Chin [editor.] | Damiani, Ernesto [editor.] | Schmidt, Douglas C [editor.] | White, Jules [editor.] | Hauswirth, Manfred [editor.] | Hitzler, Pascal [editor.] | Mohania, Mukesh [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7044Source: 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): .
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2011 Workshops [electronic resource] : Confederated International Workshops and Posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011. Proceedings / edited by Robert Meersman, Tharam Dillon, Pilar Herrero. by Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Herrero, Pilar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7046Source: 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): .
|
|
|
|
Ambient Intelligence [electronic resource] : Second International Joint Conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011. Proceedings / edited by David V. Keyson, Mary Lou Maher, Norbert Streitz, Adrian Cheok, Juan Carlos Augusto, Reiner Wichert, Gwenn Englebienne, Hamid Aghajan, Ben J. A. Kröse. by Keyson, David V [editor.] | Maher, Mary Lou [editor.] | Streitz, Norbert [editor.] | Cheok, Adrian [editor.] | Augusto, Juan Carlos [editor.] | Wichert, Reiner [editor.] | Englebienne, Gwenn [editor.] | Aghajan, Hamid [editor.] | Kröse, Ben J. A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7040Source: 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): .
|
|
|
|
|