Alt rene (18 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,15
EUR 14,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,48
EUR 18,10 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
PF. Zustand: 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)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 74,99
EUR 2,26 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: 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)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,47
EUR 17,53 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 78,27
EUR 3,42 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: 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):
Sprache: Deutsch
Verlag: Deutsche Grammophon/Polydor/B&S, 1997
Anbieter: Antiquariat Armebooks, Frankfurt am Main, DeutschlandAntiquariat Armebooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 19,89
EUR 20,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbAudio CD. Zustand: Neu. FH-H8AA-EMO6 Sprache: Deutsch Gewicht in Gramm: 500.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,97
EUR 62,53 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 ar…e 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.
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)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 128,80
EUR 17,53 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 119,18
EUR 29,22 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. 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)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 150,51
EUR 2,26 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes KönigreichRarewaves.com USA
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 92,10
Versand gratisVersand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
Paperback. Zustand: New. 3., erweiterte und überarbeitete.
Sprache: Deutsch
Verlag: Thieme Georg Verlag Auflage: 1 (19. September 2007), 2007
- Hardcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 63,90
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: 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 syste…matische 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.
- Softcover
Anbieter: Rarewaves.com UK, London, Vereinigtes KönigreichRarewaves.com UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 87,70
EUR 75,97 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
Paperback. Zustand: New. 3., erweiterte und überarbeitete.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: 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 successful…ly, 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.
- Softcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 77,53
EUR 7,60 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New. Print on Demand pp. 332 Illus.
- Softcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 80,22
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 332.
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Kartoniert / Broschiert. Zustand: 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. Usuall…y, our systems appear to work successfully, but there are somet.
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 332 pp. Englisch.
