|
|
|
|
Model-Based Safety and Assessment [electronic resource] : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings / edited by Marco Bozzano, Yiannis Papadopoulos. by Bozzano, Marco [editor.] | Papadopoulos, Yiannis [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10437 | Lecture Notes in Computer Science ; 10437Edition: 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): .
|
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings / edited by T.V. Gopal, Gerhard Jäger, Silvia Steila. by Gopal, T.V [editor.] | Jäger, Gerhard [editor.] | Steila, Silvia [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10185 | Lecture Notes in Computer Science ; 10185Edition: 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): .
|
|
|
|
|
Mathematical Foundations of Computer Science 2015 [electronic resource] : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II / edited by Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella. by Italiano, Giuseppe F [editor.] | Pighizzini, Giovanni [editor.] | Sannella, Donald T [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9235 | Lecture Notes in Computer Science ; 9235Edition: 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): .
|
|
|
|
|
KI 2017: Advances in Artificial Intelligence [electronic resource] : 40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings / edited by Gabriele Kern-Isberner, Johannes Fürnkranz, Matthias Thimm. by Kern-Isberner, Gabriele [editor.] | Fürnkranz, Johannes [editor.] | Thimm, Matthias [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10505 | Lecture Notes in Computer Science ; 10505Edition: 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): .
|
|
|
|
|
Evolving Computability [electronic resource] : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings / edited by Arnold Beckmann, Victor Mitrana, Mariya Soskova. by Beckmann, Arnold [editor.] | Mitrana, Victor [editor.] | Soskova, Mariya [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9136 | Lecture Notes in Computer Science ; 9136Edition: 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): .
|
|
|
|
|
Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / edited by Swarat Chaudhuri, Azadeh Farzan. by Chaudhuri, Swarat [editor.] | Farzan, Azadeh [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9780 | Lecture Notes in Computer Science ; 9780Edition: 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): .
|
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa. by Kohlhase, Michael [editor.] | Johansson, Moa [editor.] | Miller, Bruce [editor.] | de Moura, Leonardo [editor.] | Tompa, Frank [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9791 | Lecture Notes in Computer Science ; 9791Edition: 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): .
|
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers / edited by Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki. by Murata, Tsuyoshi [editor.] | Mineshima, Koji [editor.] | Bekki, Daisuke [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9067 | Lecture Notes in Computer Science ; 9067Edition: 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): .
|
|
|
|
|
Semantic Keyword-Based Search on Structured Data Sources [electronic resource] : COST Action IC1302 Second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8–9, 2016, Revised Selected Papers / edited by Andrea Calì, Dorian Gorgan, Martín Ugarte. by Calì, Andrea [editor.] | Gorgan, Dorian [editor.] | Ugarte, Martín [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10151 | Lecture Notes in Computer Science ; 10151Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Static Analysis [electronic resource] : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / edited by Sandrine Blazy, Thomas Jensen. by Blazy, Sandrine [editor.] | Jensen, Thomas [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9291 | Lecture Notes in Computer Science ; 9291Edition: 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): .
|
|
|
|
|
Agents and Artificial Intelligence [electronic resource] : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers / edited by Jaap van den Herik, Joaquim Filipe. by van den Herik, Jaap [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10162 | Lecture Notes in Computer Science ; 10162Edition: 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): .
|
|
|
|
|
AI 2015: Advances in Artificial Intelligence [electronic resource] : 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings / edited by Bernhard Pfahringer, Jochen Renz. by Pfahringer, Bernhard [editor.] | Renz, Jochen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9457 | Lecture Notes in Computer Science ; 9457Edition: 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): .
|
|
|
|
|
Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / edited by Swarat Chaudhuri, Azadeh Farzan. by Chaudhuri, Swarat [editor.] | Farzan, Azadeh [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9779 | Lecture Notes in Computer Science ; 9779Edition: 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 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): .
|
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / edited by Carlos Canal, Akram Idani. by Canal, Carlos [editor.] | Idani, Akram [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 8938 | Lecture Notes in Computer Science ; 8938Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Chinese Lexical Semantics [electronic resource] : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revised Selected Papers / edited by Minghui Dong, Jingxia Lin, Xuri Tang. by Dong, Minghui [editor.] | Lin, Jingxia [editor.] | Tang, Xuri [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10085 | Lecture Notes in Computer Science ; 10085Edition: 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): .
|
|
|
|
|
Knowledge Engineering and Knowledge Management [electronic resource] : EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19–23, 2016, Revised Selected Papers / edited by Paolo Ciancarini, Francesco Poggi, Matthew Horridge, Jun Zhao, Tudor Groza, Mari Carmen Suarez-Figueroa, Mathieu d'Aquin, Valentina Presutti. by Ciancarini, Paolo [editor.] | Poggi, Francesco [editor.] | Horridge, Matthew [editor.] | Zhao, Jun [editor.] | Groza, Tudor [editor.] | Suarez-Figueroa, Mari Carmen [editor.] | d'Aquin, Mathieu [editor.] | Presutti, Valentina [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10180 | Lecture Notes in Computer Science ; 10180Edition: 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, Rationality, and Interaction [electronic resource] : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings / edited by Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada. by Baltag, Alexandru [editor.] | Seligman, Jeremy [editor.] | Yamada, Tomoyuki [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10455 | Lecture Notes in Computer Science ; 10455Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
