close
1.

電子ブック
ＥＢ
1. Coordination Models and Languages
COORDINATIONS 2005, Jean-Marie Jacquet, Takeo Kanade, Gian Pietro Picco, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Coordination Models and Languages
Paolo Ciancarini, Takeo Kanade, Herbert Wiklicky, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Coordination Models and Languages
Doug Lea, Takeo Kanade, Douglas Lea, Gianluigi Zavattaro, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Coordination Models and Languages
John Field, Takeo Kanade, Vasco T. Vasconcelos, Josef Kittler, Vasco Thudichum Vasconcelos
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Coordination Models and Languages
Wolfgang Meuter, Takeo Kanade, Gruia-Catalin Roman, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Fault in the Future / Einar Broch Johnsen ; Ivan Lanese ; Gianluigi Zavattaro
Revisiting Glue Expressiveness in Component-Based Systems / Cinzia Di Giusto ; Jean-Bernard Stefani
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models / Sung-Shik T.Q. Jongmans ; Christian Krause ; Farhad Arbab
The Context of Coordinating Groups in Dynamic Mobile Networks / Christine Julien
CSP as a Coordination Language / Moritz Kleine
An Efficient Management of Correlation Sets with Broadcast / Jacopo Mauro ; Maurizio Gabbrielli ; Claudio Guidi ; Fabrizio Montesi
Session Typing for a Featherweight Erlang / Dimitris Mostrous ; Vasco T. Vasconcelos
Safe Parallel Programming with Session Java / Nicholas Ng ; Nobuko Yoshida ; Olivier Pernet ; Raymond Hu ; Yiannos Kryftis
Fair Subtyping for Multi-party Session Types / Luca Padovani
Enabling Cross-Technology Mobile Applications with Network-Aware References / Kevin Pinte ; Dries Harnie ; Theo D 'Hondt
Coordination and Concurrency in Multi-engine Prolog / Paul Tarau
Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks / Seiji Umatani ; Masahiro Yasugi ; Taiichi Yuasa
Simulation-Based Performance Analysis of Channel-Based Coordination Models / C. Verhoef ; C. Krause ; O. Kanters ; R. van der Mei
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces / Fan Yang ; Tomoyuki Aotani ; Hidehiko Masuhara ; Flemming Nielson ; Hanne Riis Nielson
Author Index
Fault in the Future / Einar Broch Johnsen ; Ivan Lanese ; Gianluigi Zavattaro
Revisiting Glue Expressiveness in Component-Based Systems / Cinzia Di Giusto ; Jean-Bernard Stefani
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models / Sung-Shik T.Q. Jongmans ; Christian Krause ; Farhad Arbab
6.

電子ブック
ＥＢ
6. Coordination Models and Languages
David Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Data Engineering and Management
David Hutchison, Takeo Kanade, Frederic Andres, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Distributed Applications and Interoperable Systems
IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems, Nancy Alonistioti, Takeo Kanade, Lea Kutvonen, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Distributed Applications and Interoperable Systems
Frank Eliassen, Takeo Kanade, Alberto Montresor, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Domain-Specific Languages
Walid Mohamed Taha, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼