|
|
|
|
|
|
|
|
|
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference Bangalore, India, December 13–15, 2001 Proceedings / edited by Ramesh Hariharan, V. Vinay, Madhavan Mukund. by Ramesh Hariharan | Hariharan, Ramesh | Vinay, V | Mukund, Madhavan. Series: Material type:  Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS.
|
|
|
|
|
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings / edited by Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner. by Anna Frid | Frid, Anna | Morozov, Andrey | Rybalchenko, Andrey | Wagner, Klaus W. Series: Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.
|
|
|
|
|
Theory and Practice of Model Transformation [electronic resource] : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings / edited by Esther Guerra, Mark van den Brand. by Guerra, Esther [editor.] | van den Brand, Mark [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10374 | Lecture Notes in Computer Science ; 10374Edition: 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): .
|
|
|
|
|
Engineering Secure Software and Systems [electronic resource] : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings / edited by Eric Bodden, Mathias Payer, Elias Athanasopoulos. by Bodden, Eric [editor.] | Payer, Mathias [editor.] | Athanasopoulos, Elias [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10379 | Lecture Notes in Computer Science ; 10379Edition: 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): .
|
