René alt (17 risultati)
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,62
EUR 13,88 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,98
EUR 17,95 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
Numerical Software With Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 2003 : Revised Papers
Alt, Rene (EDT); Frommer, Andreas (EDT); Kearfott, R. Baker (EDT); Luther, Wolfram (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,27
EUR 2,32 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Numerical Software With Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 2003 : Revised Papers
Alt, Rene (EDT); Frommer, Andreas (EDT); Kearfott, R. Baker (EDT); Luther, Wolfram (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,95
EUR 17,38 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 80,96
EUR 3,50 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 332.
Ludwig van Beethoven: Symphonie Nr. 9 d-Moll Op. 125 (La Gran Musica. Buch & CD Classical Collection)
Jones (Sopran), Gwyneth, Hanna Schwarz (Alt) und René Kollo (Tenor):
Lingua: Tedesco
Editore: Deutsche Grammophon/Polydor/B&S 1997
Da: Antiquariat Armebooks, Frankfurt am Main, GermaniaAntiquariat Armebooks
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 19,89
EUR 20,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Audio CD. Condizione: Neu. FH-H8AA-EMO6 Sprache: Deutsch Gewicht in Gramm: 500.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 62,53 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there… are sometimes serious, and often minor, errors. Validated computing is one essential technology to achieve increased software reliability. Formal - gor in the de nition of data types, the computer arithmetic, in algorithm design, and in program execution allows us to guarantee that the stated problem has (or does not have) a solution in an enclosing interval we compute. If the enclosure is narrow, we are certain that the result can be used. Otherwise, we have a clear warning that the uncertainty of input values might be large and the algorithm and the model have to be improved. The use of interval data types and al- rithms with controlled rounding and result veri cation capture uncertainty in modeling and problem formulation, in model parameter estimation, in algorithm truncation, in operation round-o , and in model interpretation. The techniques of validated computing have proven their merits in many scienti c and engineering applications. They are based on solid and interesting theoretical studies in mathematics and computer science. Contributions from elds including real, complex and functional analysis, semigroups, probability, statistics,fuzzyintervalanalysis,fuzzylogic,automaticdi erentiation,computer hardware, operating systems, compiler construction, programming languages, object-oriented modeling, parallel processing, and software engineering are all essential.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,25
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Numerical Software with Result Verification | International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers | René Alt (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2004 | Springer | EAN 9783540212607 | Verantwortliche Person für die EU: Springer Nat…ure Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Numerical Software With Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 2003 : Revised Papers
Alt, Rene (EDT); Frommer, Andreas (EDT); Kearfott, R. Baker (EDT); Luther, Wolfram (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 116,94
EUR 17,38 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 107,41
EUR 28,97 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Like New. Like New. book.
Numerical Software With Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 2003 : Revised Papers
Alt, Rene (EDT); Frommer, Andreas (EDT); Kearfott, R. Baker (EDT); Luther, Wolfram (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 137,95
EUR 2,32 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Tedesco
Editore: Thieme Georg Verlag Auflage: 1 (19. September 2007) 2007
- Rilegato
Da: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 63,90
EUR 39,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: gut. Auflage: 1 (19. September 2007). Fit im neuen Fach! Im Zuge der Zusammenführung der Gebiete Orthopädie, Orthopädische Chirurgie und Unfallchirurgie ist eine neue Weiterbildungsordnung für den Facharzt Orthopädie und Unfallchirurgie in Kraft getreten. Hierauf abgestimmt finden Sie in diesem Werk die sy…stematische Beschreibung der Inhalte - Prävention von Verletzungen, Erkrankungen und Deformitäten - Diagnostik einschließlich aller modernen bildgebenden Verfahren - Konservative und operative Behandlung der Verletzungen, Erkrankungen und Deformitäten bei Patienten aller Altersstufen - Nachsorge und Rehabilitation - Qualitätssicherung unter Berücksichtigung der zusätzlichen Weiterbildungsmöglichkeiten - Handchirurgie - Kinderorthopädie - Notfallmedizin - orthopädische Rheumatologie - Physikalische Medizin und Sportmedizin AktuellKomplettes Weiterbildungswissen auf dem neuesten Stand ÜbersichtlichRasche Orientierung durch exzellente Abbildungen, modernes Layout, gut strukturierten TextPraxisnahKonkrete Handlungsanweisungen für eine rationelle Diagnostik und Therapie FundiertNamhaftes Herausgeber- und Autorenteam Die Praxis der Orthopädie und Unfallchirurgie ist Ihr unentbehrlicher Begleiter während Ihrer Weiterbildung und der Vorbereitung auf die Facharztprüfung sowie auch als Nachschlagewerk für die Zeit danach. Eignen Sie sich alle klinisch relevanten Themen an! Lernen Sie eine verlässliche Hilfe für den Alltag kennen! Behandlungskonzepte Unfallchirurg Assistenzarzt Handchirurgie Kinderorthopädie Notfallmedizin orthopädische Rheumatologie Physikalische Medizin Sportmedizin Sprache deutsch Maße 195 x 270 mm Klinik und Praxis Chirurgie Unfallchirurgie Orthopädie Medizin Pharmazie Klinik und Praxis Orthopäde Behandlung Facharzt HumanMedizin Klinische Fächer Orthopädie Orthopäde Handbuch Lehrbuch Orthopädische Chirurgie Prävention Unfallchirurgie Verletzungen Weiterbildung OrthopädieUnfallchirurgie Weiterbildung Orthopädie Unfallchirurg ISBN-10 3-13-140641-0 / 3131406410 ISBN-13 978-3-13-140641-5 / 9783131406415 Praxis der Orthopädie und Unfallchirurgie Carl Joachim Wirth Wolf Mutschler Thieme Co-Autor Farshid Abdolvahab, Frank Rainer Abel, Volker Alt, Michael Antosch, Markus Arand, Hermann Josef Bail, René Baumgartner, Michael Bernateck, Jürgen Bruns, Thomas Dirk Böhm, Jörg Carls, Maximilian A. Dambacher, Martin Dominkus, Ulrich Dorn, Stephan Eggeling, Christian Eichhorn, Alexander Euteneier, Peter Feldmann, Stefan Fickert, Michael H. Foerster, Jürgen Forst, Raimund Forst, Mellany Galla, Hans Jürgen Gerner, Frank Gohlke, Hans Gollwitzer, Frank Gossé, Reiner Gradinger, Bernhard Greitemann, Franz Grill, André Gächter, Klaus-Peter Günther, Norbert P. Haas, Klaus Karl J. Hallfeldt, Achim Hedtmann, Guido Heers, Jürgen Heisel, Anne Ingenhorst, Dominik Irnich, Martin Jaeger, Martin Keller, Michael Kiefer, Lothar Kinzl, Dieter Kohn, Rainer Kotz, Petra Krepler, Roland Laszig, Philipp Lobenhoffer, Anette Lorani, Henning Madry, Marcus Tobias Maier, Wolfgang Maier, Abdul Kader Martini, Ingo Marzi, Peter Metz-Stavenhagen, Thomas Mittlmeier, Bernhard Moriggl, Thomas Mussack, Maurus Neff, Fritz Uwe Niethard, Dietrich Pape, Bernward Passlick, Tim Pohlemann, Renata Pospischill, Nils Putschky, Reinhard Putz, Stefan Rammelt, Thomas Ramsauer, Hans Rechl, Oliver Reich, Olaf Rolf, Robert Rotter, Frank Rubenthaler, Jürgen Rudigier, Volker Ruppert, Oliver Rühmann, Carola Schiebel, Reinhard Schnettler, Eva Schwameis, Bernd Steckmeier, Oliver Steimer, Jörn Steinhagen, Wolf Ingo Steudel, Christian Georg Stief, Christina Stukenborg-Colsman, Gordian Stutz, Norbert Südkamp, Cyril Toma, Christof Wagner, Hugo Axel Wanivenhaus, Kuno Weise, Andreas Wentzensen, Ernst Wiedemann, Henning Windhagen, Reiner Wirbel, Ralf Hermann Wittenberg, Nikolaus Wülker, Henning Zeidler, Ludwig Zichner, Ludwig Zwack, Hans Zwipp, Karl-Ludwig von Hanstein In deutscher Sprache. 1100 pages. 27,6 x 21 x 5,4 cm.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work success…fully, but there are sometimes serious, and often minor, errors. Validated computing is one essential technology to achieve increased software reliability. Formal - gor in the de nition of data types, the computer arithmetic, in algorithm design, and in program execution allows us to guarantee that the stated problem has (or does not have) a solution in an enclosing interval we compute. If the enclosure is narrow, we are certain that the result can be used. Otherwise, we have a clear warning that the uncertainty of input values might be large and the algorithm and the model have to be improved. The use of interval data types and al- rithms with controlled rounding and result veri cation capture uncertainty in modeling and problem formulation, in model parameter estimation, in algorithm truncation, in operation round-o , and in model interpretation. The techniques of validated computing have proven their merits in many scienti c and engineering applications. They are based on solid and interesting theoretical studies in mathematics and computer science. Contributions from elds including real, complex and functional analysis, semigroups, probability, statistics,fuzzyintervalanalysis,fuzzylogic,automaticdi erentiation,computer hardware, operating systems, compiler construction, programming languages, object-oriented modeling, parallel processing, and software engineering are all essential. 332 pp. Englisch.
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 81,32
EUR 7,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 332 Illus.
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 80,75
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 332.
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,37
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear…to work successfully, but there are somet.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfull…y, but there are sometimes serious, and often minor, errors. Validated computing is one essential technology to achieve increased software reliability. Formal - gor in the de nition of data types, the computer arithmetic, in algorithm design, and in program execution allows us to guarantee that the stated problem has (or does not have) a solution in an enclosing interval we compute. If the enclosure is narrow, we are certain that the result can be used. Otherwise, we have a clear warning that the uncertainty of input values might be large and the algorithm and the model have to be improved. The use of interval data types and al- rithms with controlled rounding and result veri cation capture uncertainty in modeling and problem formulation, in model parameter estimation, in algorithm truncation, in operation round-o , and in model interpretation. The techniques of validated computing have proven their merits in many scienti c and engineering applications. They are based on solid and interesting theoretical studies in mathematics and computer science. Contributions from elds including real, complex and functional analysis, semigroups, probability, statistics,fuzzyintervalanalysis,fuzzylogic,automaticdi erentiation,computer hardware, operating systems, compiler construction, programming languages, object-oriented modeling, parallel processing, and software engineering are all essential.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 332 pp. Englisch.
