Roderick a thomas (41 Ergebnisse)
- Hardcover
Anbieter: HPB-Movies, Dallas, TX, USAHPB-Movies
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 15,07
EUR 3,22 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
hardcover. Zustand: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.
- Softcover
Anbieter: HPB-Red, Dallas, TX, USAHPB-Red
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 16,64
EUR 3,22 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
paperback. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
Reporting/Writing from Front Row Seats
Grumich, Charles A., Ed.; Whitehead, David; Morin, Relman; Mulligan, Hugh; Hightower, John M.;Pett, Saul; Ryan, William L.; Grimsley, Will; Boyle, Hal; Heinzerling, Lynn; Arnett, Peter; Cormier, Frank; Blakeslee, Alton; Benedict, Howard; Barbour, John; Berrellez, Robert; Loh, Jules; Moody, Sid; Everett, Arthur; Gavshon, Arthur L.; Cornell, George W.; Cunniff, John; Wheeler, Fenton; Roderick; Glover, William; Thomas, Bob
- Hardcover
- Erstausgabe
Anbieter: Winding Road Books, Templeton, CA, USAWinding Road Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Sehr gut
EUR 26,57
EUR 5,98 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Fine. Zustand des Schutzumschlags: Fine. 1st Edition. First Printing. Unread - Fresh and crisp straight from the bookstore shelf. Boards are straight and stiff. Binding is tight and still new. Tips pointed. DJ NOT price clipped - no flaws. Previous owner name and address on the front free endpaper. Looks spec…tacular in a shiny mylar dust protector.
Medical and Experimental Mammalian Genetics: A Perspective (March of Dimes Birth Defects Foundation - Birth Defects: Original Article Series, Volume 23, Number 3, 1987)
McKusick, Victor A. (editor); Roderick, Thomas H. (editor); Mori, Joe (editor); Paul, Natalie W. (editor)
- Hardcover
Anbieter: S.C. Sumner, Venice, FL, USAS.C. Sumner
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 35,39
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Hard Cover. Zustand: Very Good. No ownership markings.
Columns to Characters: The Presidency and the Press Enter the Digital Age (Kenneth E. Montague Presidential Rhetoric Series)
Baker, Peter; Kumar, Martha Joynt; Kirk, Rita; Demarest, David; Hart, Roderick P; DeFrank, Thomas M.; Smith, Stephen A; Pedersen, Tony; Mong, Robert W; Edwards III, George C; Mercieca, Jennifer; Deshishku, Stacia
- Hardcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 46,95
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Verlag: Private Libraries Association, London, 1962
- Softcover
- Erstausgabe
Anbieter: Main Street Fine Books & Mss, ABAA, Galena, IL, USAMain Street Fine Books & Mss, ABAA
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 26,57
EUR 5,16 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. 8vo. Stiff yellow wrappers. v, 37pp, (5pp), (8pp ads). Illustrations. Near fine. Handsome first edition of this nifty bibliography of private press volumes published in 1961. From the private library of JOHN BEECHER (1904-80), noted social protest poet and fine press publisher. His wife, artist Barbara Beecher (b. 192…5), neatly inks "Marked Copy / See Pgs. 22 & 33" in red near the bottom of the front wrapper; a 3" X 3" yellow Post-It note affixed to the front flyleaf also notes "Rampart Press / See Pgs. 22 & 23 / B.M.B." in her hand. Page 23 lists Rampart Press and describes John Beecher's poetry collection "Phantom City" and his poetry leaflet "Homage to a Subversive." Finally, page 24 reproduces a Rampart Press colophon page featuring their Indian-inspired symbol, a piece of artwork by Barbara Beecher; on this page another 3" X 3" yellow Post-It note is affixed with "Rubber block / print" inked in her large hand. A nice association copy.
Verlag: London. Private Libraries Association., 1962
Anbieter: Richard V. Wells ABA, ILAB, TEIGNMOUTH, Vereinigtes KönigreichRichard V. Wells ABA, ILAB
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 2,40
EUR 24,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den Warenkorb(220 x 140). pp, v, (1), 37, (13). Stapled card covers. Light spotting on front cover else very good.
Verlag: London. Private Libraries Association., 1963
Anbieter: Richard V. Wells ABA, ILAB, TEIGNMOUTH, Vereinigtes KönigreichRichard V. Wells ABA, ILAB
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 2,40
EUR 24,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den Warenkorb(220 x 140). pp, iv, (2), 53, (13). Stapled card covers. Illustrated. Very good.
Columns to Characters: The Presidency and the Press Enter the Digital Age (Kenneth E. Montague Presidential Rhetoric Series)
Baker, Peter; Kumar, Martha Joynt; Kirk, Rita; Demarest, David; Hart, Roderick P; DeFrank, Thomas M.; Smith, Stephen A; Pedersen, Tony; Mong, Robert W; Edwards III, George C; Mercieca, Jennifer; Deshishku, Stacia
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 52,68
EUR 13,96 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Verlag: Pinner. Private Libraries Association., 1961
Anbieter: Richard V. Wells ABA, ILAB, TEIGNMOUTH, Vereinigtes KönigreichRichard V. Wells ABA, ILAB
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 9,60
EUR 24,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den Warenkorb(220 x 140). pp, iv, 43, (13). Stapled card covers. Small nick on page edge otherwise very good.
Verlag: North Harrow. Private Libraries Association., 1960
Anbieter: Richard V. Wells ABA, ILAB, TEIGNMOUTH, Vereinigtes KönigreichRichard V. Wells ABA, ILAB
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 9,60
EUR 24,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den Warenkorb(220 x 140). pp, v, (1), 34, (6). Stapled card covers. Prospectus tucked in. Very good.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 21,90
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. The Origin of Creation | Or, the science of matter and force, a new system of natural philosophy | Thomas Roderick Fraser (u. a.) | Taschenbuch | 252 S. | Englisch | 2017 | hansebooks | EAN 9783337035976 | Verantwortliche Person für die EU: Hansebooks GmbH, Trakehner Weg 52, 22844 Norderstedt, gb[at]ha…nsebooks[dot]com | Anbieter: preigu.
Verlag: Coxmoor Publishing Co., 1999
- Hardcover
- Erstausgabe
- Signiert
Anbieter: World of Rare Books, Goring-by-Sea, SXW, Vereinigtes KönigreichWorld of Rare Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 53,46
EUR 5,62 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. 1999. First Edition. 162 pages. No dust jacket. Signed by the author. Pictorial paper covered boards. Colour and black and white illustrations throughout. Flat signed by author to title page. Pages remain bright and clean. Binding remains firm. Boards have light shelf wear with minor corner bumping and crushi…ng to spine ends.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 90,67
EUR 17,48 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 637 pages. 11.00x8.20x1.50 inches. In Stock.
- Hardcover
Anbieter: SHIMEDIA, Brooklyn, NY, USASHIMEDIA
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 115,14
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. Satisfaction Guaranteed or your money back.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,45
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Revision Total Hip Arthroplasty | James V. Bono (u. a.) | Taschenbuch | xxix | Englisch | 2012 | Springer | EAN 9781461271314 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 143,53
EUR 2,27 VersandVersand innerhalb von USAAnzahl: 2 verfügbar
Zustand: New.
- Hardcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 136,69
EUR 12,92 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 136,68
EUR 17,48 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Zustand: New.
Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 159,72
EUR 2,27 VersandVersand innerhalb von USAAnzahl: 2 verfügbar
Zustand: As New. Unread book in perfect condition.
- Hardcover
Anbieter: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, DeutschlandRheinberg-Buch Andreas Meier eK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 149,79
EUR 17,13 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Neuware -Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for t…he verification of hardware and software in industry.The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic.The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools. 1212 pp. Englisch.
Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 157,96
EUR 17,48 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Zustand: As New. Unread book in perfect condition.
- Hardcover
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 149,79
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Neuware -Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for t…he verification of hardware and software in industry.The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic.The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools. 1212 pp. Englisch.
- Hardcover
Anbieter: Wegmann1855, Zwiesel, DeutschlandWegmann1855
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 149,79
EUR 25,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Neuware -Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for t…he verification of hardware and software in industry.The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic.The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.
- Hardcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 127,40
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Gebunden. Zustand: New. Comprehensive introduction and overview of the key foundational topicsExcellent reference for researchers and graduate students engaged with formal methods and verification toolsEditors and authors among the world s leading researchers in t.
- Hardcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 129,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Handbook of Model Checking | Edmund M. Clarke (u. a.) | Buch | xlviii | Englisch | 2018 | Springer-Verlag GmbH | EAN 9783319105741 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 162,23
EUR 45,47 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Neuware - Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for…the verification of hardware and software in industry.The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic.The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.
- Hardcover
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 149,79
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Neuware -Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for t…he verification of hardware and software in industry.The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic.The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg 1212 pp. Englisch.
Handbook of Model Checking
Clarke, Edmund M. (Editor)/ Henzinger, Thomas A. (Editor)/ Veith, Helmut (Editor)
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 201,01
EUR 23,30 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Brand New. 1000 pages. 9.25x6.50x2.75 inches. In Stock.
- Hardcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 234,35
EUR 3,43 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. 1000.
