Compiler Construction : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 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, Oege Moor, Michael I. Schwartzbach

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

形態:

v.: digital

著者名:

Schwartzbach, Michael I.

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 5501

書誌ID:

NB02220461

ISBN:

9783642007224 [3642007228]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-642-00722-4

所蔵情報

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

詳細

主題:	Algorithm Analysis and Problem Complexity; Computer Science; Computer System Implementation; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering/Programming and Operating Systems; Theory of Computation
分類・件名:	LCSH : Information theory FREE : Theory of Computation LCSH : Computer network architectures LCSH : Software engineering FREE : Programming Languages, Compilers, Interpreters FREE : Logics and Meanings of Programs FREE : Computer System Implementation FREE : Computer Science LCSH : Logic design LCSH : Computer science LCSH : Computer software FREE : Software Engineering/Programming and Operating Systems FREE : Algorithm Analysis and Problem Complexity
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Programming Languages and Systems : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of … Hutchison, David, Naor, Moni, Steffen, Bernhard, Nierstrasz, Oscar, Weikum, Gerhard, Mitchell, John C., Mattern, … Springer Berlin Heidelberg	7 電子ブック Automata, Languages and Programming : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I Hutchison, David, Kleinberg, Jon M., Sudan, Madhu, Albers, Susanne, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, … Springer Berlin Heidelberg
2 電子ブック Foundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on … Hutchison, David, Mattern, Friedemann, Alfaro, Luca, Kanade, Takeo, Kleinberg, Jon M., Mitchell, John C., Naor, Moni, … Springer Berlin Heidelberg	8 電子ブック Automata, Languages and Programming : 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II Hutchison, David, Terzopoulos, Demetri, Marchetti-Spaccamela, Alberto, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, … Springer Berlin Heidelberg
3 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on … Hutchison, David, Vardi, Moshe Y., Kittler, Josef, Mattern, Friedemann, Kowalewski, Stefan, Mitchell, John C., Naor, … Springer Berlin Heidelberg	9 電子ブック Computational Science ? ICCS 2009 : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I Hutchison, David, Dongarra, Jack, Vardi, Moshe Y., Weikum, Gerhard, Allen, Gabrielle, Sloot, Peter M. A., Nabrzyski, … Springer Berlin Heidelberg
4 電子ブック Fundamental Approaches to Software Engineering : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice … Hutchison, David, Terzopoulos, Demetri, Chechik, Marsha, Wirsing, Martin, Weikum, Gerhard, Kanade, Takeo, Tygar, Doug, … Springer Berlin Heidelberg	10 電子ブック Computational Science ? ICCS 2009 : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II Hutchison, David, Vardi, Moshe Y., Weikum, Gerhard, Allen, Gabrielle, Nabrzyski, Jaros?aw, Seidel, Edward, Tygar, Doug, … Springer Berlin Heidelberg
5 電子ブック 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	11 電子ブック Generative and Transformational Techniques in Software Engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers Hutchison, David, Vardi, Moshe Y., Sudan, Madhu, Steffen, Bernhard, Tygar, Doug, Kleinberg, Jon M., Weikum, Gerhard, … Springer
6 電子ブック 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	12 電子ブック Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, … Hutchison, David, Zavattaro, Gianluigi, Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, … Springer Berlin Heidelberg