|
|
|
Information Processing in Sensor Networks [electronic resource] : Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22–23, 2003 Proceedings / edited by Feng Zhao, Leonidas Guibas. by Zhao, Feng [editor.] | Guibas, Leonidas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2634Source: 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): .
|
|
|
|
Business Process Management Workshops [electronic resource] : BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006. Proceedings / edited by Johann Eder, Schahram Dustdar. by Eder, Johann [editor.] | Dustdar, Schahram [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4103Source: 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): .
|
|
|
|
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics [electronic resource] : International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings / edited by Jan Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito. by Leeuwen, Jan [editor.] | Watanabe, Osamu [editor.] | Hagiya, Masami [editor.] | Mosses, Peter D [editor.] | Ito, Takayasu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1872Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2007, Chengdu, China, April 11-12, 2007. Proceedings / edited by Christopher C. Yang, Daniel Zeng, Michael Chau, Kuiyu Chang, Qing Yang, Xueqi Cheng, Jue Wang, Fei-Yue Wang, Hsinchun Chen. by Yang, Christopher C [editor.] | Zeng, Daniel [editor.] | Chau, Michael [editor.] | Chang, Kuiyu [editor.] | Yang, Qing [editor.] | Cheng, Xueqi [editor.] | Wang, Jue [editor.] | Wang, Fei-Yue [editor.] | Chen, Hsinchun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4430Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / edited by Ahmed Bouajjani, Oded Maler. by Bouajjani, Ahmed [editor.] | Maler, Oded [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5643Source: 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): .
|
|
|
|
Active Media Technology [electronic resource] : 8th International Conference, AMT 2012, Macau, China, December 4-7, 2012. Proceedings / edited by Runhe Huang, Ali A. Ghorbani, Gabriella Pasi, Takahira Yamaguchi, Neil Y. Yen, Beijing Jin. by Huang, Runhe [editor.] | Ghorbani, Ali A [editor.] | Pasi, Gabriella [editor.] | Yamaguchi, Takahira [editor.] | Yen, Neil Y [editor.] | Jin, Beijing [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7669Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Marsha Chechik, Jean-François Raskin. by Chechik, Marsha [editor.] | Raskin, Jean-François [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9636 | Lecture Notes in Computer Science ; 9636Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Social Robotics [electronic resource] : 8th International Conference, ICSR 2016, Kansas City, MO, USA, November 1-3, 2016 Proceedings / edited by Arvin Agah, John-John Cabibihan, Ayanna M. Howard, Miguel A. Salichs, Hongsheng He. by Agah, Arvin [editor.] | Cabibihan, John-John [editor.] | Howard, Ayanna M [editor.] | Salichs, Miguel A [editor.] | He, Hongsheng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9979 | Lecture Notes in Computer Science ; 9979Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Flexible Query Answering Systems [electronic resource] : 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006 Proceedings / edited by Henrik Legind Larsen, Gabriella Pasi, Daniel Ortiz-Arroyo, Troels Andreasen, Henning Christiansen. by Larsen, Henrik Legind [editor.] | Pasi, Gabriella [editor.] | Ortiz-Arroyo, Daniel [editor.] | Andreasen, Troels [editor.] | Christiansen, Henning [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4027Source: 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): .
|
|
|
|
Evolvable Systems: From Biology to Hardware [electronic resource] : 5th International Conference, ICES 2003 Trondheim, Norway, March 17–20, 2003 Proceedings / edited by AAndy M. Tyrrell, Pauline C. Haddow, Jim Torresen. by Tyrrell, AAndy M [editor.] | Haddow, Pauline C [editor.] | Torresen, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2606Source: 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): .
|
|
|
|
|