|
|
|
Software Security — Theories and Systems [electronic resource] : Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers / edited by Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa. by Okada, Mitsuhiro [editor.] | Pierce, Benjamin C [editor.] | Scedrov, Andre [editor.] | Tokuda, Hideyuki [editor.] | Yonezawa, Akinori [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2609Source: 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): .
|
|
|
|
RIMS Symposia on Software Science and Engineering [electronic resource] : Kyoto, 1982 Proceedings / edited by Eiichi Goto, Koichi Furukawa, Reiji Nakajima, Ikuo Nakata, Akinori Yonezawa. by Goto, Eiichi [editor.] | Furukawa, Koichi [editor.] | Nakajima, Reiji [editor.] | Nakata, Ikuo [editor.] | Yonezawa, Akinori [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 147Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Object-Based Models and Languages for Concurrent Systems [electronic resource] : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution Bologna, Italy, July 5, 1994 Proceedings / edited by Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa. by Ciancarini, Paolo [editor.] | Nierstrasz, Oscar [editor.] | Yonezawa, Akinori [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 924Source: 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): .
|
|
|
|
Object-Based Parallel and Distributed Computation [electronic resource] : France-Japan Workshop, OBPDC '95 Tokyo, Japan, June 21–23, 1995 Selected Papers / edited by Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa. by Briot, Jean-Pierre [editor.] | Geib, Jean-Marc [editor.] | Yonezawa, Akinori [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1107Source: 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): .
|