Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. 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, Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Volter

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag, 2008

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5301

書誌ID:

NB02219550

ISBN:

9783540878759 [3540878750]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-87875-9

所蔵情報

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

詳細

主題:	Computer Science; Management of Computing and Information Systems; Programming Languages, Compilers, Interpreters; Simulation and Modeling; Software Engineering
分類・件名:	LCSH : Information Systems FREE : Management of Computing and Information Systems LCSH : Software engineering LCSH : Computer simulation LCSH : Computer science FREE : Simulation and Modeling FREE : Software Engineering FREE : Programming Languages, Compilers, Interpreters FREE : Computer Science
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Models in Software Engineering : Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers Hutchison, David, Tygar, Doug, Sudan, Madhu, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, … Springer Berlin Heidelberg	7 電子ブック ECOOP 2008 ?EObject-Oriented Programming : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings Hutchison, David, Vitek, Jan, Kittler, Josef, Weikum, Gerhard, Kleinberg, Jon M., Mattern, Friedemann, Naor, Moni, Pandu … Springer-Verlag
2 電子ブック 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	8 電子ブック 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
3 電子ブック Software Language Engineering : First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers Hutchison, David, Kittler, Josef, Pandu Rangan, C., Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, … Springer Berlin Heidelberg	9 電子ブック Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings Hutchison, David, Kanade, Takeo, Vardi, Moshe Y., Tygar, Doug, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, … Springer
4 電子ブック 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	10 電子ブック 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
5 電子ブック 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	11 電子ブック Principles and Practice of Constraint Programming : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings Hutchison, David, Mattern, Friedemann, Kleinberg, Jon M., Kanade, Takeo, Vardi, Moshe Y., Kittler, Josef, Nierstrasz, … Springer-Verlag
6 電子ブック Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings Hutchison, David, Steffen, Bernhard, Weikum, Gerhard, Tygar, Doug, Pandu Rangan, C., Nierstrasz, Oscar, Terzopoulos, … Springer-Verlag	12 電子ブック 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