Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings

>> Google Books

Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings

フォーマット:

電子ブック

責任表示:

edited by Sven Apel, Ethan Jackson

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 6708

書誌ID:

NB02224664

ISBN:

9783642220456 [3642220452]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-642-22045-6

所蔵情報

タイトルが類似している資料

詳細

主題:	Computer Communication Networks; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering
分類・件名:	LCSH : Computer science LCSH : Computer Communication Networks LCSH : Software engineering LCSH : Logic design FREE : Computer Science FREE : Software Engineering FREE : Programming Techniques FREE : Logics and Meanings of Programs FREE : Programming Languages, Compilers, Interpreters FREE : Computer Communication Networks FREE : Mathematical Logic and Formal Languages
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Tests and Proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings Gogolla, Martin, Wolff, Burkhart, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg	7 電子ブック 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
2 電子ブック Objects, Models, Components, Patterns : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings Bishop, Judith, Vallecillo, Antonio, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg	8 電子ブック 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
3 電子ブック Software Composition : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings Hutchison, David, Sudan, Madhu, Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Kittler, Josef, … Springer Berlin Heidelberg	9 電子ブック Software Composition : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings Pautasso, Cesare, Tanter, Eric, SpringerLink (Online service) Springer-Verlag
4 電子ブック Theory and Practice of Model Transformations : 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings Cabot, Jordi, Visser, Eelco, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg	10 電子ブック 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
5 電子ブック Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE … Bruni, Roberto, Dingel, Juergen, SpringerLink (Online service) Springer Berlin Heidelberg	11 電子ブック Testing Software and Systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings Wolff, Burkhart, Zaïdi, Fatiha, SpringerLink (Online service) IFIP International Federation for Information Processing
6 電子ブック 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	12 電子ブック 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