>> Google Books

Reliable Software Technologiey – Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings

フォーマット:
電子ブック
責任表示:
edited by Jorge Real, Tullio Vardanega
言語:
英語
出版情報:
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
形態:
v.: digital
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 6106
書誌ID:
NB02223801
ISBN:
9783642135507 [3642135501]  CiNii Books  Webcat Plus  Google Books
学内からのみアクセスすることができます。
子書誌情報
Loading
オンライン
http://dx.doi.org/10.1007/978-3-642-13550-7
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Reliable Software Technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. …

Romanovsky, Alexander, Vardanega, Tullio, SpringerLink (Online service)

Springer Berlin Heidelberg
7 電子ブック Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

Hutchison, David, Sudan, Madhu, Kittler, Josef, Alpuente, Maria, Kleinberg, Jon M., Kanade, Takeo, Mattern, Friedemann, …

Springer-Verlag
2 電子ブック Reliable Software Technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, …

Vardanega, Tullio, Wellings, Andy, SpringerLink (Online service)

Springer-Verlag GmbH.
8 電子ブック Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings

Apel, Sven, Jackson, Ethan, SpringerLink (Online service)

Springer-Verlag GmbH Berlin Heidelberg
3 電子ブック Reliable Software Technologies ?EAda-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. …

Kordon, Fabrice, Vardanega, Tullio, SpringerLink (Online service)

Springer-Verlag
9 電子ブック Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE …

Hatcliff, John, Zucca, Elena, SpringerLink (Online service)

IFIP International Federation for Information Processing
4 電子ブック Objects, Models, Components, Patterns : 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings

Vitek, Jan, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg
10 電子ブック Reliable Software Technologies ? Ada-Europe 2009 : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

Hutchison, David, Tygar, Doug, Kermarrec, Yvon, Kordon, Fabrice, Vardi, Moshe Y., Terzopoulos, Demetri, Sudan, Madhu, …

Springer Berlin Heidelberg
5 電子ブック Theory and Practice of Model Transformations : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

Tratt, Laurence, Gogolla, Martin, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg
11 電子ブック Practical Aspects of Declarative Languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings

Carro, Manuel, Pena, Ricardo, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg
6 電子ブック Modelling Foundations and Applications : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings

Kühne, Thomas, Selic, Bran, Gervais, Marie-Pierre, Terrier, François, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg
12 電子ブック Software Composition : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

Baudry, Benoît, Wohlstadter, Eric, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg