|
|
|
|
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings / edited by Itsuki Noda, Noriaki Ando, Davide Brugali, James J. Kuffner. by Noda, Itsuki [editor.] | Ando, Noriaki [editor.] | Brugali, Davide [editor.] | Kuffner, James J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7628Source: 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): .
|
|
|
|
|
Human-Centered Software Engineering [electronic resource] : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings / edited by Marco Winckler, Peter Forbrig, Regina Bernhaupt. by Winckler, Marco [editor.] | Forbrig, Peter [editor.] | Bernhaupt, Regina [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7623Source: 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): .
|
|
|
|
|
Multi-Agent Systems [electronic resource] : 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers / edited by Massimo Cossentino, Michael Kaisers, Karl Tuyls, Gerhard Weiss. by Cossentino, Massimo [editor.] | Kaisers, Michael [editor.] | Tuyls, Karl [editor.] | Weiss, Gerhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7541Source: 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): .
|
|
|
|
|
Ambient Intelligence [electronic resource] : Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings / edited by Fabio Paternò, Boris Ruyter, Panos Markopoulos, Carmen Santoro, Evert Loenen, Kris Luyten. by Paternò, Fabio [editor.] | Ruyter, Boris [editor.] | Markopoulos, Panos [editor.] | Santoro, Carmen [editor.] | Loenen, Evert [editor.] | Luyten, Kris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7683Source: 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): .
|
|
|
|
|
Middleware 2012 [electronic resource] : ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings / edited by Priya Narasimhan, Peter Triantafillou. by Narasimhan, Priya [editor.] | Triantafillou, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7662Source: 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): .
|
|
|
|
|
Transactions on Petri Nets and Other Models of Concurrency VI [electronic resource] / edited by Kurt Jensen, Wil M. Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen. by Jensen, Kurt [editor.] | Aalst, Wil M [editor.] | Ajmone Marsan, Marco [editor.] | Franceschinis, Giuliana [editor.] | Kleijn, Jetty [editor.] | Kristensen, Lars Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7400Source: 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): .
|
|
|
|
|
Ubiquitous Computing and Ambient Intelligence [electronic resource] : 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings / edited by José Bravo, Diego López-de-Ipiña, Francisco Moya. by Bravo, José [editor.] | López-de-Ipiña, Diego [editor.] | Moya, Francisco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7656Source: 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): .
|
|
|
|
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012. Proceedings / edited by Bijaya Ketan Panigrahi, Swagatam Das, Ponnuthurai Nagaratnam Suganthan, Pradipta Kumar Nanda. by Panigrahi, Bijaya Ketan [editor.] | Das, Swagatam [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Nanda, Pradipta Kumar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7677Source: 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): .
|
|
|
|
|
Ambient Assisted Living and Home Care [electronic resource] : 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings / edited by José Bravo, Ramón Hervás, Marcela Rodríguez. by Bravo, José [editor.] | Hervás, Ramón [editor.] | Rodríguez, Marcela [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7657Source: 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): .
|
|
|
|
|
Principles of Distributed Systems [electronic resource] : 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings / edited by Roberto Baldoni, Paola Flocchini, Ravindran Binoy. by Baldoni, Roberto [editor.] | Flocchini, Paola [editor.] | Binoy, Ravindran [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7702Source: 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): .
|
|
|
|
|
Coordination, Organizations, Institutions, and Norms in Agent System VII [electronic resource] : COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011, Revised Selected Papers / edited by Stephen Cranefield, M. Birna Riemsdijk, Javier Vázquez-Salceda, Pablo Noriega. by Cranefield, Stephen [editor.] | Riemsdijk, M. Birna [editor.] | Vázquez-Salceda, Javier [editor.] | Noriega, Pablo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7254Source: 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): .
|
|
|
|
|
Future Generation Information Technology [electronic resource] : 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings / edited by Tai-hoon Kim, Young-hoon Lee, Wai-chi Fang. by Kim, Tai-hoon [editor.] | Lee, Young-hoon [editor.] | Fang, Wai-chi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7709Source: 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): .
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. by Giacobazzi, Roberto [editor.] | Berdine, Josh [editor.] | Mastroeni, Isabella [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7737Source: 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): .
|
|
|
|
|
Model-Based Methodologies for Pervasive and Embedded Software [electronic resource] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers / edited by Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck. by Machado, Ricardo J [editor.] | Maciel, Rita Suzana P [editor.] | Rubin, Julia [editor.] | Botterweck, Goetz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7706Source: 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): .
|
|
|
|
|
|
|
|
|
|
Theory, Practice, and Applications of Rules on the Web [electronic resource] : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings / edited by Leora Morgenstern, Petros Stefaneas, François Lévy, Adam Wyner, Adrian Paschke. by Morgenstern, Leora [editor.] | Stefaneas, Petros [editor.] | Lévy, François [editor.] | Wyner, Adam [editor.] | Paschke, Adrian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8035Source: 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): .
|
|
|
|
|
|
|
|
|
|
Theory and Practice of Natural Computing [electronic resource] : Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe, Miguel A. Vega-Rodríguez. by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | Vega-Rodríguez, Miguel A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8273Source: 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): .
|
