|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 26th International Colloquium, ICALP’99 Prague, Czech Republic, July 11–15, 1999 Proceedings / edited by Jiří Wiedermann, Peter Emde Boas, Mogens Nielsen. by Wiedermann, Jiří [editor.] | Emde Boas, Peter [editor.] | Nielsen, Mogens [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1644Source: 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): .
|
|
|
|
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck. by Logozzo, Francesco [editor.] | Peled, Doron A [editor.] | Zuck, Lenore D [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4905Source: 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): .
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Stefan Kowalewski, Anna Philippou. by Kowalewski, Stefan [editor.] | Philippou, Anna [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5505Source: 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): .
|
|
|
|
|
|
|
|
|
|
Swarm Intelligence [electronic resource] : 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012. Proceedings / edited by Marco Dorigo, Mauro Birattari, Christian Blum, Anders Lyhne Christensen, Andries P. Engelbrecht, Roderich Groß, Thomas Stützle. by Dorigo, Marco [editor.] | Birattari, Mauro [editor.] | Blum, Christian [editor.] | Christensen, Anders Lyhne [editor.] | Engelbrecht, Andries P [editor.] | Groß, Roderich [editor.] | Stützle, Thomas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7461Source: 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): .
|
|
|
|
|
Runtime Verification [electronic resource] : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran. by Qadeer, Shaz [editor.] | Tasiran, Serdar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7687Source: 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): .
|
|
|
|
|
Information Hiding [electronic resource] : 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers / edited by Matthias Kirchner, Dipak Ghosal. by Kirchner, Matthias [editor.] | Ghosal, Dipak [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7692Source: 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): .
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Vittorio Cortellessa, Dániel Varró. by Cortellessa, Vittorio [editor.] | Varró, Dániel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7793Source: 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): .
|
|
|
|
|
Security and Trust Management [electronic resource] : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings / edited by Rafael Accorsi, Silvio Ranise. by Accorsi, Rafael [editor.] | Ranise, Silvio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8203Source: 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): .
|
|
|
|
|
Recent advances in harmonic analysis and partial differential equations : [electronic resource] AMS special sessions, March 12-13, 2011, Statesboro, Georgia : the JAMI Conference, March 21-25, 2011, Baltimore, Maryland / Andrea R. Nahmod, Christopher D. Sogge, Xiaoyi Zhang, Shijun Zheng, editors. by Nahmod, Andrea R, 1964- [editor of compilation.] | American Mathematical Society [sponsoring body.] | JAMI Conference (2011 : Baltimore, Md.). Series: Contemporary mathematics ; v. 581Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2012]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Operator methods in wavelets, tilings, and frames / [electronic resource] Veronika Furst, Keri A. Kornelson, Eric S. Weber, editors. by Furst, Veronika, 1979- [editor of compilation.] | Kornelson, Keri A, 1967- [editor of compilation.] | Weber, Eric S, 1972- [editor of compilation.]. Series: Contemporary mathematics ; v. 626Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2014]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Simulation and Synthesis in Medical Imaging [electronic resource] : Second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings / edited by Sotirios A. Tsaftaris, Ali Gooya, Alejandro F. Frangi, Jerry L. Prince. by Tsaftaris, Sotirios A [editor.] | Gooya, Ali [editor.] | Frangi, Alejandro F [editor.] | Prince, Jerry L [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10557 | Lecture Notes in Computer Science ; 10557Edition: 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): .
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings / edited by Ahmed Bouajjani, David Monniaux. by Bouajjani, Ahmed [editor.] | Monniaux, David [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10145 | Lecture Notes in Computer Science ; 10145Edition: 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): .
|
|
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9890 | Lecture Notes in Computer Science ; 9890Edition: 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): .
|
|
|
|
|
Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part III / edited by Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung. by Huang, Tingwen [editor.] | Zeng, Zhigang [editor.] | Li, Chuandong [editor.] | Leung, Chi Sing [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7665Source: 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): .
|
|
|
|
|
Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis [electronic resource] : ECCV 2004 Workshops CVAMIA and MMBIA, Prague, Czech Republic, May 15, 2004, Revised Selected Papers / edited by Milan Sonka, Ioannis A. Kakadiaris, Jan Kybic. by Sonka, Milan [editor.] | Kakadiaris, Ioannis A [editor.] | Kybic, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3117Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
