|
|
|
|
CONCUR '90 Theories of Concurrency: Unification and Extension [electronic resource] : Amsterdam, The Netherlands, August 27–30, 1990 Proceedings / edited by J. C. M. Baeten, J. W. Klop. by Baeten, J. C. M [editor.] | Klop, J. W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 458Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Other title: Amsterdam, The Netherlands, August 27-30, 1990. Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23–25, 2000 Proceedings / edited by Nancy Lynch, Bruce H. Krogh. by Lynch, Nancy [editor.] | Krogh, Bruce H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1790Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Concurrency: Theory, Language, and Architecture [electronic resource] : UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings / edited by Akinori Yonezawa, Takayasu Ito. by Yonezawa, Akinori [editor.] | Ito, Takayasu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 491Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Other title: Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mathematical Foundations of Programming Semantics [electronic resource] : 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 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 ; 598Source: 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): .
|
|
|
|
|
Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings / edited by D. Dolev, Z. Galil, M. Rodeh. by Dolev, D [editor.] | Galil, Z [editor.] | Rodeh, M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 601Source: 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): .
|
|
|
|
|
Real-Time: Theory in Practice [electronic resource] : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings / edited by J. W. Bakker, C. Huizing, W. P. Roever, G. Rozenberg. by Bakker, J. W [editor.] | Huizing, C [editor.] | Roever, W. P [editor.] | Rozenberg, G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 600Source: 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): .
|
|
|
|
|
Combinators and Functional Programming Languages [electronic resource] : Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings / edited by Guy Cousineau, Pierre-Louis Curien, Bernard Robinet. by Cousineau, Guy [editor.] | Curien, Pierre-Louis [editor.] | Robinet, Bernard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 242Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Science Logic [electronic resource] : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter. by Börger, Egon [editor.] | Jäger, Gerhard [editor.] | Kleine Büning, Hans [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 626Source: 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): .
|
