Numerical Validation in Current Hardware Architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers

フォーマット:

電子ブック

責任表示:

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, Annie Cuyt, Walter Kramer, Wolfram Luther, Peter Markstein

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5492

書誌ID:

NB02220504

ISBN:

9783642015915 [3642015913]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-642-01591-5

所蔵情報

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

詳細

主題:	Computer Science; Computer Science, general
分類・件名:	FREE : Computer Science, general FREE : Computer Science LCSH : Computer science
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Practical Aspects of Declarative Languages : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings Hutchison, David, Swift, Terrance, Steffen, Bernhard, Pandu Rangan, C., Vardi, Moshe Y., Nierstrasz, Oscar, Naor, Moni, … Springer Berlin Heidelberg	7 電子ブック Transactions on Petri Nets and Other Models of Concurrency I Hutchison, David, Tygar, Doug, Mattern, Friedemann, Terzopoulos, Demetri, Weikum, Gerhard, Kleinberg, Jon M., Kittler, … Springer
2 電子ブック Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers Hutchison, David, Naor, Moni, Mitchell, John C., Luther, Wolfram, Kittler, Josef, Nierstrasz, Oscar, Hoffmann, Christoph … Springer-Verlag	8 電子ブック Coordination, Organizations, Institutions and Norms in Agent Systems IV : COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. … Hutchison, David, Nierstrasz, Oscar, Weikum, Gerhard, Wahlster, Wolfgang, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, … Springer Berlin Heidelberg
3 電子ブック Scientific and Statistical Database Management : 20th International Conference, SSDBM 2008, Hong Kong, China, July 9-11, 2008 Proceedings Hutchison, David, Mitchell, John C., Terzopoulos, Demetri, Ludascher, Bertram, Pandu Rangan, C., Steffen, Bernhard, … Springer-Verlag	9 電子ブック Epistemological Aspects of Computer Simulation in the Social Sciences : Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised … Hutchison, David, Kanade, Takeo, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, … Springer Berlin Heidelberg
4 電子ブック Service-Oriented Computing - ICSOC 2007 Workshops : ICSOC 2007, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers Hutchison, David, Kanade, Takeo, Kittler, Josef, Nitto, Elisabetta, Vardi, Moshe Y., Mitchell, John C., Mattern, … Springer Berlin Heidelberg	10 電子ブック Knowledge Acquisition: Approaches, Algorithms and Applications : Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, … Hutchison, David, Kang, Byeong-Ho, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Kanade, Takeo, Goebel, … Springer Berlin Heidelberg
5 電子ブック Theory and Applications of Satisfiability Testing - SAT 2009 : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings Hutchison, David, Kittler, Josef, Tygar, Doug, Kullmann, Oliver, Vardi, Moshe Y., Kanade, Takeo, Kleinberg, Jon M., … Springer Berlin Heidelberg	11 電子ブック Focused Access to XML Documents : 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007 Dagstuhl Castle, Germany, December … Hutchison, David, Weikum, Gerhard, Kittler, Josef, Trotman, Andrew, Kleinberg, Jon M., Terzopoulos, Demetri, Mitchell, … Springer-Verlag
6 電子ブック Visual Information Systems. Web-Based Visual Information Search and Management : 10th International Conference, VISUAL 2008, Salerno, Italy, September 11-12, … Hutchison, David, Sebillo, Monica, Steffen, Bernhard, Naor, Moni, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., … Springer-Verlag	12 電子ブック Coding Theory and Applications : Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. … Hutchison, David, Kanade, Takeo, Steffen, Bernhard, Kleinberg, Jon M., Nierstrasz, Oscar, Mitchell, John C., Naor, Moni, … Springer-Verlag