Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

フォーマット:

電子ブック

責任表示:

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, Martin Leucker

言語:

英語

出版情報:

Berlin, Heidelberg : Springer, 2008

形態:

v.: digital

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 5289

書誌ID:

NB02219617

ISBN:

9783540892472 [3540892478]

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

子書誌情報

オンライン

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

所蔵情報

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

詳細

主題:	Algorithm Analysis and Problem Complexity; Computer Science; Logics and Meanings of Programs; Performance and Reliability; Programming Languages, Compilers, Interpreters; Software Engineering; System Performance and Evaluation
分類・件名:	FREE : Programming Languages, Compilers, Interpreters LCSH : Computer science LCSH : Operating systems (Computers) LCSH : Software engineering FREE : Performance and Reliability FREE : Logics and Meanings of Programs LCSH : Computer software LCSH : Logic design FREE : Computer Science FREE : Software Engineering LCSH : Computer system performance FREE : Algorithm Analysis and Problem Complexity FREE : System Performance and Evaluation
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック 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	7 電子ブック Component-Based Software Engineering : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings Hutchison, David, Mitchell, John C., Hofmeister, Christine, Poernomo, Iman, Lewis, Grace A., Weikum, Gerhard, Vardi, … Springer Berlin Heidelberg
2 電子ブック 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	8 電子ブック Computer Security - ESORICS 2008 : 13th European Symposium on Research in Computer Security, Malaga, Spain, October 6-8, 2008. Proceedings Hutchison, David, Weikum, Gerhard, Mattern, Friedemann, Naor, Moni, Kittler, Josef, Pandu Rangan, C., Steffen, Bernhard, … Springer
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 電子ブック Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected … Hutchison, David, Weikum, Gerhard, Kleinberg, Jon M., Zsok, Viktoria, Mattern, Friedemann, Terzopoulos, Demetri, Sudan, … Springer-Verlag
4 電子ブック 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	10 電子ブック 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
5 電子ブック Evolving OpenMP in an Age of Extreme Parallelism : 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3-5, 2009 Proceedings Hutchison, David, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Kanade, Takeo, Vardi, Moshe Y., Nierstrasz, … Springer Berlin Heidelberg	11 電子ブック Resilient Networks and Services : Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, … Hutchison, David, Naor, Moni, Terzopoulos, Demetri, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, … Springer-Verlag
6 電子ブック Transactions on Aspect-Oriented Software Development V Hutchison, David, Vardi, Moshe Y., Nierstrasz, Oscar, Naor, Moni, Mitchell, John C., Kleinberg, Jon M., Kittler, Josef, … Springer Berlin Heidelberg	12 電子ブック 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