Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 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, Aarti Gupta, Sharad Malik

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag, 2008

形態:

v.: digital

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 5123

書誌ID:

NB02219276

ISBN:

9783540705451 [3540705457]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-70545-1

所蔵情報

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

詳細

主題:	Artificial Intelligence (incl. Robotics); Computer Science; Logic Design; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering
分類・件名:	FREE : Logics and Meanings of Programs FREE : Computer Science FREE : Artificial Intelligence (incl. Robotics) FREE : Logic Design LCSH : Artificial intelligence LCSH : Logic design LCSH : Computer science FREE : Software Engineering LCSH : Software engineering FREE : Mathematical Logic and Formal Languages
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings Hutchison, David, Terzopoulos, Demetri, Bouajjani, Ahmed, Weikum, Gerhard, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, … Springer Berlin Heidelberg	7 電子ブック High Performance Embedded Architectures and Compilers : Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings Hutchison, David, Mattern, Friedemann, Vardi, Moshe Y., Ungerer, Theo, Tygar, Doug, Terzopoulos, Demetri, Sudan, Madhu, … Springer Berlin Heidelberg
2 電子ブック 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	8 電子ブック 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
3 電子ブック Evolvable Systems: From Biology to Hardware : 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings Hutchison, David, Hornby, Gregory S., Mitchell, John C., Haddow, Pauline C., Kanade, Takeo, Kittler, Josef, Mattern, … Springer-Verlag	9 電子ブック 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
4 電子ブック 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	10 電子ブック 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
5 電子ブック Transactions on High-Performance Embedded Architectures and Compilers II Hutchison, David, Pandu Rangan, C., Stenstrom, Per, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, … Springer Berlin Heidelberg	11 電子ブック CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings Hutchison, David, Weikum, Gerhard, Kanade, Takeo, Naor, Moni, Mitchell, John C., Mattern, Friedemann, Kleinberg, Jon M., … Springer-Verlag
6 電子ブック Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings Hutchison, David, Vardi, Moshe Y., Kittler, Josef, Mohamed, Otmane Ait, Munoz, Cesar, Steffen, Bernhard, Sudan, Madhu, … Springer	12 電子ブック Service-Oriented Computing ? ICSOC 2008 Workshops : ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers Hutchison, David, Naor, Moni, Pandu Rangan, C., Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, … Springer Berlin Heidelberg