Order Total (1 Item Items):
Shipping Destination:
Przigoda (37 results)
Author:
przigoda
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (37)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (22)
- As New, Fine or Near Fine (4)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (9)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (16)
- Not Print on Demand (25)
Language (3)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers.
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Association Member: GIAQ ILAB VDA
Seller rating 4 out of 5 stars
xii, 255 p. Hardcover. 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.
-
Schwarzes Silber. Die Geschichte des Steinkohlenbergwerks Sophia-Jacoba. Hrsg. von der Sophia-Jacoba GmbH Hückelhoven.
Language: German
Published by Essen : Verlag Glückauf, 1997
ISBN 10: 3773914334 ISBN 13: 9783773914330
Seller: Antiquariat Heinzelmännchen, Stuttgart, Germany
Seller rating 5 out of 5 stars
188 Seiten. Mit zahlreichen teils farbigen u. meist faks. Abbildungen. Farbig illustrierter OKart.-Einband. Gutes Exemplar. 29x21 cm Sprache: Deutsch Gewicht in Gramm: 1000.
-
Schwarzes Silber : die Geschichte des Steinkohlenbergwerks Sophia-Jacoba
Language: German
Published by Verl. Glückauf, Essen, 1997
ISBN 10: 3773914334 ISBN 13: 9783773914330
Seller: Gebrauchtbücherlogistik H.J. Lauterbach, Gummersbach, NRW, Germany
Seller rating 5 out of 5 stars
Hardcover. Condition: Gut. 29,5x21cm 188 Seiten. Hardcover. Zustand: Sehr Gut, eher ungelesen (Innen); Besitzerstempel; Einband (Außen) hat geringe Gebrauchsspuren; Sauberes Archivex. mit Klebestreifenrest (Außen); Schutzumschlag fehlt, oder es gibt keinen; * 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.
-
Unternehmensverbände im Ruhrbergbau. Zur Geschichte von Bergbau-Verein und Zechenverband 1858-1933. Mit Geleitwort von Klaus Tenfelde.
Published by Bochum Selbstverlag des Deutschen Bergbau Museums Bochum, 2002
Seller: Robert Höffner Versandantiquariat, Dortmund, Germany
Seller rating 4 out of 5 stars
First Edition
456(4) S., Gr.-Oktav, illustr., dkl.-roter OPp. ("Veröffentlichungen aus dem Deutschen Bergbau Museum Bochum, Nr. 102 = Schriften des Bergbau-Archivs, Nr. 11/ zugleich Veröffentlichung des Instituts für soziale Bewegungen, Schriftenreihe A: Darstellungen, Bd.21") - Erstausgabe. Dissertationsschrift des Verfassers. - Gutes, frisches Exemplar.
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 137.84
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 137.84
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. pp. 255.
-
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Language: English
Published by Springer International Publishing, 2019
ISBN 10: 3319892142 ISBN 13: 9783319892146
Taschenbuch. Condition: Neu. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers | Nils Przigoda (u. a.) | Taschenbuch | xii | Englisch | 2019 | Springer International Publishing | EAN 9783319892146 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Language: English
Published by Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3319892142 ISBN 13: 9783319892146
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow.
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Language: English
Published by Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 331972813X ISBN 13: 9783319728131
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow.
-
Hardcover. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Paperback. Condition: Brand New. reprint edition. 268 pages. 9.25x6.10x0.63 inches. In Stock.
-
Hardcover. Condition: Brand New. 268 pages. 9.25x6.10x0.87 inches. In Stock.
-
Glück auf! Ruhrgebiet. Der Steinkohlenbergbau nach 1945
Language: German
Published by Deutsches Bergbau-Museum, 2009
ISBN 10: 3937203443 ISBN 13: 9783937203447
Hardcover. Condition: Fine. Ex libris in front, otherwise a very neat copy.
-
Gb - (OVK: 32,00). Condition: Sehr gut. 288 S. MÄNGELEXEMPLAR: UNGELESEN und VOLLSTÄNDIG, aber mit leichten äußeren LAGER-/TRANSPORTSPUREN. Mit einem STEMPEL im BUCHSCHNITT als Mängelexemplar gekennzeichnet. Sofort versandfertig! Sprache: Deutsch Gewicht in Gramm: 522.
-
paperback. Condition: Gut. 288 Seiten; 9783837507386.3 Gewicht in Gramm: 1.
-
hardcover. Condition: Sehr gut. 288 Seiten; 9783835352728.2 Gewicht in Gramm: 1.
-
Unternehmensverbände im Ruhrbergbau. Zur Geschichte von Bergbau-Verein und Zechenverband 1858-1933.
Language: German
Published by Bochum,, 2002
Pappband, verlagsfrisch. 460 S., 19 Abbildungen, 19 Tabellen, umfangreiche Register (=Veröffentlichungen aus dem Deutschen Bergbau-Museum; Nr.102) Diese anschauliche Darstellung ist ein wertvoller Beitrag zur Geschichte des industriellen Verbandswesens im Bergbau, indem die internen Machtverhältnisse, Handlungs- und Entscheidungsstrukturen sowie die Stellung der Bergbauverbände im schwerindustriellen Interessenverbandsystems aufgezeigt werden. Desweiteren zeigt sie die Entsehungsbedingungen von Bergbau-Verein und Zechenverband auf sowie die Veränderung ihrer Funktions- und Aufgabenprofile. Sprache: Deutsch.
-
Unternehmensverbände im Ruhrbergbau. Zur Geschichte von Bergbau-Verein und Zechenverband 1858-1933.
Language: German
Published by Bochum, 2002
Seller: Antiquariat Andree Schulte, Grafschaft-Ringen, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
Gr.-8°. Kartoniert, 460 S. Einband etwas berieben, untere Ecken leicht bestoßen, Fußschnitt berieben, sonst ordentlicher Zustand. Sprache: Deutsch Gewicht in Gramm: 1200.
-
Schwarzes Silber. Die Geschichte des Steinkohlenbergwerks Sophia Jacoba.
Language: German
Published by Hückelhoven,, 1997
4°, Pappband. 188 S., zahlreiche s/w-Abbildungen, Sprache: Deutsch Gewicht in Gramm: 0.
-
Bergbaufilme. Inventar zur Überlieferung in Archiven, Museen und anderen Dokumentationsstellen in der Bundesrepublik Deutschland.
Language: German
Published by Bochum, Deutsches Bergbaumuseum,, 2005
Pappband. 926 S., weist 2432 Filme nach Sprache: Deutsch.
-
Bergbaufilme. Inventar zur Überlieferung in Archiven, Museen und anderen Dokumentationsstellen in der Bundesrepublik Deutschland.
Language: German
Published by Bochum. Deutsches Bergbau-Museum., 2005
ISBN 10: 3937203125 ISBN 13: 9783937203126
Karton Karton. Condition: Sehr gut. 926 Seiten, Hervorragender Zustand. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Deutsch Gewicht in Gramm: 2090.
-
Geschichte des Bergbaus
Seller: Antiquariat Der Papiersammler, Wetter, Germany
Seller rating 4 out of 5 stars
L & H, Berlin, 2018, , 273, Hardcover (gebunden), 8°, ohne Schutzumschlag, Seiten leicht wellig,
-
Glück auf! Ruhrgebiet. Der Steinkohlenbergbau nach 1945. Katalog der Ausstellung des Deutschen Bergbau-Museums Bochum vom 6. Dezember 2009 bis 2. Mai 2010. (Veröffentlichungen aus dem Deutschen Bergbau-Museum Bochum, Nr. 169, zugleich: Schriften des Bergbau-Archivs, Nr. 21).
Language: German
Published by Bochum : Deutsches Bergbau-Museum,, 2009
ISBN 10: 3937203443 ISBN 13: 9783937203447
Seller: Antiquariat Dr. Josef Anker, Kiefersfelden, BAY, Germany
Seller rating 5 out of 5 stars
577 S., sehr zahlreiche farbige und s/w Abbildungen, 29 x 23 cm, farbig illustrierter Pappband INHALT: Grußworte; Vorwort; 1. Der Steinkohlenbergbau nach 1945 - Grundlagen und allgemeine Entwickung (Zur Geschichte des Ruhrbergbaus nach 1945 - ein Überblick; Rahmenbedingungen der Verbandspolitik im Ruhrbergbau; Arbeitsbeziehungen und Sozialpolitik im Ruhrbergbau); 2. Der Neubeginn nach dem Zweiten Weltkrieg (Ein gordischer Knoten - Der Ruhrbergbau nach 1945; Vom IVB zur IG BCE - Gewerkschaftsentwicklung und Ruhrbergbau); 3. Wirtschaftsboom der 1950er Jahre (Zur Geschichte der Verwendung der Steinkohle; Grundlegende Entwicklung der deutschen Eisen- und Stahlindustrie; Kokereitechnische Entwicklungen und Maßnahmen zu einer umweltverträglichen Koksproduktion); 4. Kohlenkrise - Das erste Jahrzehnt 1958 - 1968 (Die Krise des Ruhrbergbaus bis zur Gründung der Ruhrkohle AG 1957/58 bis 1969; Der Weg zur Einheitsgesellschaft Ruhrkohle AG); 5. Technik im Steinkohlenbergbau (Bergbautechnik nach 1945; Gewinnungstechnik im Ruhrkohlenbergbau; Gebirgsdruck und Grubenausbau unter besonderer Berücksichtigung des Strebausbaus; Der Hydrobergbau im Ruhrgebiet); 6. Kohlenkrise und Anpassung (Vom Hausbrand zum Wärmemarkt. Wandel und Verschwinden eines Absatzmarktes für Ruhrkohle; Montanmitbestimmung und Arbeitskämpfe im Ruhrbergbau; Zur Entwicklung der Bergbauzulieferindustrie); 7. Die Ewigkeitslasten des Steinkohlenbergbaus; 8. Anhang. Sehr guter Zustand Sprache: Deutsch Gewicht in Gramm: 3050.
-
Condition: new. Questo è un articolo print on demand.
-
Condition: new. Questo è un articolo print on demand.
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Language: English
Published by Springer International Publishing Jun 2019, 2019
ISBN 10: 3319892142 ISBN 13: 9783319892146
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. 268 pp. Englisch.
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Language: English
Published by Springer International Publishing Jan 2018, 2018
ISBN 10: 331972813X ISBN 13: 9783319728131
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. 268 pp. Englisch.
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Language: English
Published by Springer International Publishing, 2019
ISBN 10: 3319892142 ISBN 13: 9783319892146
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a general flow and description for the validation and verification of UML/OCL modelsDemonstrates a detailed realization of the general flow using satisfiability solversIncludes a case study that presents the possibilities of the stat.
