Results for Robert B. Jones

ISBN.nu

search for books and compare prices

Robert B. Jones has written 10 work(s)

Search for other authors with the same name

displaying 1 to 10 | at end

show results in order: alphabetically | oldest to newest | newest to oldest

Symbolic Simulation Methods for Industrial Formal Verification

Product Description: This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity...read more

By Robert B. Jones

See complete details on each edition (2 editions listed)

Hardcover:

9781402071034 | Kluwer Academic Pub, May 1, 2002, cover price $149.00 | About this edition: This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation.

Paperback:

9781461353959 | Spiral-bound edition (Springer Verlag, October 23, 2012), cover price $149.00 | About this edition: This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation.

Jean Toomer: Selected Essays and Literary Criticism

By Robert B. Jones (editor)

See complete details on each edition (2 editions listed)

Hardcover:

9780127843100, titled "Analytical Methods for Pesticides, Plant Growth Regulators & Food Additives" | Academic Pr, August 1, 1978, cover price $156.00 | also contains Analytical Methods for Pesticides, Plant Growth Regulators & Food Additives, Jean Toomer: Selected Essays and Literary Criticism

Paperback:

9781572335820 | Univ of Tennessee Pr, September 30, 2006, cover price $17.95

Jean Toomer: Selected Essays and Literary Criticism

By Robert B. Jones and Jean Toomer

See complete details on each edition (2 editions listed)

Hardcover:

9780870499388 | Univ of Tennessee Pr, July 1, 1996, cover price $26.00

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Product Description: This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4th Federated Logic Conference, FLoC 2006. Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and system...read more

By Thomas Ball (editor) and Robert B. Jones (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540374060 | Springer-Verlag New York Inc, September 15, 2006, cover price $149.00 | About this edition: This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4th Federated Logic Conference, FLoC 2006.

A Short Guide to Writing About Education

By Patrick Bizzaro, Todd Finley and Robert B. Jones

See complete details on each edition (1 edition listed)

Paperback:

9780321094216 | Longman Pub Group, October 15, 2005, cover price $24.00

Thai Cultural Reader: Book I

By Robert B. Jones and Craig J. Reynolds

See complete details on each edition (1 edition listed)

Paperback:

9780877275039 | 2 revised edition (Cornell Univ Southeast Asia, October 1, 1994), cover price $23.95

Jean Toomer and the Prison-House of Thought: A Phenomenology of the Spirit

Product Description: Offering a critique of the subjective idealism that lies at the centre of Toomer's oeuvre through the lens of Lukac's theory of reification, Robert B. Jones frames his analysis in terms of Kierkegaard's stages of development - the aesthetic, the ethical, and the religious.

By Robert B. Jones

See complete details on each edition (1 edition listed)

Hardcover:

9780870238604 | Univ of Massachusetts Pr, December 1, 1993, cover price $35.00 | About this edition: Offering a critique of the subjective idealism that lies at the centre of Toomer's oeuvre through the lens of Lukac's theory of reification, Robert B.

Montgomery County

By Ursula Beach and Robert B. Jones (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780878701797 | Memphis State Univ Pr, October 1, 1988, cover price $12.50

The Collected Poems of Jean Toomer

Poems from each of four distinct periods of Toomer's career deal with nature, travel, cities, country life, love, religion, and hope

By Robert B. Jones, Jean Toomer and Margery Toomer

See complete details on each edition (2 editions listed)

Hardcover:

9780807817735 | Univ of North Carolina Pr, March 1, 1988, cover price $27.50 | About this edition: Poems from each of four distinct periods of Toomer's career deal with nature, travel, cities, country life, love, religion, and hope

Paperback:

9780807842096 | Univ of North Carolina Pr, March 1, 1988, cover price $31.95 | About this edition: Poems from each of four distinct periods of Toomer's career deal with nature, travel, cities, country life, love, religion, and hope

Spoken Vietnamese

Speech of educated people in Ho Chi Minh city, with an appendix on Northern Dialect.

By Robert B. Jones

See complete details on each edition (2 editions listed)

Paperback:

9780879503710 | Spoken Language Services, March 1, 1978, cover price $15.00

Cassette/Spoken Word:

9780879503734 | Spoken Language Services, June 1, 1940, cover price $90.00 | About this edition: Speech of educated people in Ho Chi Minh city, with an appendix on Northern Dialect.

displaying 1 to 10 | at end