Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 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, Franck Cassez, Claude Jard

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag, 2008

形態:

v.: digital

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 5215

書誌ID:

NB02219486

ISBN:

9783540857785 [3540857788]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-85778-5

所蔵情報

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

詳細

主題:	Computer Science; Logics and Meanings of Programs; Models and Principles; Programming Languages, Compilers, Interpreters; Software Engineering; System Performance and Evaluation; Theory of Computation
分類・件名:	FREE : Software Engineering LCSH : Information theory LCSH : Computer system performance LCSH : Computer science LCSH : Software engineering LCSH : Logic design FREE : Computer Science FREE : Programming Languages, Compilers, Interpreters FREE : Logics and Meanings of Programs FREE : System Performance and Evaluation FREE : Theory of Computation FREE : Models and Principles
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers Hutchison, David, Bruni, Roberto, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, … Springer Berlin Heidelberg	7 電子ブック 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
2 電子ブック Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures Hutchison, David, Plasmeijer, Rinus, Sudan, Madhu, Mattern, Friedemann, Horvath, Zoltan, Soos, Anna, Kanade, Takeo, … Springer-Verlag	8 電子ブック Network and Parallel Computing : IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008. Proceedings Hutchison, David, Terzopoulos, Demetri, Kanade, Takeo, Pandu Rangan, C., Nierstrasz, Oscar, Sudan, Madhu, Naor, Moni, … Springer
3 電子ブック Computer Performance Engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings Hutchison, David, Kittler, Josef, Kleinberg, Jon M., Steffen, Bernhard, Mattern, Friedemann, Kanade, Takeo, Sudan, … Springer-Verlag	9 電子ブック Computer Performance Engineering : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings Hutchison, David, Steffen, Bernhard, Bradley, Jeremy T., Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Sudan, Madhu, … Springer Berlin Heidelberg
4 電子ブック Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. … Hutchison, David, Steffen, Bernhard, Maibaum, Tom, Terzopoulos, Demetri, Tygar, Doug, Sudan, Madhu, Pandu Rangan, C., … Springer	10 電子ブック Euro-Par 2008 ?EParallel Processing : 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings Hutchison, David, Mitchell, John C., Naor, Moni, Mattern, Friedemann, Kittler, Josef, Kanade, Takeo, Kleinberg, Jon M., … Springer-Verlag
5 電子ブック 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	11 電子ブック 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
6 電子ブック 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	12 電子ブック 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