Roderick a thomas (41 résultats)

hardcover. Etat : 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.

paperback. Etat : 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.

Hardcover. Etat : Fine. Etat de la jaquette : 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 spectacular in a shiny mylar dust protector.…

Hard Cover. Etat : Very Good. No ownership markings.

Etat : New.

Paperback. 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. 1925), 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. …

(220 x 140). pp, v, (1), 37, (13). Stapled card covers. Light spotting on front cover else very good.

(220 x 140). pp, iv, (2), 53, (13). Stapled card covers. Illustrated. Very good.

Etat : New. In.

(220 x 140). pp, iv, 43, (13). Stapled card covers. Small nick on page edge otherwise very good.

(220 x 140). pp, v, (1), 34, (6). Stapled card covers. Prospectus tucked in. Very good.

Taschenbuch. Etat : 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]hansebooks[dot]com | Anbieter: preigu. …

Etat : 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 crushing to spine ends.…

Paperback. Etat : Brand New. 637 pages. 11.00x8.20x1.50 inches. In Stock.

Etat : New. Satisfaction Guaranteed or your money back.

Taschenbuch. Etat : 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. …

Etat : New.

HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.

Etat : New.

Etat : As New. Unread book in perfect condition.

Buch. Etat : 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. 1212 pp. Englisch.…

Etat : As New. Unread book in perfect condition.

Buch. Etat : 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. 1212 pp. Englisch.…

Buch. Etat : 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.…

Gebunden. Etat : 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.

Buch. Etat : 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. …

Buch. Etat : 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.Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg 1212 pp. Englisch.…

Hardcover. Etat : Brand New. 1000 pages. 9.25x6.50x2.75 inches. In Stock.

Etat : New. pp. 1000.

Buch. Etat : 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.…