Architecting Dependable Systems V

フォーマット:

電子ブック

責任表示:

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, Rogerio Lemos, Felicita Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag, 2008

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5135

書誌ID:

NB02219474

ISBN:

9783540855712 [3540855718]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-85571-2

所蔵情報

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

詳細

主題:	Computer Science; Models and Principles; Operating Systems; Software Engineering
分類・件名:	LCSH : Computer science LCSH : Operating systems (Computers) LCSH : Software engineering FREE : Computer Science FREE : Models and Principles FREE : Operating Systems FREE : Software Engineering
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Self-Sustaining Systems : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers Hutchison, David, Weikum, Gerhard, Kittler, Josef, Rose, Kim, Vardi, Moshe Y., Kleinberg, Jon M., Tygar, Doug, … Springer	7 電子ブック Innovations for Requirement Analysis. From Stakeholders?ENeeds to Formal Designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. … Hutchison, David, Vardi, Moshe Y., Steffen, Bernhard, Weikum, Gerhard, Tygar, Doug, Sudan, Madhu, Pandu Rangan, C., … Springer
2 電子ブック Architecting Dependable Systems VI Lemos, Rogerio, Beek, Maurice, Fabre, Jean-Charles, Gadducci, Fabio, Gacek, Cristina, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	8 電子ブック 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
3 電子ブック 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	9 電子ブック 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
4 電子ブック 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	10 電子ブック 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
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 電子ブック Secure Data Management : 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings Hutchison, David, Jonker, Willem, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, Kleinberg, Jon … 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 電子ブック Distributed Computing : 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings Hutchison, David, Kanade, Takeo, Nierstrasz, Oscar, Weikum, Gerhard, Naor, Moni, Mitchell, John C., Kleinberg, Jon M., … Springer-Verlag