Gesamtpreis (1 Artikel Artikel):
Versandziel:
huth michael (101 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (101)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (2)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (47)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Secure Communicating Systems
Verlag: Cambridge University Press, 2001
ISBN 10: 052180731X ISBN 13: 9780521807319
Sprache: Englisch
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Logic in Computer Science : Modelling and Reasoning about Systems
Verlag: Cambridge University Press, 1999
ISBN 10: 0521656028 ISBN 13: 9780521656023
Sprache: Englisch
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Logic in Computer Science : Modelling and Reasoning about Systems
Verlag: Cambridge University Press, 1999
ISBN 10: 0521656028 ISBN 13: 9780521656023
Sprache: Englisch
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 8,74
EUR 9,12 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Logic in Computer Science : Modelling and Reasoning about Systems
Verlag: Cambridge University Press, 1999
ISBN 10: 0521656028 ISBN 13: 9780521656023
Sprache: Englisch
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 8,74
EUR 9,12 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Secure Communicating Systems
Verlag: Cambridge University Press, 2001
ISBN 10: 052180731X ISBN 13: 9780521807319
Sprache: Englisch
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 18,62
EUR 7,41 für den Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. x + 283 8 Figures, Illus.
-
Logic in Computer Science
Verlag: Cambridge University Press, 2005
ISBN 10: 0521670896 ISBN 13: 9780521670890
Sprache: Englisch
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 19,19
EUR 7,41 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbZustand: New. pp. 441.
-
Trust and Trustworthy Computing: 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013 - Proceedings
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 14,97
EUR 14,75 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9783642389078.
-
Zuschauerpost - ein Folgeproblem massenmedialer Kommunikation. Medien in Forschung + Unterricht, Serie A, Band 6.
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Gut. 338 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 475.
-
Internationale AusgabeLOGIC IN COMPUTER SCIENCE : MODELLING AND REASONING ABOUT SYSTEMS, 2ND EDITION
Verlag: Cambridge University Press, 2005
ISBN 10: 0521670896 ISBN 13: 9780521670890
Sprache: Englisch
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be printed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide.
-
Logic in Computer Science 2ed
Verlag: Cambridge University Press, 2004
ISBN 10: 052154310X ISBN 13: 9780521543101
Sprache: Englisch
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
-
Secure Communicating Systems: Design, Analysis, And Implementation (Hb)
Verlag: Cambridge University Press, 2001
ISBN 10: 052180731X ISBN 13: 9780521807319
Sprache: Englisch
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Internationale Ausgabe
Logic in Computer Science 2e
Verlag: Cambridge University Press, 2005
ISBN 10: 0521670896 ISBN 13: 9780521670890
Sprache: Englisch
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be printed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide.
-
Zuschauerpost - ein Folgeproblem massenmedialer Kommunikation. Mit einem Anhang 'Fernsehen und Folgekommunikation'
Anbieter: Antiquariat Smock, Freiburg, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Akzeptabel. Formateinband: Broschierte Ausgabe XV, 338 S. 1. Aufl.; Außen etwas gealtert und am Kopfschnitt etwas fleckig; Papier etwas gebräunt, Stempel im Deckel; sonst gut erhalten. Sprache: Deutsch Gewicht in Gramm: 550 [Stichwörter: ].
-
Mathematical Foundations of Advanced Informatics: Vol. 1: Inductive Approaches
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 31,08
EUR 7,41 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Gänsehaut - Prachtgefieder Anläßlich der Ausstellung Michael Huth, Malerei, im Frühjahr 1995 in der Galerie Nikolaus Fischer, Frankfurt am Main
Verlag: Breitengüßbach, 1995
Anbieter: Antiquariat Lücke, Einzelunternehmung, Schweinfurt, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Pappband. Zustand: Gut. 21 cm Die Vorraussetzungen der Malerei, Band 2. [56] S. Orig.-Pappband. Mit zahlreichen Abbildungen im Text. Mit 3 Beilagen zum Künstler - Gutes Exemplar.
-
Marion
Verlag: Rowohlt, 1961
Anbieter: DER COMICWURM - Ralf Heinig, Hohnhorst, DE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Gut. ---. nein.
-
Marion
Verlag: Rowohlt, 1961
Anbieter: DER COMICWURM - Ralf Heinig, Hohnhorst, DE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Befriedigend. ---. nein.
-
Kerngehäuse - Fruchtfleisch. Ein schlechtes Bild; so ist es sicher nicht; ähnlich (C.H.). Dieser Band erscheint anläßlich der gleichnamigen Ausstellung "Porträts" im Atelier Michael Huths vom 1. - 15. Mai 1994. (Die Voraussetzungen der Malerei, Nad 1. Herausgeber: Michael Huth).
Verlag: Münsterschwarzach Abtei: Benedict Press, 1994
Anbieter: Antiquariat B. Scierski, Erdmannhausen, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Ca. 56 S. (o.P.) mit zahlreichen sw Abbildungen. Normalformat, Kartoniert. Gutes Exemplar.
-
Logic in Computer Science: Modelling and Reasoning about Systems
Verlag: Cambridge University Press, 2004
ISBN 10: 052154310X ISBN 13: 9780521543101
Sprache: Englisch
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Fine.
-
Moby Dick : Das Gasthaus zum blasenden Wal (The Spouter-Inn) und Das Weisse des Wales (The Whiteness of the Wale). Mit zehn Linolschnitten von Michael Huth
Verlag: Hamburg Maximilian Gesellschaft, 2004
ISBN 10: 3921743524 ISBN 13: 9783921743522
Sprache: Englisch
Anbieter: Versandantiquariat Karin Dykes, Nürnberg, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Signiert
fester Einband. Halb-Pergament- Cover, 26x17,5 cm. 92 Seiten. Signiert "Huth". Cover ein wenig berieben. Guter Zustand. Veröffentlichung der Maximilian-Gesellschaft im Jahre 2004/2005. Auflage: 800 Exemplare. Von Michael Huth signiert 520 gr.
-
Logic in Computer Science: Modelling and Reasoning about Systems
Verlag: Cambridge University Press, 2004
ISBN 10: 052154310X ISBN 13: 9780521543101
Sprache: Englisch
Anbieter: Labyrinth Books, Princeton, NJ, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
A Dictionary of the American Avant-Gardes
Anbieter: Reuseabook, Gloucester, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 48,50
EUR 6,27 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Used; Very Good. Dispatched, from the UK, within 48 hours of ordering. Though second-hand, the book is still in very good shape. Minimal signs of usage may include very minor creasing on the cover or on the spine.
-
WileySchnellkurs Prozessmanagement
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 22,56
EUR 11,40 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 242 pages. German language. 8.10x5.60x0.80 inches. In Stock.
-
Logic in Computer Science: Modelling and Reasoning about Systems
Verlag: Cambridge University Press, United Kingdom, Cambridge, 1999
ISBN 10: 0521656028 ISBN 13: 9780521656023
Sprache: Englisch
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 53,89
EUR 6,38 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Recent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound basis in logic, and an introduction to the logical frameworks used in modelling, specifying and verifying computer systems. It provides a simple and clear presentation, covering propositional and predicate logic, and some specialised logics used for reasoning about the correctness of computer systems. The authors introduce a carefully chosen core of essential terminology: further technicalities are introduced only when necessary. Numerous examples are given, as well as a full exposition of a fast-growing technique for modelling and verifying computer systems, known as symbolic model checking. Numerous examples are given, and web support is available from http:www.cs.bham.ac.uk/research/lics. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Moby Dick. Mit 10 Linolschn. von Michael Huth. Veröffentlichung der Maximilian-Gesellschaft für 2004/05
Verlag: Hamburg : Maximilian-Gesellschaft., 2004
ISBN 10: 3921743524 ISBN 13: 9783921743522
Sprache: Englisch
Anbieter: Antiquariat REDIVIVUS, Regensburg, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Wie neu. 92 S. : Illustrationen 1130 Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 501 Halbpergament-imitierender Pappband ; 26 cm, Wie neu, keine Gebrauchsspuren.
-
Logic in Computer Science: Modelling and Reasoning about Systems
Verlag: Cambridge University Press, United Kingdom, Cambridge, 2004
ISBN 10: 052154310X ISBN 13: 9780521543101
Sprache: Englisch
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 55,29
EUR 6,38 für den Versand von Vereinigtes Königreich nach USAAnzahl: 5 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Secure Communicating Systems - Design, Analysis, and Implementation
Verlag: Cambridge University Press, 2001
ISBN 10: 052180731X ISBN 13: 9780521807319
Sprache: Englisch
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,26
EUR 14,25 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 228 pages. 9.25x6.50x1.00 inches. In Stock.
-
Programmheft DRESDNER THEATER Spielzeitheft 2. Halbjahr 1962 Spielzeit 1962 / 63
Verlag: VEB Landesdruckerei Sachsen, Dresden, 1962, 1962
Anbieter: Programmhefte24 Schauspiel und Musiktheater der letzten 150 Jahre, Görlitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
original Heft, nicht paginiert, ca. 40 Seiten, mehrere Szenenfotos. Zustand: gut, kleine Knickspur auf der Rückseite Theatervorschau für: Staatsoper, Staatsschauspiel, Staatliches Operettentheater, Kabarett Die Herkuleskeule und Theater Der Jungen Generation. - Theaterprogramm, Opernprogramm, Ballettprogramm, Musicalprogramm, Konzertprogramm, Theatermemorabilia, Programmhefte Sammlung, deutsche Theatergeschichte deu.
-
Trust and Trustworthy Computing: 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013, Proceedings (Lecture Notes in Computer Science / Security and Cryptology)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 72,43
EUR 11,40 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 292 pages. 9.25x6.10x0.66 inches. In Stock.
