Search Results: 'Kaufmann'

Search

×
×
×
×
33 results for "Kaufmann"
What a Life! By Lotte Kaufmann
Paperback: $6.58
Ships in 3-5 business days
The personal history of Lotte Kaufmann.
Zero Seed By Michael Kaufmann
Paperback: $12.00
Ships in 3-5 business days
Future Rapper and his band of bearded prophets and unlikely warriors stand against StaggerLee and his forces of contemptuous greed mongers, fighting to protect the sanctity of time and avoid its... More > collapse.< Less
Seductive Viennese Whirl By Emma Kaufmann
eBook (ePub): $3.99
Download immediately.
It's New Year’s Eve and Londoner Kate Pickles is making a list of life changing resolutions. She wants to escape her bitchy boss and leave her stressful job behind. Pay off her credit card and... More > lose some weight. Finding True Love is at the end of the list. But so what, maybe love isn’t the top priority for a girl who knows dreaming big doesn’t guarantee happiness. Kate is used to living in the shadow of her glam friend Eva. But things are shaken up when the duo find themselves caught up in a steamy Austrian trip that leaves Kate in a Viennese Whirl. Kate meets a sexy Count and after a night out in a casino it seems Kate's luck might be about to change. Can Kate reach her goals including finding Love? Only if she let's herself get caught up in the whirlwind..... NB. This book contains adult content.< Less
Her Ten Year Itch By Emma Kaufmann
eBook (ePub): $3.96
Download immediately.
On the face, Scarlett has it all. She has a highly successful career, handsome husband, a child and even a nanny. But life has become so mundane. She wants sex, passion and excitement. She has... More > reached the point where younger men are not just younger men, they are her willing prey. However, soon she becomes the prey. She attracts the unwanted attentions of both an outrageous radio celebrity and the scandal-thirsty paparazzi after a perfectly innocent kiss to a lesbian supermodel gets splashed across the papers. Her new lifestyle certainly satisfies her cravings, but she gets far, far more than she bargained for. *warning* contains mature content< Less
Computer-Aided Reasoning: An Approach By Matt Kaufmann, Panagiotis Manolios, J Moore
Paperback: $22.12
Ships in 3-5 business days
Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and undergraduate courses on software engineering or formal methods. It is... More > also suitable in conjunction with other books in courses on hardware design, discrete mathematics, and theory. It is also appropriate as a reference for business and industry. In this book we present: * A practical functional programming language closely related to Common Lisp; * A formal logic in which defined functions correspond to axioms; * The computer-aided reasoning system ACL2, which includes mechanical support for the proof process. ACL2 is part of the Boyer-Moore family of theorem provers, for which its authors have received the 2005 ACM Software System Award. ACL2 has been successfully applied to projects of commercial interest, including hardware and software verification. Approximately 140 exercises are distributed throughout the book.< Less
Bramble, Infant Martian By Donald L. Kaufmann
eBook (ePub): $2.99
Download immediately.
All the girls like his name: Bramble. It’s the kind of name that would make Shirley Temple say “ouch” if she were bad. Eternally part infant, part wily adult, Bramble is a... More > twentieth-century wanderer and adventurer who leads a vicarious, nomadic life across America and ironically finds himself on his way to Mars. Throughout his travels, Bramble becomes entangled in complications that require—and reveal—his sharp intelligence, coupled with an acute sense of absurdity, that enable him to survive. Bramble not only survives his confrontations with adversity, he thrives in his struggles with the realities of contemporary American life. Imbuing a dark sense of irony, Bramble, Infant Martian by author Donald L. Kaufmann, imagines the physical end of American men as the Machine Age wipes them out. Written against the backdrop of America’s developing space exploration program, this science fiction novel shares how transformed men migrate beyond earth and use their wits and resources to survive.< Less
Bramble, Infant Martian By Donald L. Kaufmann
Paperback: $35.99
Ships in 3-5 business days
All the girls like his name: Bramble. It’s the kind of name that would make Shirley Temple say “ouch” if she were bad. Eternally part infant, part wily adult, Bramble is a... More > twentieth-century wanderer and adventurer who leads a vicarious, nomadic life across America and ironically finds himself on his way to Mars. Throughout his travels, Bramble becomes entangled in complications that require—and reveal—his sharp intelligence, coupled with an acute sense of absurdity, that enable him to survive. Bramble not only survives his confrontations with adversity, he thrives in his struggles with the realities of contemporary American life. Imbuing a dark sense of irony, Bramble, Infant Martian by author Donald L. Kaufmann, imagines the physical end of American men as the Machine Age wipes them out. Written against the backdrop of America’s developing space exploration program, this science fiction novel shares how transformed men migrate beyond earth and use their wits and resources to survive.< Less
Computer-Aided Reasoning: ACL2 Case Studies By Matt Kaufmann, Panagiotis Manolios, J Moore
Paperback: $22.39
Ships in 3-5 business days
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software... More > systems. Included here are technical papers written by twenty-one contributors that report on self-contained and fully reproducible case studies, some of which are sanitized industrial projects. The papers deal with a wide variety of areas, including floating-point arithmetic, microprocessor simulation, model checking, symbolic trajectory evaluation, compilation, proof checking, real analysis, and several others. The case studies also contain exercises whose solutions are on the Web. In addition, the complete proof scripts necessary to formalize the models and prove all the properties discussed are on the Web.< Less
Requiem pour Stanley By Stéphane Kaufmann
Paperback: List Price: $22.36 $15.65 | You Save: 30%
Ships in 3-5 business days
(1 Ratings)
Requiem pour Stanley est d'abord une aventure... une aventure haletante ancrée dans un Paris résonnant de coups de feu, où les courses-poursuites s'emballent et les héros... More > tremblent pour leur vie. Mais Requiem pour Stanley est aussi un conte... un conte glaçant sur les angoisses nées des technologies modernes : en suivant une famille habituée aux réseaux sociaux et à consulter tous les médias, il s'intéresse aux informations personnelles laissées derrière nous et aux manières dont elles peuvent être mal utilisées. Qui est Stanley, qui espionne Matthieu et sa famille ? La folle journée que raconte ce roman vous aidera à trouver la réponse...< Less
The Civil War Diaries of CSA Pvts. John Henry Hess and Fant Kaufmann By Issued by R. Fulgham, MA, SCV
Paperback: $8.82
Ships in 3-5 business days
(2 Ratings)
FREE PREVIEW! FIRST TWENTY PAGES! Complete book contains two original diaries of two different Confederate soldiers during the War of Northern Agression (aka The Civil War). Fascinating reads -... More > first person accounts. Diary of Hess is copyrighted by Richard Lee Fulgham by permission of the Hess descendants. The diary of Kaufmann is in the public domain. Hess's diary has been novelized and that version copyrighted by R. L. Fulgham. Permanent book form and/or CD available for professional and/or amatuer historians.< Less