Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2009
ISBN 10: 3642015905 ISBN 13: 9783642015908
Lingua: Inglese
Da: Grand Eagle Retail, Mason, OH, U.S.A.
EUR 56,21
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification. This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 53,89
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 52,74
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 66,31
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 276.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,31
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 67,29
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 276 Illus.
Da: Chiron Media, Wallingford, Regno Unito
EUR 56,69
Convertire valutaQuantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 59,64
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009
ISBN 10: 3642015905 ISBN 13: 9783642015908
Lingua: Inglese
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 68,67
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New. Constitutes the refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. This book presents the 16 revised full papers that were selected during two rounds of reviewing and improvements. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 275 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 427. . 2009. Paperback. . . . .
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 69,05
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 276.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 66,13
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009
ISBN 10: 3642015905 ISBN 13: 9783642015908
Lingua: Inglese
Da: Kennys Bookstore, Olney, MD, U.S.A.
EUR 84,69
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New. Constitutes the refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. This book presents the 16 revised full papers that were selected during two rounds of reviewing and improvements. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 275 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 427. . 2009. Paperback. . . . . Books ship from the US and Ireland.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2009, 2009
ISBN 10: 3642015905 ISBN 13: 9783642015908
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.
Editore: Springer Berlin Heidelberg, 2009
ISBN 10: 3642015905 ISBN 13: 9783642015908
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 98,51
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 128,78
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2009
ISBN 10: 3642015905 ISBN 13: 9783642015908
Lingua: Inglese
Da: AussieBookSeller, Truganina, VIC, Australia
EUR 107,44
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification. This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Editore: Springer Berlin Heidelberg, 2009
ISBN 10: 3642015905 ISBN 13: 9783642015908
Lingua: Inglese
Da: Buchpark, Trebbin, Germania
EUR 39,79
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Editore: Springer Berlin Heidelberg Apr 2009, 2009
ISBN 10: 3642015905 ISBN 13: 9783642015908
Lingua: Inglese
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification. 276 pp. Englisch.
Editore: Springer Berlin Heidelberg, 2009
ISBN 10: 3642015905 ISBN 13: 9783642015908
Lingua: Inglese
Da: moluna, Greven, Germania
EUR 48,37
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected duri.