roderick a thomas (39 Ergebnisse)

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!

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 spectacular in a shiny mylar dust protector.

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

8vo, (220x140mm), vi,58p. several illustrations. Original wrappers. Please note that the advised postage is based on an average book, if necessary the postage will be reduced to the correct amount and you will be notified by email.

Zustand: New. In.

200 / 216 pp. Good condition; touches of wear on covers.

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

Zustand: 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.

Hardcover. Zustand: Very Good. No Jacket. 1st Edition. H.B 162 pages, condition is very good. An owners name and name label to the reverse of the front cover.

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

Zustand: New. Satisfaction Guaranteed or your money back.

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.

Zustand: New.

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

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

Zustand: New.

Zustand: As New. Unread book in perfect condition.

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. 1212 pp. Englisch.

Zustand: As New. Unread book in perfect condition.

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. 1212 pp. Englisch.

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.

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.

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.

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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1212 pp. Englisch.

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

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.

Zustand: New. pp. 1000.

Hardcover. Zustand: New.

Soft Cover. Zustand: Fine. First Edition. HEAVY. x, 540pp, appendices, bw ills, map. Pictorial card. Near new. Translation of five of Leichhardt's diaries with several extensive appenices. Size: Small 4to.

Paperback. Zustand: Good. Illustrated by Hughes, George (cover); Riley, Art; Mayan, Earl;Crockwell, Douglass; Buckham; Bingham, James R.; Sickles, Noel; (illustrator). First Edition. 112 pages. Fiction: Summer Affair; The Selfish Kind of Love; Tugboat Annie and the Hoard of Heroin; Street of Fear; The Lady (part 1 of 4); Kiowa Moon (part 3 of 7). Features: Memo to the Hungarian Patriots; This Place Can Save Your Life - the modern hospital's 'recovery room'; Religion Hits the Road - old camp-meeting methods are being used again; Is Yankee Pitcher Don Larsen a One-Game Wonder?; Rugged Bachelors of Okinawa - great photos and story; Everybody Laughs at Me - Victor Borge - part 7 of 7) - he flopped as a movie star but smashed all records with his one-man show; American Sundown - beautiful photo of the Sundown Ranch in Slaughterhouse Canoy, California - home of the Lee Brooks family; The Lady Cops of the Dope Squad in Philadelphia - with photos of Gorothy Ferrabee, Dorothy Garvin, Geraldine Galcik, Margaret Logan, Lt. Glasgow Driscoll, Capt. Clarence Ferguson and Doris Fanning. Ads: Nice color American Motors ad inside front cover features George Romney; GE pink appliances; Ford Fairlane 500 Town Victoria and Del Rio Ranch Wagon; Wonderful one-page two-color ad for movie 'Designing Woman' starring Gregory Peck and Lauren Bacall; Florsheim Shoes - one page in color; 1957 Pontiac Strato-Streak; Lucky Strike cigarettes - inside diner; *Fantastic* two-page color Mack Truck ad shows illustrations of several models in color; Hertz Rent a car; GoodYear Tires; Nice two-page Chevrolet ad displays 20 of their models in color; Sweet Oldsmobile ad shows the Starfire 98 Holiday Coupe in a swank color waterfront scene; Totally wild color-photo one-page ad for National Cash Register (NCR) shows woman sitted in front of a massive Post-Tronic "The First Electronic Bank Posting Machine"; Colgate - romanti scene; Photo of Don Larssen with luscious Diana Dors; Nice color photo ad for Johnson outboard motors; Tasteful color photo ad for Hunt catsup; A&P Coffee; Cushman Road King; Great vintage one-page black and white photo ad for the new Jeep FC-150; Nostalgic color ad for Sunbeam electric lawn mowers inside back cover; Chesterfield cigarette ad on back cover features cartoon artists Al Capp, W. Steig and Richter. Average wear. Unmarked. A sound vintage copy.; Magazine; Folio - over 12" - 15" tall; The Saturday Evening Post, March 30, 1957 -- Pitcher Don Larsen / Victor Borge / Lady Dope Squad Cops Summer Affair; The Selfish Kind of Love; Tugboat Annie and the Hoard of Heroin; Street of Fear; The Lady (part 1 of 4); Kiowa Moon (part 3 of 7). Featu.