Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,35
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,18
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 58,32
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,48
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,42
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 75,60
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 332.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2004
ISBN 10: 3540212604 ISBN 13: 9783540212607
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Idioma: Alemán
Publicado por Deutsche Grammophon/Polydor/B&S, 1997
Librería: Antiquariat Armebooks, Frankfurt am Main, Alemania
EUR 19,89
Cantidad disponible: 1 disponibles
Añadir al carritoAudio CD. Condición: Neu. FH-H8AA-EMO6 Sprache: Deutsch Gewicht in Gramm: 500.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 115,92
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 106,47
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 136,91
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Alemán
Publicado por Thieme Georg Verlag Auflage: 1 (19. September 2007), 2007
ISBN 10: 3131406410 ISBN 13: 9783131406415
Librería: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Alemania
EUR 66,95
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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 systematische 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.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg Mrz 2004, 2004
ISBN 10: 3540212604 ISBN 13: 9783540212607
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: 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 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. 332 pp. Englisch.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 75,48
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 332 Illus.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 77,72
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 332.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2004
ISBN 10: 3540212604 ISBN 13: 9783540212607
Librería: moluna, Greven, Alemania
EUR 48,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2004, 2004
ISBN 10: 3540212604 ISBN 13: 9783540212607
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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. 332 pp. Englisch.