|
|
|
|
Mathematical Foundations of Programming Semantics [electronic resource] : 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt. by Brookes, Stephen [editor.] | Main, Michael [editor.] | Melton, Austin [editor.] | Mislove, Michael [editor.] | Schmidt, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 802Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Results and Trends in Theoretical Computer Science [electronic resource] : Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings / edited by Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg. by Karhumäki, Juliani [editor.] | Maurer, Hermann [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 812Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings / edited by Serge Abiteboul, Eli Shamir. by Abiteboul, Serge [editor.] | Shamir, Eli [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 820Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Entity-Relationship Approach — ER '93 [electronic resource] : 12th International Conference on the Entity-Relationship Approach Arlington, Texas, USA, December 15–17, 1993 Proceedings / edited by Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim. by Elmasri, Ramez A [editor.] | Kouramajian, Vram [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 823Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Science Logic [electronic resource] : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers / edited by Egon Börger, Yuri Gurevich, Karl Meinke. by Börger, Egon [editor.] | Gurevich, Yuri [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 832Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Mathematical Foundations of Computer Science 1994 [electronic resource] : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings / edited by Igor Prívara, Branislav Rovan, Peter Ruzička. by Prívara, Igor [editor.] | Rovan, Branislav [editor.] | Ruzička, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 841Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2006 [electronic resource] : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings / edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone. by Barkaoui, Kamel [editor.] | Cavalcanti, Ana [editor.] | Cerone, Antonio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4281Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
TAPSOFT '95: Theory and Practice of Software Development [electronic resource] : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings / edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach. by Mosses, Peter D [editor.] | Nielsen, Mogens [editor.] | Schwartzbach, Michael I [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 915Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
