Implementation and Application of Automata : 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 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, Sebastian Maneth

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

形態:

v.: digital

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 5642

書誌ID:

NB02220377

ISBN:

9783642029790 [3642029795]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-642-02979-0

所蔵情報

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

詳細

主題:	Algorithm Analysis and Problem Complexity; Computation by Abstract Devices; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; System Performance and Evaluation
分類・件名:	LCSH : Computer software FREE : Computation by Abstract Devices FREE : System Performance and Evaluation FREE : Software Engineering FREE : Mathematical Logic and Formal Languages FREE : Logics and Meanings of Programs FREE : Computer Science LCSH : Software engineering LCSH : Computer science LCSH : Computer system performance LCSH : Logic design FREE : Algorithm Analysis and Problem Complexity
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 電子ブック 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
2 電子ブック Computer Performance Evaluation and Benchmarking : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings Hutchison, David, Terzopoulos, Demetri, Nierstrasz, Oscar, Kleinberg, Jon M., Mitchell, John C., Sudan, Madhu, Kittler, … Springer Berlin Heidelberg	8 電子ブック 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
3 電子ブック Tests and Proofs : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings Hutchison, David, Nierstrasz, Oscar, Dubois, Catherine, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, … Springer Berlin Heidelberg	9 電子ブック 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
4 電子ブック Scalability of Networks and Services : Third International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009 Enschede, The … Hutchison, David, Naor, Moni, Sadre, Ramin, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, Pras, … Springer Berlin Heidelberg	10 電子ブック 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
5 電子ブック 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	11 電子ブック Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, … Hutchison, David, Monteiro, Jose, Svensson, Lars, Weikum, Gerhard, Tygar, Doug, Pandu Rangan, C., Naor, Moni, Mitchell, … Springer Berlin Heidelberg
6 電子ブック Distributed Applications and Interoperable Systems : 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings Hutchison, David, Senivongse, Twittie, Kanade, Takeo, Oliveira, Rui, Weikum, Gerhard, Terzopoulos, Demetri, Tygar, Doug, … Springer Berlin Heidelberg	12 電子ブック 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