|
|
|
|
Logic Programs, Norms and Action [electronic resource] : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday / edited by Alexander Artikis, Robert Craven, Nihan Kesim Çiçekli, Babak Sadighi, Kostas Stathis. by Artikis, Alexander [editor.] | Craven, Robert [editor.] | Kesim Çiçekli, Nihan [editor.] | Sadighi, Babak [editor.] | Stathis, Kostas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7360Source: 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): .
|
|
|
|
|
Logics in Artificial Intelligence [electronic resource] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings / edited by Luis Fariñas Cerro, Andreas Herzig, Jérôme Mengin. by Cerro, Luis Fariñas [editor.] | Herzig, Andreas [editor.] | Mengin, Jérôme [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7519Source: 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): .
|
|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling. by Galmiche, Didier [editor.] | Larchey-Wendling, Dominique [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8123Source: 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): .
|
|
|
|
|
Modeling and Using Context [electronic resource] : 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings / edited by Patrick Brézillon, Patrick Blackburn, Richard Dapoigny. by Brézillon, Patrick [editor.] | Blackburn, Patrick [editor.] | Dapoigny, Richard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8175Source: 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): .
|
|
|
|
|
The Semantic Web – ISWC 2013 [electronic resource] : 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II / edited by Harith Alani, Lalana Kagal, Achille Fokoue, Paul Groth, Chris Biemann, Josiane Xavier Parreira, Lora Aroyo, Natasha Noy, Chris Welty, Krzysztof Janowicz. by Alani, Harith [editor.] | Kagal, Lalana [editor.] | Fokoue, Achille [editor.] | Groth, Paul [editor.] | Biemann, Chris [editor.] | Parreira, Josiane Xavier [editor.] | Aroyo, Lora [editor.] | Noy, Natasha [editor.] | Welty, Chris [editor.] | Janowicz, Krzysztof [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8219Source: 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): .
|
|
|
|
|
Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings / edited by Patrice Perny, Marc Pirlot, Alexis Tsoukiàs. by Perny, Patrice [editor.] | Pirlot, Marc [editor.] | Tsoukiàs, Alexis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8176Source: 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): .
|
|
|
|
|
Advances in contemporary logic and computer science : [electronic resource] proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. by Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil) | Carnielli, Walter A. (Walter Alexandre) | D'Ottaviano, Itala M. L, 1944-. Series: Contemporary mathematics (American Mathematical Society) ; v. 235.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, RI : American Mathematical Society, 1999Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Social, Cultural, and Behavioral Modeling [electronic resource] : 9th International Conference, SBP-BRiMS 2016, Washington, DC, USA, June 28 - July 1, 2016, Proceedings / edited by Kevin S. Xu, David Reitter, Dongwon Lee, Nathaniel Osgood. by Xu, Kevin S [editor.] | Reitter, David [editor.] | Lee, Dongwon [editor.] | Osgood, Nathaniel [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9708 | Lecture Notes in Computer Science ; 9708Edition: 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): .
|
|
|
|
|
Service-Oriented and Cloud Computing [electronic resource] : 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings / edited by Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski. by Aiello, Marco [editor.] | Johnsen, Einar Broch [editor.] | Dustdar, Schahram [editor.] | Georgievski, Ilche [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9846 | Lecture Notes in Computer Science ; 9846Edition: 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): .
|
|
|
|
|
The Semantic Web - ISWC 2015 [electronic resource] : 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II / edited by Marcelo Arenas, Oscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d'Aquin, Kavitha Srinivas, Paul Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, Steffen Staab. by Arenas, Marcelo [editor.] | Corcho, Oscar [editor.] | Simperl, Elena [editor.] | Strohmaier, Markus [editor.] | d'Aquin, Mathieu [editor.] | Srinivas, Kavitha [editor.] | Groth, Paul [editor.] | Dumontier, Michel [editor.] | Heflin, Jeff [editor.] | Thirunarayan, Krishnaprasad [editor.] | Staab, Steffen [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9367 | Lecture Notes in Computer Science ; 9367Edition: 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): .
|
|
|
|
|
Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications [electronic resource] : 5th International Symposium, CompIMAGE 2016, Niagara Falls, NY, USA, September 21-23, 2016, Revised Selected Papers / edited by Reneta P. Barneva, Valentin E. Brimkov, João Manuel R.S. Tavares. by Barneva, Reneta P [editor.] | Brimkov, Valentin E [editor.] | Tavares, João Manuel R.S [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10149 | Lecture Notes in Computer Science ; 10149Edition: 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 Science – Theory and Applications [electronic resource] : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings / edited by Alexander S. Kulikov, Gerhard J. Woeginger. by Kulikov, Alexander S [editor.] | Woeginger, Gerhard J [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9691 | Lecture Notes in Computer Science ; 9691Edition: 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): .
|
|
|
|
|
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu. by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9206 | Lecture Notes in Computer Science ; 9206Edition: 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): .
|
|
|
|
|
Interactive Theorem Proving [electronic resource] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / edited by Christian Urban, Xingyuan Zhang. by Urban, Christian [editor.] | Zhang, Xingyuan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9236 | Lecture Notes in Computer Science ; 9236Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Models, Algorithms, Logics and Tools [electronic resource] : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday / edited by Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare. by Aceto, Luca [editor.] | Bacci, Giorgio [editor.] | Bacci, Giovanni [editor.] | Ingólfsdóttir, Anna [editor.] | Legay, Axel [editor.] | Mardare, Radu [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10460 | Lecture Notes in Computer Science ; 10460Edition: 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 Methods: Foundations and Applications [electronic resource] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / edited by Márcio Cornélio, Bill Roscoe. by Cornélio, Márcio [editor.] | Roscoe, Bill [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9526 | Lecture Notes in Computer Science ; 9526Edition: 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): .
|
|
|
|
|
Topology An Invitation by Parthasarathy, K. Series: Unitext ; 134;Language: English Language: English Publication details: Singapore Springer 2022Availability: Items available for loan: IMSc Library (2). Location(s): First Floor Rack No:31 Shelf No:25 Call number: 515.1 PAR.
|
|
|
|
|
Topology An Invitation by Parthasarathy, K. Series: Unitext ; 134Edition: Indian Edition;Language: English Language: English Publication details: Singapore Springer 2024Availability: Items available for loan: IMSc Library (2). Location(s): Multiple Copies Section Call number: 515.1 PAR.
|
|
|
|
|
Theories of History : History Read across the Humanities by Kelly, Michael J. (Ed.) | Rose, Arthur (Ed.). ;Language: English Language: English Publication details: London Bloomsburry Publishing 2018Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:60 Shelf No:6 Call number: 930 KEL.
|
