Beckert h (38 Ergebnisse)

Zustand: New.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

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.

417 S. Zustand: Kleiner Besitzstempel auf Vorsatz, sonst wie neu. Sprache: Deutsch Gewicht in Gramm: 2000 30x21,5cm, Orig.-Pappband, geb.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

487 S., br. - Bibl.-Ex.

Hardcover. Zustand: Gut. 8. durchges. Aufl. 23,5cm; XXVI.; 668; Hardcover. Zustand: Gut bis Sehr Gut gering gebräunt (Innen); Besitzerstempel; Einband Außen hat geringe bis leichte Gebrauchsspuren; Nichtöffentliches Archivex. mit Klebestreifenrest (Außen); * Die Photos sind original von uns erstellt worden, u.a. erkennbar an einem kleinen weißen Stück Papier im oberen Schnitt. Ab und an verwenden Suchmaschinen Verlagsphotos, bei den Portalen selbst, werden aber nur unsere Originalphotos gezeigt.…

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.This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.…

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 alongside 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.This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.…

Hardcover. Zustand: Gut. 23,5cm; XV.; 243; Hardcover. Zustand: Gut bis Sehr Gut gering gebräunt (Innen); Besitzerstempel; Einband Außen hat geringe bis leichte Gebrauchsspuren; Nichtöffentliches Archivex. mit Klebestreifenrest (Außen); * Die Photos sind original von uns erstellt worden, u.a. erkennbar an einem kleinen weißen Stück Papier im oberen Schnitt. Ab und an verwenden Suchmaschinen Verlagsphotos, bei den Portalen selbst, werden aber nur unsere Originalphotos gezeigt. …

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.

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 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.This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.…

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.

Pappband. Zustand: Sehr gut. Erste Auflage. 417 S.; mit zahlr. teils farbigen Fotos, zahlr. Plänen u. Zeichnungen Size: 30,3 cm.

Hardcover. Zustand: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2002. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2002. Ammareal gives back up to 15% of this item's net price to charity organizations.…

Zustand: New.

19 S. OBr. (SAW. Sitz.-Ber. d. math.-nat. Kl. 113/2). Sprache: Deutsch 0 gr.

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 want 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.…

22 S. OBr. (SAW. Sitz.-Ber. d. Math.-nat. Kl. 122/1). Sprache: Deutsch.

42 S. OBr. (SAW. Ber. über d. Verh. d. Math.-nat. Kl. 97/4). Sprache: Deutsch 0 gr.

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.

Paperback. Zustand: Brand New. 1st edition. 658 pages. 9.00x6.00x1.00 inches. In Stock.

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. …

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 verification, 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.…

Paperback. Zustand: Brand New. 736 pages. 9.00x6.00x2.00 inches. In Stock.

58 S. OBr. (SAW. Sitz.-Ber. d. math.-nat. Kl. 117/2). Sprache: Deutsch 0 gr.

Zustand: Befriedigend. 356 Seiten Ehemaliges Bibliotheksexmplar mit Stempel und Signatur in mittelmäßige Zustand.Text Sauber.Einband beschädigt, berieben. Sprache: Deutsch Gewicht in Gramm: 560.