Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Theorem Provers in Circuit Design: Theory, Practice and Experience

Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings

Language EnglishEnglish
Book Paperback
Book Theorem Provers in Circuit Design: Theory, Practice and Experience Thomas Kropf
Libristo code: 05274454
Publishers Springer, Berlin, November 1994
Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedi...
? points 125 b
51.09 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

MISTER ALABAMA Phillip Quinn MORRIS / Book Paperback
common.buy 22.49 €
Stoa Felsefesinin Kurulus Fragmanlari Zenon / Book Paperback
common.buy 13.69 €
COMO IMPLANTAR EFICAZMENTE EL CAMBIO EN LA ORGANIZACION GELINAS / Book binding.
common.buy 94.39 €
Affordable
Tintin 18: Coke en stock - petit format, ed. 2009 (En Chinois) Hergé / Book Paperback
common.buy 10.59 €
90 her pro rozvoj samostatnosti a školních kompetencí pro děti od 4 do 6 let Andrea Erkert / Book Paperback
common.buy 8.39 €
Chakra-Energie-Massage Marianne Uhl / Book Hardback
common.buy 17.00 €
Применение теории фракталов в металловедении. Монография Е.А. Кривоносова / Book Paperback
common.buy 15.49 €
Afghanistan Schiffer / Book Paperback
common.buy 16.69 €
Gartenvögel Helga Hofmann / Book Paperback
common.buy 7.99 €
Calimots CE1 - Cahier d'exercices d'étude de la langue et fluence Adeline Pesic / Book Paperback
common.buy 8.09 €
Das Praxisbuch Samsung Galaxy A54 5G - Anleitung für Einsteiger Rainer Gievers / Book Paperback
common.buy 21.50 €
HE-MAN Y LOS MASTERS DEL UNIVERSO: COLECCION DE MINICOMICS V GLUT / Book Hardback
common.buy 35.59 €
IoT e Industria 4.0 Roderval Marcelino / Book Paperback
common.buy 33.59 €
Zednáři Jiří Stibral / Book Hardback
common.buy 7.99 €
Coming soon
Essential Grammar in Use Italian edition without answers Raymond Murphy / Book Paperback
common.buy 10.89 €
Pesquisa Operacional Calistênia S. Mascarenhas / Book Paperback
common.buy 57.19 €
Estrategias politicas ante la crisis Perez Garcia Encarnacion / Book Paperback
common.buy 70.29 €
Biobankgesetz Ulrich Gassner / Book Paperback
common.buy 14.00 €
Erwartungen und ökonomische Theoriebildung: Josef Windsperger / Book Paperback
common.buy 79.90 €
Hegels Logik und die Chemie Ulrich Ruschig / Book Paperback
common.buy 112.00 €
Estrategias y tácticas de marketing : interpretando al consumidor en su kilómetro cero FRANCESC VALLS / Book Paperback
common.buy 22.99 €
AutoCAD práctico : 130 ejercicios definitivos Montaño La Cruz / Book Paperback
common.buy 30.79 €
Casos prácticos de management estratégico Miguel Ángel Martínez Martínez / Book Paperback
common.buy 24.89 €
De toutes les nuits, les amants Kawakami / Book Paperback
common.buy 22.09 €

Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedings

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Theorem Provers in Circuit Design: Theory, Practice and Experience
Author Thomas Kropf, Ramayya Kumar
Language English
Binding Book - Paperback
Date of issue 1995
Number of pages 312
EAN 9783540590477
ISBN 3540590471
Libristo code 05274454
Publishers Springer, Berlin
Weight 424
Dimensions 155 x 233 x 17

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Handbook of Labor, Human Resources and Population Economics, 12 Teile Klaus F. Zimmermann / Book Hardback
common.buy 6 622.89 €
The Book of Milton Andrew Frinkle / Book Paperback
common.buy 10.99 €
Southern Europe? Martin Baumeister / Book Paperback
common.buy 56.49 €
Fundamentals of Work Measurement MITAL / Book Paperback
common.buy 67.09 €
Last Hour, The First Hour, The Forty-second Generation DONALD PEART / Book Paperback
common.buy 10.79 €
Door in the Dragon's Throat Frank E. Peretti / Book Paperback
common.buy 4.99 €
Hippos Go Berserk! Sandra Boynton / Book Paperback
common.buy 9.79 €
Waverley Novels, Volume 5 Sir Walter Scott / Book Hardback
common.buy 33.09 €
Oxford Handbook of Functional Brain Imaging in Neuropsychology and Cognitive Neurosciences Andrew C. Papanicolaou / Book Hardback
common.buy 208.49 €
Machine Methods M. Adithan / Book Hardback
common.buy 30.39 €
Optimization Review Velsicol Chemical Corporation Hardeman County Landfill Superfund Site U S Environmental Protection Agency / Book Paperback
common.buy 15.39 €
Old Friends and New Fancies: an imaginary sequel to the novels of Jane Austen Sybil G Brinton / Book Paperback
common.buy 8.69 €
Imaginary Abacus - Workbook: A Mind Math Step-By-Step Guide to Addition and Subtraction Using an Imaginary Japanese Abacus (Soroban). MR Paul Green / Book Paperback
common.buy 16.59 €
Low Carb Salads: 35 Low Carb Salad Recipes Katya Johansson / Book Paperback
common.buy 6.99 €
Age of Tyrants SNYDER / Book Paperback
common.buy 38.69 €
Trial of Thomas Muir, Younger, of Huntershill, Before the High Court of Justiciary, at Edinburgh, on the 30th and 31st Day of August, 1793, for Sediti THOMAS MUIR / Book Hardback
common.buy 25.89 €
101 Amazing Things to Do in Malaysia & Singapore: Malaysia & Singapore Travel Guide 101 Amazing Things / Book Paperback
common.buy 8.89 €
Doorway to Dilemma Mike Ashley / Book Paperback
common.buy 10.29 €
Time-Space, Spiking Neural Networks and Brain-Inspired Artificial Intelligence Nikola K Kasabov / Book Paperback
common.buy 256.69 €
The Kinship of Secrets Eugenia Kim / Book Hardback
common.buy 41.79 €
Price of Silence Nikki Copleston / Book Paperback
common.buy 18.79 €
Genetics for Guppies Bryan George Chin / Book Paperback
common.buy 42.09 €
100 Animals Adult Coloring Book MISA / Book Paperback
common.buy 10.69 €
A Doctor at Calvary - The Passion of Our Lord Jesus Christ as Described by a Surgeon Pierre Barbet / Book Paperback
common.buy 9.99 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?