|
|
|
|
FM’99 — Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies. by Wing, Jeannette M [editor.] | Woodcock, Jim [editor.] | Davies, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1708Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings / edited by Ajoy K. Datta, Maria Gradinariu. by Datta, Ajoy K [editor.] | Gradinariu, Maria [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4280Source: 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): .
|
|
|
|
|
Advances in Mass Data Analysis of Images and Signals in Medicine, Biotechnology, Chemistry and Food Industry [electronic resource] : Third International Conference, MDA 2008 Leipzig, Germany, July 14, 2008 Proceedings / edited by Petra Perner, Ovidio Salvetti. by Perner, Petra [editor.] | Salvetti, Ovidio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5108Source: 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): .
|
|
|
|
|
Intelligence and Security Informatics: Biosurveillance [electronic resource] : Second NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007. Proceedings / edited by Daniel Zeng, Ivan Gotham, Ken Komatsu, Cecil Lynch, Mark Thurmond, David Madigan, Bill Lober, James Kvach, Hsinchun Chen. by Zeng, Daniel [editor.] | Gotham, Ivan [editor.] | Komatsu, Ken [editor.] | Lynch, Cecil [editor.] | Thurmond, Mark [editor.] | Madigan, David [editor.] | Lober, Bill [editor.] | Kvach, James [editor.] | Chen, Hsinchun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4506Source: 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): .
|
|
|
|
|
Cooperative Design, Visualization, and Engineering [electronic resource] : 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings / edited by Yuhua Luo. by Luo, Yuhua [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4674Source: 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): .
|
|
|
|
|
Advances in Intelligent Data Analysis VII [electronic resource] : 7th International Symposium on Intelligent Data Analysis, IDA 2007, Ljubljana, Slovenia, September 6-8, 2007. Proceedings / edited by Michael R. Berthold, John Shawe-Taylor, Nada Lavrač. by R. Berthold, Michael [editor.] | Shawe-Taylor, John [editor.] | Lavrač, Nada [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4723Source: 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): .
|
|
|
|
|
Algorithms – ESA 2007 [electronic resource] : 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007. Proceedings / edited by Lars Arge, Michael Hoffmann, Emo Welzl. by Arge, Lars [editor.] | Hoffmann, Michael [editor.] | Welzl, Emo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4698Source: 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): .
|
|
|
|
|
Analysis and Modeling of Faces and Gestures [electronic resource] : Third International Workshop, AMFG 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings / edited by S. Kevin Zhou, Wenyi Zhao, Xiaoou Tang, Shaogang Gong. by Zhou, S. Kevin [editor.] | Zhao, Wenyi [editor.] | Tang, Xiaoou [editor.] | Gong, Shaogang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4778Source: 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): .
|
|
|
|
|
|
|
|
|
|
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics [electronic resource] : Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings / edited by Thomas Stützle, Mauro Birattari, Holger H. Hoos. by Stützle, Thomas [editor.] | Birattari, Mauro [editor.] | Hoos, Holger H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5752Source: 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): .
|
|
|
|
|
|
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings / edited by Rachid Guerraoui, Franck Petit. by Guerraoui, Rachid [editor.] | Petit, Franck [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5873Source: 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): .
|
|
|
|
|
|
|
|
|
|
Intelligent Tutoring Systems [electronic resource] : 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part I / edited by Vincent Aleven, Judy Kay, Jack Mostow. by Aleven, Vincent [editor.] | Kay, Judy [editor.] | Mostow, Jack [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6094Source: 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): .
|
|
|
|
|
Text, Speech and Dialogue [electronic resource] : 13th International Conference, TSD 2010, Brno, Czech Republic, September 6-10, 2010. Proceedings / edited by Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala. by Sojka, Petr [editor.] | Horák, Aleš [editor.] | Kopeček, Ivan [editor.] | Pala, Karel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6231Source: 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): .
|
|
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6416Source: 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): .
|
|
|
|
|
Real and complex singularities : [electronic resource] XI International Workshop on Real and Complex Singularities, July 26-30, 2010, Universidade de S�ao Paulo, S�ao Carlos, SP Brazil / Victor Goryunov, Kevin Houston, Roberta Wik-Atique, editors. by International Workshop on Real and Complex Singularities (11th : 2010 : Universidade de S�ao Paulo) | Goryunov, Victor, 1955- | Houston, Kevin, 1968- | Wik-Atique, Roberta, 1964-. Series: Contemporary mathematics ; v. 569Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2012Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
New Trends in Image Analysis and Processing – ICIAP 2017 [electronic resource] : ICIAP International Workshops, WBICV, SSPandBE, 3AS, RGBD, NIVAR, IWBAAS, and MADiMa 2017, Catania, Italy, September 11-15, 2017, Revised Selected Papers / edited by Sebastiano Battiato, Giovanni Maria Farinella, Marco Leo, Giovanni Gallo. by Battiato, Sebastiano [editor.] | Farinella, Giovanni Maria [editor.] | Leo, Marco [editor.] | Gallo, Giovanni [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10590 | Lecture Notes in Computer Science ; 10590Edition: 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): .
|
|
|
|
|
Virtual Realities [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, Revised Selected Papers / edited by Guido Brunnett, Sabine Coquillart, Robert van Liere, Gregory Welch, Libor Váša. by Brunnett, Guido [editor.] | Coquillart, Sabine [editor.] | van Liere, Robert [editor.] | Welch, Gregory [editor.] | Váša, Libor [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8844 | Lecture Notes in Computer Science ; 8844Edition: 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): .
|
