|
|
|
|
|
|
|
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings / edited by Elie Najm, Uwe Nestmann, Perdita Stevens. by Najm, Elie [editor.] | Nestmann, Uwe [editor.] | Stevens, Perdita [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2884Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems [electronic resource] : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003. Revised Papers / edited by Corrado Priami. by Priami, Corrado [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2874Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
CONCUR 2002 — Concurrency Theory [electronic resource] : 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings / edited by Luboš Brim, Mojmír Křetínský, Antonín Kučera, Petr Jančar. by Brim, Luboš [editor.] | Křetínský, Mojmír [editor.] | Kučera, Antonín [editor.] | Jančar, Petr [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2421Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness [electronic resource] : REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg. by Bakker, J. W [editor.] | Roever, W. -P [editor.] | Rozenberg, G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 430Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Internet Programming Languages [electronic resource] : ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings / edited by Henri E. Bal, Boumediene Belkhouche, Luca Cardelli. by Bal, Henri E [editor.] | Belkhouche, Boumediene [editor.] | Cardelli, Luca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1686Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Concurrency and Parallelism, Programming, Networking, and Security [electronic resource] : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings / edited by Joxan Jaffar, Roland H. C. Yap. by Jaffar, Joxan [editor.] | Yap, Roland H. C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1179Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|