Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

フォーマット:

電子ブック

責任表示:

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, Zoltan Horvath, Rinus Plasmeijer, Anna Soos, Viktoria Zsok

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag, 2008

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5161

書誌ID:

NB02219563

ISBN:

9783540880592 [3540880593]

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

子書誌情報

オンライン

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

所蔵情報

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

詳細

主題:	Computer Science; Mathematical Logic and Formal Languages; Models and Principles; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering; Theory of Computation
分類・件名:	LCSH : Software engineering LCSH : Computer science FREE : Software Engineering LCSH : Information theory FREE : Computer Science FREE : Mathematical Logic and Formal Languages FREE : Models and Principles FREE : Theory of Computation FREE : Programming Languages, Compilers, Interpreters FREE : Programming Techniques
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Central European Functional Programming School : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, … Horváth, Zoltán, Plasmeijer, Rinus, Zsók, Viktória, SpringerLink (Online service) Springer Berlin Heidelberg	7 電子ブック 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
2 電子ブック 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	8 電子ブック 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
3 電子ブック 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	9 電子ブック Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures Hutchison, David, Kanade, Takeo, Borger, Egon, Cisternino, Antonio, Sudan, Madhu, Steffen, Bernhard, Pandu Rangan, C., … Springer
4 電子ブック Languages and Compilers for Parallel Computing : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers Hutchison, David, Steffen, Bernhard, Petersen, Paul, Kittler, Josef, Pandu Rangan, C., Kleinberg, Jon M., Garzaran, … Springer-Verlag	10 電子ブック 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
5 電子ブック Transactions on Petri Nets and Other Models of Concurrency II : Special Issue on Concurrency in Process-Aware Information Systems Hutchison, David, Aalst, Wil M. P., Jensen, Kurt, Naor, Moni, Kanade, Takeo, Tygar, Doug, Weikum, Gerhard, Kittler, … Springer Berlin Heidelberg	11 電子ブック 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
6 電子ブック 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	12 電子ブック Compiler Construction : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, … Hutchison, David, Naor, Moni, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, Steffen, Bernhard, Weikum, Gerhard, … Springer Berlin Heidelberg