|
|
|
|
Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / edited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe. by Archibald, Margaret [editor.] | Brattka, Vasco [editor.] | Goranko, Valentin [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5489Source: 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): .
|
|
|
|
|
|
|
|
|
|
Reasoning Web. Semantic Technologies for Information Systems [electronic resource] : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures / edited by Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt. by Tessaris, Sergio [editor.] | Franconi, Enrico [editor.] | Eiter, Thomas [editor.] | Gutierrez, Claudio [editor.] | Handschuh, Siegfried [editor.] | Rousset, Marie-Christine [editor.] | Schmidt, Renate A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5689Source: 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): .
|
|
|
|
|
Biomedical Simulation [electronic resource] : 5th International Symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010. Proceedings / edited by Fernando Bello, Stéphane Cotin. by Bello, Fernando [editor.] | Cotin, Stéphane [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5958Source: 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): .
|
|
|
|
|
Augmented Environments for Computer-Assisted Interventions [electronic resource] : 6th International Workshop, AE-CAI 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers / edited by Cristian A. Linte, John T. Moore, Elvis C. S. Chen, David R. Holmes. by Linte, Cristian A [editor.] | Moore, John T [editor.] | Chen, Elvis C. S [editor.] | Holmes, David R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7264Source: 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): .
|
|
|
|
|
Information Security and Privacy [electronic resource] : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings / edited by Colin Boyd, Leonie Simpson. by Boyd, Colin [editor.] | Simpson, Leonie [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7959Source: 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): .
|
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / edited by Víctor Braberman, Laurent Fribourg. by Braberman, Víctor [editor.] | Fribourg, Laurent [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8053Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Groups '93 Galway/St Andrews Volume 2 / C. M. Campbell, E. F. Robertson, T. C. Hurley, S. J. Tobin, J. J. Ward. by Campbell, C. M [author.] | Robertson, E. F [author.] | Hurley, T. C [author.] | Tobin, S. J [author.] | Ward, J. J [author.]. Series: London Mathematical Society Lecture Note Series ; no. 212Material type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Groups '93 Galway/St Andrews Volume 1 / C. M. Campbell, E. F. Robertson, T. C. Hurley, S. J. Tobin, J. Ward. by Campbell, C. M [author.] | Robertson, E. F [author.] | Hurley, T. C [author.] | Tobin, S. J [author.] | Ward, J [author.]. Series: London Mathematical Society Lecture Note Series ; no. 211Material type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Augmented Cognition. Enhancing Cognition and Behavior in Complex Human Environments [electronic resource] : 11th International Conference, AC 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II / edited by Dylan D. Schmorrow, Cali M. Fidopiastis. by Schmorrow, Dylan D [editor.] | Fidopiastis, Cali M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10285 | Lecture Notes in Computer Science ; 10285Edition: 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): .
|
|
|
|
|
Intelligent Virtual Agents [electronic resource] : 15th International Conference, IVA 2015, Delft, The Netherlands, August 26-28, 2015, Proceedings / edited by Willem-Paul Brinkman, Joost Broekens, Dirk Heylen. by Brinkman, Willem-Paul [editor.] | Broekens, Joost [editor.] | Heylen, Dirk [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9238 | Lecture Notes in Computer Science ; 9238Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Augmented Cognition. Neurocognition and Machine Learning [electronic resource] : 11th International Conference, AC 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I / edited by Dylan D. Schmorrow, Cali M. Fidopiastis. by Schmorrow, Dylan D [editor.] | Fidopiastis, Cali M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10284 | Lecture Notes in Computer Science ; 10284Edition: 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): .
|
|
|
|
|
Image and Video Technology [electronic resource] : 7th Pacific-Rim Symposium, PSIVT 2015, Auckland, New Zealand, November 25-27, 2015, Revised Selected Papers / edited by Thomas Bräunl, Brendan McCane, Mariano Rivera, Xinguo Yu. by Bräunl, Thomas [editor.] | McCane, Brendan [editor.] | Rivera, Mariano [editor.] | Yu, Xinguo [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9431 | Lecture Notes in Computer Science ; 9431Edition: 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): .
|
|
|
|
|
Information Security and Privacy [electronic resource] : 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part II / edited by Joseph K. Liu, Ron Steinfeld. by Liu, Joseph K [editor.] | Steinfeld, Ron [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9723 | Lecture Notes in Computer Science ; 9723Edition: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
