Robert B. Jones – författare
Visar alla böcker från författaren Robert B. Jones. Handla med fri frakt och snabb leverans.
11 produkter
Thai Cultural Reader
Av Robert B. Jones, Ruchira C. Mendiones m. fl.
Häftad, 1976
371 kr
Lägg i varukorg
Includes a Thai-English glossary of over 3,500 words.
Symbolic Simulation Methods for Industrial Formal Verification
Inbunden, 2002
1129 kr
Lägg i varukorg
Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, approaches to the verification problem. Both are based on symbolic simulation. The first approach is applied at the gate level and has been successful in verifying sub-circuits of industrial …
Symbolic Simulation Methods for Industrial Formal Verification
Häftad, 2012
1096 kr
Lägg i varukorg
Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, approaches to the verification problem. Both are based on symbolic simulation. The first approach is applied at the gate level and has been successful in verifying sub-circuits of industrial …
Symbolic Simulation Methods for Industrial Formal Verification
E-bok, 2012
1459 kr
Lägg i varukorg
Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, approaches to the verification problem. Both are based on symbolic simulation. The first approach is applied at the gate level and has been successful in verifying sub-circuits of industrial …
Collected Poems of Jean Toomer
Av Margot Toomer Latimer, Robert B. Jones
E-bok, 2014
558 kr
Lägg i varukorg
This volume is the only collected edition of poems by Jean Toomer, the enigmatic American writer, Gurdjieffian guru, and Quaker convert who is perhaps best known for his 1923 lyrical narrative Cane . The fifty-five poems here -- most of them previously unpublished -- chart a fascinating evolution …
Collected Poems of Jean Toomer
Av Margot Toomer Latimer, Robert B. Jones
E-bok, 2014
837 kr
Lägg i varukorg
This volume is the only collected edition of poems by Jean Toomer, the enigmatic American writer, Gurdjieffian guru, and Quaker convert who is perhaps best known for his 1923 lyrical narrative Cane . The fifty-five poems here -- most of them previously unpublished -- chart a fascinating evolution …
Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Av Thomas Ball, Robert B. Jones
Häftad, 2006
1129 kr
Lägg i varukorg
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 …
Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Av Robert B. Jones, Thomas Ball
E-bok, 2006
1502 kr
Lägg i varukorg
Collected Poems of Jean Toomer
Av Margot Toomer Latimer, Robert B. Jones
E-bok, 2014
531 kr
Lägg i varukorg
This volume is the only collected edition of poems by Jean Toomer, the enigmatic American writer, Gurdjieffian guru, and Quaker convert who is perhaps best known for his 1923 lyrical narrative Cane . The fifty-five poems here -- most of them previously unpublished -- chart a fascinating evolution …
Collected Poems of Jean Toomer
Av Margot Toomer Latimer, Robert B. Jones
E-bok, 2014
1043 kr
Lägg i varukorg
This volume is the only collected edition of poems by Jean Toomer, the enigmatic American writer, Gurdjieffian guru, and Quaker convert who is perhaps best known for his 1923 lyrical narrative Cane . The fifty-five poems here -- most of them previously unpublished -- chart a fascinating evolution …
