|
|
|
|
Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / edited by P. Madhusudan, Sanjit A. Seshia. by Madhusudan, P [editor.] | Seshia, Sanjit A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7358Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Transactions on Edutainment VIII [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Maiga Chang, Mingmin Zhang. by Pan, Zhigeng [editor.] | Cheok, Adrian David [editor.] | Müller, Wolfgang [editor.] | Chang, Maiga [editor.] | Zhang, Mingmin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7220Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Information Security and Privacy [electronic resource] : 17th Australasian Conference, ACISP 2012, Wollongong, NSW, Australia, July 9-11, 2012. Proceedings / edited by Willy Susilo, Yi Mu, Jennifer Seberry. by Susilo, Willy [editor.] | Mu, Yi [editor.] | Seberry, Jennifer [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7372Source: 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): .
|
|
|
|
|
User Modeling, Adaptation, and Personalization [electronic resource] : 20th International Conference, UMAP 2012, Montreal, Canada, July 16-20, 2012. Proceedings / edited by Judith Masthoff, Bamshad Mobasher, Michel C. Desmarais, Roger Nkambou. by Masthoff, Judith [editor.] | Mobasher, Bamshad [editor.] | Desmarais, Michel C [editor.] | Nkambou, Roger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7379Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waśniewski. by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7203Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Logic, Language and Meaning [electronic resource] : 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers / edited by Maria Aloni, Vadim Kimmelman, Floris Roelofsen, Galit W. Sassoon, Katrin Schulz, Matthijs Westera. by Aloni, Maria [editor.] | Kimmelman, Vadim [editor.] | Roelofsen, Floris [editor.] | Sassoon, Galit W [editor.] | Schulz, Katrin [editor.] | Westera, Matthijs [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7218Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Lectures on Logic and Computation [electronic resource] : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / edited by Nick Bezhanishvili, Valentin Goranko. by Bezhanishvili, Nick [editor.] | Goranko, Valentin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7388Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Modelling Foundations and Applications [electronic resource] : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings / edited by Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitris Kolovos. by Vallecillo, Antonio [editor.] | Tolvanen, Juha-Pekka [editor.] | Kindler, Ekkart [editor.] | Störrle, Harald [editor.] | Kolovos, Dimitris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7349Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Progress in VLSI Design and Test [electronic resource] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings / edited by Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay. by Rahaman, Hafizur [editor.] | Chattopadhyay, Sanatan [editor.] | Chattopadhyay, Santanu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7373Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waśniewski. by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7204Source: 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): .
|
|
|
|
|
Computers Helping People with Special Needs [electronic resource] : 13th International Conference, ICCHP 2012, Linz, Austria, July 11-13, 2012, Proceedings, Part I / edited by Klaus Miesenberger, Arthur Karshmer, Petr Penaz, Wolfgang Zagler. by Miesenberger, Klaus [editor.] | Karshmer, Arthur [editor.] | Penaz, Petr [editor.] | Zagler, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7382Source: 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): .
|
|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012. Proceedings / edited by Tony J. Prescott, Nathan F. Lepora, Anna Mura, Paul F. M. J. Verschure. by Prescott, Tony J [editor.] | Lepora, Nathan F [editor.] | Mura, Anna [editor.] | Verschure, Paul F. M. J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7375Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computers Helping People with Special Needs [electronic resource] : 13th International Conference, ICCHP 2012, Linz, Austria, July 11-13, 2012, Proceedings, Part II / edited by Klaus Miesenberger, Arthur Karshmer, Petr Penaz, Wolfgang Zagler. by Miesenberger, Klaus [editor.] | Karshmer, Arthur [editor.] | Penaz, Petr [editor.] | Zagler, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7383Source: 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): .
|
|
|
|
|
|
|
|
|
|
Data and Applications Security and Privacy XXVI [electronic resource] : 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13,2012. Proceedings / edited by Nora Cuppens-Boulahia, Frédéric Cuppens, Joaquin Garcia-Alfaro. by Cuppens-Boulahia, Nora [editor.] | Cuppens, Frédéric [editor.] | Garcia-Alfaro, Joaquin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7371Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Advances in Brain Inspired Cognitive Systems [electronic resource] : 5th International Conference, BICS 2012, Shenyang, China, July 11-14, 2012. Proceedings / edited by Huaguang Zhang, Amir Hussain, Derong Liu, Zhanshan Wang. by Zhang, Huaguang [editor.] | Hussain, Amir [editor.] | Liu, Derong [editor.] | Wang, Zhanshan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7366Source: 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): .
|
|
|
|
|
Articulated Motion and Deformable Objects [electronic resource] : 7th International Conference, AMDO 2012, Port d’Andratx, Mallorca, Spain, July 11-13, 2012. Proceedings / edited by Francisco J. Perales, Robert B. Fisher, Thomas B. Moeslund. by Perales, Francisco J [editor.] | Fisher, Robert B [editor.] | Moeslund, Thomas B [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7378Source: 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): .
|
