Software Composition : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

フォーマット:

電子ブック

責任表示:

edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Alexandre Bergel, Johan Fabry

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

形態:

v.: digital

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 5634

書誌ID:

NB02220591

ISBN:

9783642026553 [3642026559]

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

子書誌情報

オンライン

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

所蔵情報

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

詳細

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

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Theory and Practice of Model Transformations : Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings Hutchison, David, Pandu Rangan, C., Paige, Richard F., Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, … Springer Berlin Heidelberg	7 電子ブック 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
2 電子ブック Integrated Formal Methods : 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009. Proceedings Hutchison, David, Pandu Rangan, C., Wehrheim, Heike, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, … Springer Berlin Heidelberg	8 電子ブック Requirements Engineering: Foundation for Software Quality : 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 … Hutchison, David, Terzopoulos, Demetri, Kanade, Takeo, Heymans, Patrick, Glinz, Martin, Weikum, Gerhard, Vardi, Moshe … Springer Berlin Heidelberg
3 電子ブック Programming Languages and Systems : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of … Hutchison, David, Naor, Moni, Steffen, Bernhard, Nierstrasz, Oscar, Weikum, Gerhard, Mitchell, John C., Mattern, … Springer Berlin Heidelberg	9 電子ブック Rewriting Techniques and Applications : 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 Proceedings Hutchison, David, Mitchell, John C., Kittler, Josef, Weikum, Gerhard, Treinen, Ralf, Terzopoulos, Demetri, Vardi, Moshe … Springer Berlin Heidelberg
4 電子ブック Foundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on … Hutchison, David, Mattern, Friedemann, Alfaro, Luca, Kanade, Takeo, Kleinberg, Jon M., Mitchell, John C., Naor, Moni, … Springer Berlin Heidelberg	10 電子ブック Domain-Specific Languages : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings Hutchison, David, Pandu Rangan, C., Nierstrasz, Oscar, Naor, Moni, Mitchell, John C., Mattern, Friedemann, Kittler, … Springer Berlin Heidelberg
5 電子ブック Fundamental Approaches to Software Engineering : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice … Hutchison, David, Terzopoulos, Demetri, Chechik, Marsha, Wirsing, Martin, Weikum, Gerhard, Kanade, Takeo, Tygar, Doug, … Springer Berlin Heidelberg	11 電子ブック Tests and Proofs : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings Hutchison, David, Nierstrasz, Oscar, Dubois, Catherine, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, … Springer Berlin Heidelberg
6 電子ブック Compiler Construction : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, … Hutchison, David, Naor, Moni, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, Steffen, Bernhard, Weikum, Gerhard, … Springer Berlin Heidelberg	12 電子ブック 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