|
|
|
|
|
|
|
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): .
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann. by Halldórsson, Magnús M [editor.] | Iwama, Kazuo [editor.] | Kobayashi, Naoki [editor.] | Speckmann, Bettina [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9135 | Lecture Notes in Computer Science ; 9135Edition: 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): .
|
|
|
|
|
|
|
|
Formal Methods and Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher. by Ehrig, Hartmut [editor.] | Floyd, Christiane [editor.] | Nivat, Maurice [editor.] | Thatcher, James [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 186Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Parallel Image Analysis [electronic resource] : Second International Conference, ICPIA '92 Ube, Japan, December 21–23, 1992 Proceedings / edited by Akira Nakamura, Maurice Nivat, Ahmed Saoudi, Patrick S. P. Wang, Katsushi Inoue. by Nakamura, Akira [editor.] | Nivat, Maurice [editor.] | Saoudi, Ahmed [editor.] | Wang, Patrick S. P [editor.] | Inoue, Katsushi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 654Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|