Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. 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, Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan

言語:

英語

出版情報:

Berlin, Heidelberg : Springer, 2008

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5311

書誌ID:

NB02219577

ISBN:

9783540883876 [3540883878]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-88387-6

所蔵情報

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

詳細

主題:	Computer Communication Networks; Computer Science; Information Systems and Communication Service; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering; Special Purpose and Application-Based Systems
分類・件名:	FREE : Special Purpose and Application-Based Systems LCSH : Logic design LCSH : Computer Communication Networks FREE : Software Engineering FREE : Computer Communication Networks FREE : Information Systems and Communication Service FREE : Logics and Meanings of Programs FREE : Computer Science LCSH : Computer science LCSH : Software engineering LCSH : Information systems FREE : Programming Languages, Compilers, Interpreters
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック GeoSensor Networks : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers Hutchison, David, Mattern, Friedemann, Sudan, Madhu, Steffen, Bernhard, Stefanidis, Anthony, Pandu Rangan, C., Kittler, … Springer-Verlag	7 電子ブック 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
2 電子ブック GeoSensor Networks : Third International Conference, GSN 2009, Oxford, UK, July 13-14, 2009. Proceedings Hutchison, David, Kittler, Josef, Naor, Moni, Mattern, Friedemann, Kanade, Takeo, Nawaz, Sarfraz, Nierstrasz, Oscar, … Springer Berlin Heidelberg	8 電子ブック Information Security Applications : 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers Hutchison, David, Sohn, Kiwook, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., … Springer Berlin Heidelberg
3 電子ブック Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings Peled, Doron A., Tsay, Yih-Kuen, SpringerLink (Online service) Springer-Verlag GmbH.	9 電子ブック Hardware and Software: Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings Hutchison, David, Steffen, Bernhard, Mattern, Friedemann, Hu, Alan J., Chockler, Hana, Weikum, Gerhard, Vardi, Moshe Y., … Springer Berlin Heidelberg
4 電子ブック Conceptual Modeling: Foundations and Applications : Essays in Honor of John Mylopoulos Hutchison, David, Mitchell, John C., Chaudhri, Vinay K., Borgida, Alexander T., Naor, Moni, Kanade, Takeo, Kittler, … Springer Berlin Heidelberg	10 電子ブック Challenges for Next Generation Network Operations and Service Management : 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, … Hutchison, David, Weikum, Gerhard, Steffen, Bernhard, Kittler, Josef, Ata, Shingo, Sudan, Madhu, Kleinberg, Jon M., … Springer
5 電子ブック 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	11 電子ブック Intelligent Data Engineering and Automated Learning ?EIDEAL 2008 : 9th International Conference Daejeon, South Korea, November 2-5, 2008 Proceedings Hutchison, David, Steffen, Bernhard, Mattern, Friedemann, Sudan, Madhu, Kleinberg, Jon M., Kanade, Takeo, Mitchell, John … Springer
6 電子ブック Self-Sustaining Systems : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers Hutchison, David, Weikum, Gerhard, Kittler, Josef, Rose, Kim, Vardi, Moshe Y., Kleinberg, Jon M., Tygar, Doug, … Springer	12 電子ブック Data Management in Grid and Peer-to-Peer Systems : First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings Hutchison, David, Nierstrasz, Oscar, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, Sudan, Madhu, … Springer-Verlag