>> Google Books

Trustworthy Global Computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

フォーマット:
電子ブック
責任表示:
edited by Rocco De Nicola, Davide Sangiorgi
言語:
英語
出版情報:
Berlin Heidelberg : Springer-Verlag GmbH., 2005
形態:
v.: digital
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 3705
書誌ID:
NB02218025
ISBN:
9783540314837 [3540314830]  CiNii Books  Webcat Plus  Google Books
学内からのみアクセスすることができます。
子書誌情報
Loading
オンライン
http://dx.doi.org/10.1007/11580850
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

Barthe, Gilles, Fournet, Cedric, SpringerLink (Online service)

Springer-Verlag
7 電子ブック Multiparadigm Programming in Mozart : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers

Van Roy, Peter, SpringerLink (Online service)

Springer-Verlag GmbH.
2 電子ブック Trustworthy Global Computing : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Hutchison, David, Mattern, Friedemann, Weikum, Gerhard, Nielson, Flemming, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, …

Springer Berlin Heidelberg
8 電子ブック Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected …

Meyer, Bertrand, Woodcock, Jim, SpringerLink (Online service)

Springer-Verlag
3 電子ブック Software Composition (vol. # 3628) : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers

Assmann, Uwe, Nierstrasz, Oscar, Gschwind, Thomas, SpringerLink (Online service)

Springer-Verlag GmbH.
9 電子ブック Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Boer, Frank S., Bonsangue, Marcello M., Hallerstede, Stefan, Leuschel, Michael, SpringerLink (Online service)

Springer Berlin Heidelberg
4 電子ブック Trustworthy Global Computing : Second Symposium TGC 2006 Lucca Italy November 7-92006 Revised Selected Papers

Montanari Ugo, Sannella Donald, Bruni Roberto, SpringerLink (Online service)

Springer-Verlag
10 電子ブック Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, …

Steffen, Martin, Zavattaro, Gianluigi, SpringerLink (Online service)

Springer Science+Business Media, Inc.
5 電子ブック Global Computing : IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers

Priami, Corrado, Quaglia, Paola, SpringerLink (Online service)

Springer-Verlag GmbH.
11 電子ブック Agent-Oriented Software Engineering IX : 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers

Hutchison, David, Kittler, Josef, Steffen, Bernhard, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Gomez-Sanz, Jorge …

Springer Berlin Heidelberg
6 電子ブック Architecting Systems with Trustworthy Components : International Seminar Dagstuhl Castle Germany December 12-17 2004. Revised Selected Papers

Reussner Ralf H., Szyperski Clemens A., Stafford Judith A., SpringerLink (Online service)

Springer-Verlag GmbH.
12 電子ブック Coordination, Organizations, Institutions, and Norms in Agent Systems III : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 …

Sichman, Jaime Simao, Ossowski, Sascha, Noriega, Pablo, Padget, Julian, SpringerLink (Online service)

Springer-Verlag