Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 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, Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag, 2008

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5045

書誌ID:

NB02219467

ISBN:

9783540855217 [3540855211]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-85521-7

所蔵情報

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

詳細

主題:	Algorithm Analysis and Problem Complexity; Arithmetic and Logic Structures; Computer Science; Discrete Mathematics in Computer Science; Numeric Computing; Symbolic and Algebraic Manipulation
分類・件名:	LCSH : Computational complexity FREE : Symbolic and Algebraic Manipulation LCSH : Electronic data processing FREE : Arithmetic and Logic Structures LCSH : Algebra -- Data processing FREE : Discrete Mathematics in Computer Science FREE : Numeric Computing FREE : Algorithm Analysis and Problem Complexity FREE : Computer Science LCSH : Computer software LCSH : Computer science
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings Hutchison, David, Naor, Moni, Sudan, Madhu, Weikum, Gerhard, Vardi, Moshe Y., Mattern, Friedemann, Terzopoulos, Demetri, … Springer Berlin Heidelberg	7 電子ブック 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
2 電子ブック Recent Advances in Parallel Virtual Machine and Message Passing Interface : 15th European PVM/MPI Users?EGroup Meeting, Dublin, Ireland, September 7-10, 2008. … Hutchison, David, Lastovetsky, Alexey, Kleinberg, Jon M., Steffen, Bernhard, Weikum, Gerhard, Kittler, Josef, Mattern, … Springer-Verlag	8 電子ブック 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
3 電子ブック Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July … Hutchison, David, Kanade, Takeo, Naor, Moni, Steffen, Bernhard, Vardi, Moshe Y., Weikum, Gerhard, Goebel, Randy, … Springer Berlin Heidelberg	9 電子ブック 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
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 電子ブック 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
5 電子ブック Numerical Validation in Current Hardware Architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers Hutchison, David, Sudan, Madhu, Vardi, Moshe Y., Weikum, Gerhard, Cuyt, Annie, Kramer, Walter, Tygar, Doug, Terzopoulos, … Springer Berlin Heidelberg	11 電子ブック Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings Hutchison, David, Naor, Moni, Regensburger, Georg, Kanade, Takeo, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, … Springer-Verlag
6 電子ブック 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	12 電子ブック Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday Hutchison, David, Mattern, Friedemann, Kanade, Takeo, Kittler, Josef, Nierstrasz, Oscar, Naor, Moni, Pandu Rangan, C., … Springer Berlin Heidelberg