|
|
|
|
|
|
|
|
|
Pervasive Computing [electronic resource] : 7th International Conference, Pervasive 2009, Nara, Japan, May 11-14, 2009. Proceedings / edited by Hideyuki Tokuda, Michael Beigl, Adrian Friday, A. J. Bernheim Brush, Yoshito Tobe. by Tokuda, Hideyuki [editor.] | Beigl, Michael [editor.] | Friday, Adrian [editor.] | Brush, A. J. Bernheim [editor.] | Tobe, Yoshito [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5538Source: 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): .
|
|
|
|
|
Research and Advanced Technology for Digital Libraries [electronic resource] : 13th European Conference, ECDL 2009, Corfu, Greece, September 27 - October 2, 2009. Proceedings / edited by Maristella Agosti, José Borbinha, Sarantos Kapidakis, Christos Papatheodorou, Giannis Tsakonas. by Agosti, Maristella [editor.] | Borbinha, José [editor.] | Kapidakis, Sarantos [editor.] | Papatheodorou, Christos [editor.] | Tsakonas, Giannis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5714Source: 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): .
|
|
|
|
|
|
|
|
|
|
Social Robotics [electronic resource] : Second International Conference on Social Robotics, ICSR 2010, Singapore, November 23-24, 2010. Proceedings / edited by Shuzhi Sam Ge, Haizhou Li, John-John Cabibihan, Yeow Kee Tan. by Ge, Shuzhi Sam [editor.] | Li, Haizhou [editor.] | Cabibihan, John-John [editor.] | Tan, Yeow Kee [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6414Source: 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): .
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Vittorio Cortellessa, Dániel Varró. by Cortellessa, Vittorio [editor.] | Varró, Dániel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7793Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Data Driven Approaches in Digital Education [electronic resource] : 12th European Conference on Technology Enhanced Learning, EC-TEL 2017, Tallinn, Estonia, September 12–15, 2017, Proceedings / edited by Élise Lavoué, Hendrik Drachsler, Katrien Verbert, Julien Broisin, Mar Pérez-Sanagustín. by Lavoué, Élise [editor.] | Drachsler, Hendrik [editor.] | Verbert, Katrien [editor.] | Broisin, Julien [editor.] | Pérez-Sanagustín, Mar [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10474 | Lecture Notes in Computer Science ; 10474Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Scaling OpenMP for Exascale Performance and Portability [electronic resource] : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings / edited by Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. Müller. by de Supinski, Bronis R [editor.] | Olivier, Stephen L [editor.] | Terboven, Christian [editor.] | Chapman, Barbara M [editor.] | Müller, Matthias S [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10468 | Lecture Notes in Computer Science ; 10468Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
FM’99 — Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies. by Wing, Jeannette M [editor.] | Woodcock, Jim [editor.] | Davies, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1709Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / edited by Magnus Egerstedt, Bud Mishra. by Egerstedt, Magnus [editor.] | Mishra, Bud [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4981Source: 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): .
|
|
|
|
|
Security Protocols [electronic resource] : 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3364Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Pervasive Computing [electronic resource] : 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings / edited by Kenneth P. Fishkin, Bernt Schiele, Paddy Nixon, Aaron Quigley. by Fishkin, Kenneth P [editor.] | Schiele, Bernt [editor.] | Nixon, Paddy [editor.] | Quigley, Aaron [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3968Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Automotive Software – Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger. by Broy, Manfred [editor.] | Krüger, Ingolf H [editor.] | Meisinger, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4147Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer-Aided Verification [electronic resource] : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings / edited by Edmund M. Clarke, Robert P. Kurshan. by Clarke, Edmund M [editor.] | Kurshan, Robert P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 531Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Information Security [electronic resource] : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003. Proceedings / edited by Colin Boyd, Wenbo Mao. by Boyd, Colin [editor.] | Mao, Wenbo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2851Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings / edited by Eugene Asarin, Patricia Bouyer. by Asarin, Eugene [editor.] | Bouyer, Patricia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4202Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Dependable Computing — EDCC-3 [electronic resource] : Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings / edited by Jan Hlavička, Erik Maehle, András Pataricza. by Hlavička, Jan [editor.] | Maehle, Erik [editor.] | Pataricza, András [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1667Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
