Component-Based Software Engineering : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 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, Grace A. Lewis, Iman Poernomo, Christine Hofmeister

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5582

書誌ID:

NB02220575

ISBN:

9783642024146 [3642024149]

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

子書誌情報

オンライン

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

所蔵情報

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

詳細

主題:	Computer Science; Logics and Meanings of Programs; Models and Principles; Performance and Reliability; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering
分類・件名:	FREE : Programming Languages, Compilers, Interpreters FREE : Software Engineering FREE : Models and Principles FREE : Performance and Reliability FREE : Programming Techniques LCSH : Logic design LCSH : Operating systems (Computers) LCSH : Software engineering LCSH : Computer science FREE : Computer Science FREE : Logics and Meanings of Programs
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Component-Based Software Engineering : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings Hutchison, David, Nierstrasz, Oscar, Reussner, Ralf, Kittler, Josef, Mattern, Friedemann, Mitchell, John C., Vardi, … Springer	7 電子ブック Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings Hutchison, David, Tygar, Doug, Pandu Rangan, C., Jard, Claude, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., … Springer-Verlag
2 電子ブック Architectures for Adaptive Software Systems : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June … Hutchison, David, Kleinberg, Jon M., Kittler, Josef, Weikum, Gerhard, Kanade, Takeo, Mattern, Friedemann, Naor, Moni, … Springer Berlin Heidelberg	8 電子ブック Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings Hutchison, David, Kleinberg, Jon M., Kanade, Takeo, Shankar, Natarajan, Kittler, Josef, Steffen, Bernhard, Terzopoulos, … Springer-Verlag
3 電子ブック 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	9 電子ブック Languages and Compilers for Parallel Computing : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers Hutchison, David, Kanade, Takeo, Amaral, Jose Nelson, Terzopoulos, Demetri, Kleinberg, Jon M., Mitchell, John C., Naor, … Springer
4 電子ブック 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	10 電子ブック Languages and Compilers for Parallel Computing : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers Hutchison, David, Steffen, Bernhard, Petersen, Paul, Kittler, Josef, Pandu Rangan, C., Kleinberg, Jon M., Garzaran, … Springer-Verlag
5 電子ブック Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers Hutchison, David, Mitchell, John C., Nierstrasz, Oscar, Kittler, Josef, Kleinberg, Jon M., Tygar, Doug, Mattern, … Springer	11 電子ブック Conceptual Modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings Hutchison, David, Kittler, Josef, Spaccapietra, Stefano, Yu, Eric, Mattern, Friedemann, Mitchell, John C., Naor, Moni, … Springer
6 電子ブック Object-Oriented Technology. ECOOP 2008 Workshop Reader : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports Hutchison, David, Naor, Moni, Vardi, Moshe Y., Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Tygar, Doug, Weikum, … Springer Berlin Heidelberg	12 電子ブック Software Architecture : Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings Hutchison, David, Steffen, Bernhard, Balasubramaniam, Dharini, Tygar, Doug, Vardi, Moshe Y., Pandu Rangan, C., Falkner, … Springer-Verlag