Beckert h (34 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 16,68
EUR 13,88 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, , DeutschlandUniversitätsbuchhandlung Herta Hold GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 16,00
EUR 30,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
2007th ed. 15 x 23 cm. 687 pages. Paperback. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
Gesundes Wohnen - Wechselbeziehungen zwischen Mensch und gebauter Umwelt. Ein Kompendium.
Beckert, J. (Hrsg.), F. P. Mechel (Hrsg.) und H.-O. Lamprecht (Hrsg.):
- Hardcover
Anbieter: Antiquariat Olaf Drescher, Nuthe-Urstromtal OT Nettgendorf, , DeutschlandAntiquariat Olaf Drescher
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 14,00
EUR 13,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
417 S. Zustand: Kleiner Besitzstempel auf Vorsatz, sonst wie neu. Sprache: Deutsch Gewicht in Gramm: 2000 30x21,5cm, Orig.-Pappband, geb.
Verlag: Leipzig, (Karl-Marx-Universität) 1986
- Softcover
Anbieter: Versandantiquariat Trüffelschwein, Witzenhausen, DeutschlandVersandantiquariat Trüffelschwein
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 19,00
EUR 17,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
487 S., br. - Bibl.-Ex.
- Softcover
Anbieter: moluna, Greven, , Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 23,23
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. KlappentextrnrnThe Caucasus is developing into a vital strategic region. It emerged from the Soviet Union s shadow in 1991 and spawned wild oil and gas speculation, and U.S. policy makers developed relationships with the region s countries as it.
Sprache: Deutsch
Verlag: Akademie-Verlag, Berlin, 1969
- Softcover
Anbieter: Clerc Fremin, Steingaden, , DeutschlandClerc Fremin
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 18,00
EUR 22,15 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover, Heft. von Seite 386 bis 448 Zustand: Keine Beschädigungen, keine Eintragungen, lichtrandig. Rücken, Ecken, Kanten sind gut. Sprache: Deutsch Gewicht in Gramm: 175.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 27,41
EUR 60,46 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. Neuware - Joint urban operations have grown in importance since the early 1990's, with doctrine on the verge of production. This paper captures the joint urban warfare phenomenon of the past decade, its emergence in the field of military art, and the directions that it will likely take. Developing alon…gside joint urban warfare doctrine is the transformation of the U.S. Army. The transformation will provide the Joint Force Commander new roles and missions for Army forces in the joint team. The study recommends strategic descent as one such role. The descent describes a single powerful blow-a coup de main-delivered at the outset of a campaign or operation. The descent can provide an early decision in the conflict or seize the initiative for the joint force before it completely arrives into theater. The objective forces of the Army will be capable of non-littoral descents in particular, given their new strategically responsive capabilities. For urban operations, the joint commander can avoid the long buildup of forces by deploying the objective Army forces rapidly to establish U.S. presence in theater. The unique capabilities being developed for the objective force will enrich the joint commander's menu of military options for future joint urban operations.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 27,41
EUR 60,48 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. Neuware - The Caucasus is developing into a vital strategic region. It emerged from the Soviet Union's shadow in 1991 and spawned wild oil and gas speculation, and U.S. policy makers developed relationships with the region's countries as it matured. However, ethnic tensions and separatist movements in…the Caucasus still pose a significant threat to American interests. Will the U.S. military intervene to stabilize the Caucasus by 2010 This monograph explores this question. It introduces the reader to the Caucasus' complexity and presents factors affecting a military intervention decision. It presents three likely contingencies that may require U.S. force intervention before 2010: peacekeeping in the Nagorno-Karabakh region, stabilization of the Georgian or Azerbaijani governments, or prevention of ethnic cleansing. It also provides a summary of each contingency compared to the 1999 National Security Strategy's criteria for deploying U.S. forces to assess the probability of intervention. The monograph is a passport to the Caucasus, removing the mystery from it to assess its operational challenges. The key to success in future military operations there is understanding the Caucasus' diversity and it's emerging international significance.
- Hardcover
Anbieter: avelibro OHG, Dinkelscherben, , Deutschlandavelibro OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 20,00
EUR 26,93 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
4°, gebundene Ausgabe. Zustand: Sehr gut. 417 Seiten : mit Abbildungen : Ausgetragenes Bibliotheksexemplar, Inventarnummern-Etikett über Rücken; ansonsten neuwertig; insgesamt als sehr gut bewertet B03-02-01F Sprache: Deutsch Gewicht in Gramm: 1693.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 44,41
EUR 61,30 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - Joint urban operations have grown in importance since the early 1990's, with doctrine on the verge of production. This paper captures the joint urban warfare phenomenon of the past decade, its emergence in the field of military art, and the directions that it will likely take. Developing alongside j…oint urban warfare doctrine is the transformation of the U.S. Army. The transformation will provide the Joint Force Commander new roles and missions for Army forces in the joint team. The study recommends strategic descent as one such role. The descent describes a single powerful blow-a coup de main-delivered at the outset of a campaign or operation. The descent can provide an early decision in the conflict or seize the initiative for the joint force before it completely arrives into theater. The objective forces of the Army will be capable of non-littoral descents in particular, given their new strategically responsive capabilities. For urban operations, the joint commander can avoid the long buildup of forces by deploying the objective Army forces rapidly to establish U.S. presence in theater. The unique capabilities being developed for the objective force will enrich the joint commander's menu of military options for future joint urban operations.
Sprache: Deutsch
Verlag: Akademie-Verlag, Berlin, 1966
- Softcover
Anbieter: Clerc Fremin, Steingaden, , DeutschlandClerc Fremin
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 31,00
EUR 22,15 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. Seite T1-T230 Zustand: Keine Beschädigungen, mit einer Zueignung auf dem Einband. Kleine Risse am Rücken. Bindung, Ecken und Kanten sind gut. Sprache: Deutsch Gewicht in Gramm: 526.
Sprache: Deutsch
Verlag: Akademie-Verlag, Berlin, 1966
- Softcover
Anbieter: Clerc Fremin, Steingaden, , DeutschlandClerc Fremin
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 31,00
EUR 22,15 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. Seite T1-T230 Zustand: Keine Beschädigungen, keine Eintragungen. Kleine Risse am Rücken. Bindung, Ecken und Kanten sind gut. Sprache: Deutsch Gewicht in Gramm: 526.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 115,62
EUR 13,88 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 127,83
EUR 13,88 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 95,15
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Verification of Object-Oriented Software. The KeY Approach | Foreword by K. Rustan M. Leino | Bernhard Beckert (u. a.) | Taschenbuch | xxix | Englisch | 2007 | Springer | EAN 9783540689775 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartma…nn[at]springer[dot]com | Anbieter: preigu.
Verification of Object-oriented Software: The Key Approach
Beckert, Bernhard (Editor)/ Hahnle, Reiner (Editor)/ Schmitt, Peter H. (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 160,08
EUR 17,38 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 1st edition. 658 pages. 9.00x6.00x1.00 inches. In Stock.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,99
EUR 65,16 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Long gone are the days when program veri cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we w…ant to verify today are thus longer, including whole classes and modules. As we consider larger programs, the number of cases to be considered in a proof increases. The creative and insightful parts of a proof can easily be lost in scores of mundane cases. Another problem with paper-and-pen proofs is that the features of the programming languages we employ in these programs are plentiful, including object-oriented organizations of data, facilities for specifying di erent c- trol ow for rare situations, constructs for iterating over the elements of a collection, and the grouping together of operations into atomic transactions. These language features were designed to facilitate simpler and more natural encodings of programs, and ideally they are accompanied by simpler proof rules. But the variety and increased number of these features make it harder to remember all that needs to be proved about their uses. As a third problem, we have come to expect a higher degree of rigor from our proofs. A proof carried out or replayed by a machine somehow gets more credibility than one that requires human intellect to understand.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 113,10
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Deductive Software Verification - The KeY Book | From Theory to Practice | Wolfgang Ahrendt (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxii | Englisch | 2016 | Springer | EAN 9783319498119 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg,…juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 128,39
EUR 65,48 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verific…ation, test generation, security analysis, visualization, and debugging. All of them are realized in the state-of-art deductive verification framework KeY.This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice. It contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work. But the book also features fully self-contained chapters on the Java Modeling Language and on Using KeY that require nothing else than familiarity with Java. All other chapters are accessible for graduate students (M.Sc. level and beyond). The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 187,81
EUR 17,38 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 736 pages. 9.00x6.00x2.00 inches. In Stock.
Verlag: Berlin Akad-Vlg 1977
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 3,00
EUR 48,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
19 S. OBr. (SAW. Sitz.-Ber. d. math.-nat. Kl. 113/2). Sprache: Deutsch 0 gr.
Verlag: Berlin Akad-Vlg 1990
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 4,00
EUR 48,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
22 S. OBr. (SAW. Sitz.-Ber. d. Math.-nat. Kl. 122/1). Sprache: Deutsch.
Verlag: Berlin Akad-Vlg 1950
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 4,00
EUR 48,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
42 S. OBr. (SAW. Ber. über d. Verh. d. Math.-nat. Kl. 97/4). Sprache: Deutsch 0 gr.
Verlag: Berlin Akad-Vlg 1951
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 4,00
EUR 48,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
22 S. OBr. Umschlag lichtrandig. Nachgedunkelt. (Berichte über die Verhandlungen der sächs. Akad. der Wiss. zu Leipzig Math.-naturwiss. Kl. 98/4). Sprache: Deutsch 0 gr.
Verlag: Beton, Düsseldorf 1986
- Hardcover
- Erstausgabe
Anbieter: Versandantiquariat Rainer Kocherscheidt, Velbert, DeutschlandVersandantiquariat Rainer Kocherscheidt
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 16,50
EUR 54,50 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Pappband. Zustand: Sehr gut. Erste Auflage. 417 S.; mit zahlr. teils farbigen Fotos, zahlr. Plänen u. Zeichnungen Size: 30,3 cm.
Verlag: Berlin Akad-Vlg 1984
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 6,00
EUR 48,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
58 S. OBr. (SAW. Sitz.-Ber. d. math.-nat. Kl. 117/2). Sprache: Deutsch 0 gr.
- Softcover
Anbieter: Antiquariat Renner OHG, Albstadt, , DeutschlandAntiquariat Renner OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 20,00
EUR 45,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. Zustand: Sehr gut. Leipzig, Teubner 1987. Einige Abb. u. Porträts. 243 S. OKart. Teubner-Archiv zur Mathematik, 8.- Mit Beiträgen von C. Neumann, F. Klein, F. Hausdorff, H. Liebmann, W. Blaschke u. L. Lichtenstein.- Durchgehend etwas gebräunt.
Leipziger mathematische Antrittsvorlesungen: Auswahl aus den Jahren 1869 ― 1922 (Teubner-Archiv zur Mathematik, 8) (German Edition)
Neumann, Carl; Klein, Felix; Lie, Sophus; Engel, F.; Hausdorff, F.; Liebmann, H.; Blaschke, W.; Lichtenstein, L.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 58,17
EUR 13,88 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Deutsch
Verlag: Akademische Verlagsgesellschaft Geest & Portig 1984
Anbieter: Antiquariat Bookfarm, Löbnitz, DeutschlandAntiquariat Bookfarm
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 15,24
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
356 Seiten Ehemaliges Bibliotheksexmplar mit Stempel und Signatur in mittelmäßige Zustand.Text Sauber.Einband beschädigt, berieben. Sprache: Deutsch Gewicht in Gramm: 560.
Weitere BilderDIFFERENTIALGLEICHUNGEN Lösungsmethoden und Lösungen II
Kamke E. und Pickert G. [Hrsg.] Beckert H. Kochendörffer R. -
Sprache: Deutsch
Verlag: Akademische Verlagsgesellschaft Geest & Portig K.-G., Leipzig 1965
- Hardcover
Anbieter: Butterfly Books GmbH & Co. KG, Herzebrock-Clarholz, DeutschlandButterfly Books GmbH & Co. KG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 26,50
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Sehr gut. 123 Seiten Ein umfassendes Werk über partielle Differentialgleichungen erster Ordnung und deren Lösungen, verfasst von E. Kamke. Dieses Buch behandelt Anwendungen in Physik und Technik und bietet zahlreiche Lösungsmethoden und Beispiele. Zustand: Einband mit geringfügigen Gebrauchsspuren, insgesamt…SEHR GUTER Zustand! HC1-698-5/8-00605949 Sprache: Deutsch Gewicht in Gramm: 557.
