Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced 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, Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5569

書誌ID:

NB02220525

ISBN:

9783642019180 [3642019188]

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

子書誌情報

オンライン

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

所蔵情報

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

詳細

主題:	Computer Science; Computer Systems Organization and Communication Networks; Information Systems Applications (incl.Internet); Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering; Software Engineering/Programming and Operating Systems
分類・件名:	LCSH : Software engineering FREE : Programming Techniques LCSH : Information systems LCSH : Computer network architectures FREE : Computer Science FREE : Computer Systems Organization and Communication Networks FREE : Information Systems Applications (incl.Internet) FREE : Software Engineering/Programming and Operating Systems FREE : Programming Languages, Compilers, Interpreters FREE : Software Engineering LCSH : Computer science
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック 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	7 電子ブック Architectures for Adaptive Software Systems : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June … Hutchison, David, Kleinberg, Jon M., Kittler, Josef, Weikum, Gerhard, Kanade, Takeo, Mattern, Friedemann, Naor, Moni, … Springer Berlin Heidelberg
2 電子ブック 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	8 電子ブック Integrated Formal Methods : 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009. Proceedings Hutchison, David, Pandu Rangan, C., Wehrheim, Heike, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, … Springer Berlin Heidelberg
3 電子ブック 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	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 電子ブック 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	10 電子ブック 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
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 電子ブック 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
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 Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, … Bernardo, Marco, Degano, Pierpaolo, Zavattaro, Gianluigi, SpringerLink (Online service) Springer-Verlag