|
|
|
|
Deep Learning and Data Labeling for Medical Applications [electronic resource] : First International Workshop, LABELS 2016, and Second International Workshop, DLMIA 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings / edited by Gustavo Carneiro, Diana Mateus, Loïc Peter, Andrew Bradley, João Manuel R. S. Tavares, Vasileios Belagiannis, João Paulo Papa, Jacinto C. Nascimento, Marco Loog, Zhi Lu, Jaime S. Cardoso, Julien Cornebise. by Carneiro, Gustavo [editor.] | Mateus, Diana [editor.] | Peter, Loïc [editor.] | Bradley, Andrew [editor.] | Tavares, João Manuel R. S [editor.] | Belagiannis, Vasileios [editor.] | Papa, João Paulo [editor.] | Nascimento, Jacinto C [editor.] | Loog, Marco [editor.] | Lu, Zhi [editor.] | Cardoso, Jaime S [editor.] | Cornebise, Julien [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10008 | Lecture Notes in Computer Science ; 10008Edition: 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): .
|
|
|
|
|
Multi-Agent and Multi-Agent-Based Simulation [electronic resource] : Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / edited by Paul Davidsson, Brian Logan, Keiki Takadama. by Davidsson, Paul [editor.] | Logan, Brian [editor.] | Takadama, Keiki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3415Source: 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): .
|
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4111Source: 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): .
|
|
|
|
|
User Modeling, Adaptation, and Personalization [electronic resource] : 18th International Conference, UMAP 2010, Big Island, HI, USA, June 20-24, 2010. Proceedings / edited by Paul Bra, Alfred Kobsa, David Chin. by Bra, Paul [editor.] | Kobsa, Alfred [editor.] | Chin, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6075Source: 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): .
|
|
|
|
|
Parallel Problem Solving from Nature — PPSN V [electronic resource] : 5th International Conference Amsterdam, The Netherlands September 27–30, 1998 Proceedings / edited by Agoston E. Eiben, Thomas Bäck, Marc Schoenauer, Hans-Paul Schwefel. by Eiben, Agoston E [editor.] | Bäck, Thomas [editor.] | Schoenauer, Marc [editor.] | Schwefel, Hans-Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1498Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Parallel Problem Solving from Nature — PPSN IV [electronic resource] : International Conference on Evolutionary Computation — The 4th International Conference on Parallel Problem Solving from Nature Berlin, Germany, September 22–26, 1996 Proceedings / edited by Hans-Michael Voigt, Werner Ebeling, Ingo Rechenberg, Hans-Paul Schwefel. by Voigt, Hans-Michael [editor.] | Ebeling, Werner [editor.] | Rechenberg, Ingo [editor.] | Schwefel, Hans-Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1141Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Testing of Software and Communication Systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings / edited by Manuel Núñez, Paul Baker, Mercedes G. Merayo. by Núñez, Manuel [editor.] | Baker, Paul [editor.] | Merayo, Mercedes G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5826Source: 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): .
|
|
|
|
|
Protecting Persons While Protecting the People [electronic resource] : Second Annual Workshop on Information Privacy and National Security, ISIPS 2008, New Brunswick, NJ, USA, May 12, 2008. Revised Selected Papers / edited by Cecilia S. Gal, Paul B. Kantor, Michael E. Lesk. by Gal, Cecilia S [editor.] | Kantor, Paul B [editor.] | Lesk, Michael E [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5661Source: 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): .
|
|
|
|
|
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by Blazy, Sandrine [editor.] | Paulin-Mohring, Christine [editor.] | Pichardie, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7998Source: 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): .
|
|
|
|
|
|
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings / edited by Paul Spirakis, Philippas Tsigas. by Spirakis, Paul [editor.] | Tsigas, Philippas [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10616 | Lecture Notes in Computer Science ; 10616Edition: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings / edited by Paul Pettersson, Wang Yi. by Pettersson, Paul [editor.] | Yi, Wang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3829Source: 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): .
|
|
|
|
|
User Modeling 2005 [electronic resource] : 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005. Proceedings / edited by Liliana Ardissono, Paul Brna, Antonija Mitrovic. by Ardissono, Liliana [editor.] | Brna, Paul [editor.] | Mitrovic, Antonija [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3538Source: 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): .
|
|
|
|
|
Trusted Computing - Challenges and Applications [electronic resource] : First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008 Villach, Austria, March 11-12, 2008 Proceedings / edited by Peter Lipp, Ahmad-Reza Sadeghi, Klaus-Michael Koch. by Lipp, Peter [editor.] | Sadeghi, Ahmad-Reza [editor.] | Koch, Klaus-Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4968Source: 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): .
|
|
|
|
|
Principles of Practice in Multi-Agent Systems [electronic resource] : 12th International Conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009. Proceedings / edited by Jung-Jin Yang, Makoto Yokoo, Takayuki Ito, Zhi Jin, Paul Scerri. by Yang, Jung-Jin [editor.] | Yokoo, Makoto [editor.] | Ito, Takayuki [editor.] | Jin, Zhi [editor.] | Scerri, Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5925Source: 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): .
|
|
|
|
|
Progress in Cryptology – LATINCRYPT 2010 [electronic resource] : First International Conference on Cryptology and Information Security in Latin America, Puebla, Mexico, August 8-11, 2010, proceedings / edited by Michel Abdalla, Paulo S. L. M. Barreto. by Abdalla, Michel [editor.] | Barreto, Paulo S. L. M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6212Source: 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): .
|
