|
|
|
|
|
|
|
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVII [electronic resource] : Selected Papers from DaWaK 2013 / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Ladjel Bellatreche, Mukesh Mohania. by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [editor.] | Bellatreche, Ladjel [editor.] | Mohania, Mukesh [editor.] | SpringerLink (Online service). Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 8970 | Lecture Notes in Computer Science ; 8970Edition: 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): .
|
|
|
|
Programming Languages and Systems [electronic resource] : 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Jan Vitek. by Vitek, Jan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9032 | Lecture Notes in Computer Science ; 9032Edition: 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): .
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Bart Jacobs, Christof Löding. by Jacobs, Bart [editor.] | Löding, Christof [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9634 | Lecture Notes in Computer Science ; 9634Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings / edited by Juliette Kennedy, Ruy J.G.B. de Queiroz. by Kennedy, Juliette [editor.] | de Queiroz, Ruy J.G.B [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10388 | Lecture Notes in Computer Science ; 10388Edition: 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): .
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings / edited by Ralf Klasing, Marc Zeitoun. by Klasing, Ralf [editor.] | Zeitoun, Marc [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10472 | Lecture Notes in Computer Science ; 10472Edition: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|