|
|
|
|
Formal Concept Analysis [electronic resource] : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / edited by Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego. by Baixeries, Jaume [editor.] | Sacarea, Christian [editor.] | Ojeda-Aciego, Manuel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9113 | Lecture Notes in Computer Science ; 9113Edition: 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): .
|
|
|
|
|
Algorithms - ESA 2015 [electronic resource] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / edited by Nikhil Bansal, Irene Finocchi. by Bansal, Nikhil [editor.] | Finocchi, Irene [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9294 | Lecture Notes in Computer Science ; 9294Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings / edited by Peter Höfner, Damien Pous, Georg Struth. by Höfner, Peter [editor.] | Pous, Damien [editor.] | Struth, Georg [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10226 | Lecture Notes in Computer Science ; 10226Edition: 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): .
|
|
|
|
|
Algorithmic Aspects of Cloud Computing [electronic resource] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos. by Karydis, Ioannis [editor.] | Sioutas, Spyros [editor.] | Triantafillou, Peter [editor.] | Tsoumakos, Dimitrios [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9511 | Lecture Notes in Computer Science ; 9511Edition: 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): .
|
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine. by Lanese, Ivan [editor.] | Madelaine, Eric [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 8997 | Lecture Notes in Computer Science ; 8997Edition: 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): .
|
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet. by Braga, Christiano [editor.] | Martí-Oliet, Narciso [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 8941 | Lecture Notes in Computer Science ; 8941Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings / edited by Marcello Balduccini, Tomi Janhunen. by Balduccini, Marcello [editor.] | Janhunen, Tomi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10377 | Lecture Notes in Computer Science ; 10377Edition: 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): .
|
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski. by Calimeri, Francesco [editor.] | Ianni, Giovambattista [editor.] | Truszczynski, Miroslaw [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9345 | Lecture Notes in Computer Science ; 9345Edition: 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): .
|
|
|
|
|
Automated Deduction in Geometry [electronic resource] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / edited by Francisco Botana, Pedro Quaresma. by Botana, Francisco [editor.] | Quaresma, Pedro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9201 | Lecture Notes in Computer Science ; 9201Edition: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / edited by Martin Fränzle, Deepak Kapur, Naijun Zhan. by Fränzle, Martin [editor.] | Kapur, Deepak [editor.] | Zhan, Naijun [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9984 | Lecture Notes in Computer Science ; 9984Edition: 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): .
|
|
|
|
|
Handbook of Model Checking by Clarke, Edmund M | Bloem, Roderick | Henzinger, Thomas A | Veith, Helmut. Edition: 1st ed. 2018.Material type: Text;Language: English; Literary form:
Not fiction
Language: English Publication details: Switzerland Springer Nature 2018Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 CLA.
|
