«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Theorem Provers in Circuit Design: Theory, Practice and Experience

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

Idioma InglésInglés
Libro Tapa blanda
Libro Theorem Provers in Circuit Design: Theory, Practice and Experience Thomas Kropf
Código Libristo: 05274454
Editores Springer, Berlin, noviembre 1994
Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedi...
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

IoT e Industria 4.0 Roderval Marcelino / Libro Tapa blanda
common.buy 35.49 €
Sei ein ganzer Kerl Robbie Cathro / Libro Tapa dura
common.buy 24.69 €
BABADADA, Oromo - Espanol de Mexico con articulos, kuusaa jechootaa mullataa - el diccionario visual Babadada Gmbh / Libro Tapa blanda
common.buy 29.49 €
Zednáři Jiří Stibral / Libro Tapa dura
common.buy 8.69 €
COMO IMPLANTAR EFICAZMENTE EL CAMBIO EN LA ORGANIZACION GELINAS / Libro binding.
common.buy 101.29 €
De toutes les nuits, les amants Kawakami / Libro Tapa blanda
common.buy 27.19 €
C'ETAIT LA GUERRE-3 RECITS INSPIRES FAIT TÉNOR / Libro Tapa blanda
common.buy 15.59 €
MISTER ALABAMA Phillip Quinn MORRIS / Libro Tapa blanda
common.buy 27.59 €
Económico
Tintin 18: Coke en stock - petit format, ed. 2009 (En Chinois) Hergé / Libro Tapa blanda
common.buy 8.69 €
Stoa Felsefesinin Kurulus Fragmanlari Zenon / Libro Tapa blanda
common.buy 14.39 €
Применение теории фракталов в металловедении. Монография Е.А. Кривоносова / Libro Tapa blanda
common.buy 18.29 €
Afghanistan Schiffer / Libro Tapa blanda
common.buy 20.49 €
90 her pro rozvoj samostatnosti a školních kompetencí pro děti od 4 do 6 let Andrea Erkert / Libro Tapa blanda
common.buy 9.09 €
Calimots CE1 - Cahier d'exercices d'étude de la langue et fluence Adeline Pesic / Libro Tapa blanda
common.buy 9.89 €
Das Praxisbuch Samsung Galaxy A54 5G - Anleitung für Einsteiger Rainer Gievers / Libro Tapa blanda
common.buy 21.39 €
HE-MAN Y LOS MASTERS DEL UNIVERSO: COLECCION DE MINICOMICS V GLUT / Libro Tapa dura
common.buy 37.89 €
Casos prácticos de management estratégico Miguel Ángel Martínez Martínez / Libro Tapa blanda
common.buy 26.79 €
Gartenvögel Helga Hofmann / Libro Tapa blanda
common.buy 8.09 €
Chakra-Energie-Massage Marianne Uhl / Libro Tapa dura
common.buy 18.69 €
Unvollstandigkeit Und Unentscheidbarkeit Wolfgang Stegmüller / Libro Tapa blanda
common.buy 63.39 €
Erwartungen und ökonomische Theoriebildung: Josef Windsperger / Libro Tapa blanda
common.buy 89.59 €
Próximamente
Essential Grammar in Use Italian edition without answers Raymond Murphy / Libro Tapa blanda
common.buy 12.99 €
Estrategias politicas ante la crisis Perez Garcia Encarnacion / Libro Tapa blanda
common.buy 78.59 €
Biobankgesetz Ulrich Gassner / Libro Tapa blanda
common.buy 17.09 €

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

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Theorem Provers in Circuit Design: Theory, Practice and Experience
Autor Thomas Kropf, Ramayya Kumar
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1995
Número de páginas 312
EAN 9783540590477
ISBN 3540590471
Código Libristo 05274454
Editores Springer, Berlin
Peso 424
Dimensiones 155 x 233 x 17

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Electrónica: circuitos y componentes
Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Próximamente
Handbook of Labor, Human Resources and Population Economics, 12 Teile Klaus F. Zimmermann / Libro Tapa dura
common.buy 8 316.89 €
Machine Methods M. Adithan / Libro Tapa dura
common.buy 44.29 €
Administrative Movement and Control of the New Armored Division Ralph Talbot / Libro Tapa blanda
common.buy 17.09 €
Southern Europe? Martin Baumeister / Libro Tapa blanda
common.buy 57.49 €
Fundamentals of Work Measurement MITAL / Libro Tapa blanda
common.buy 80.89 €
Door in the Dragon's Throat Frank E. Peretti / Libro Tapa blanda
common.buy 6.59 €
Niccolo's Smile: A Biography of Machiavelli Maurizio Viroli / Libro Tapa blanda
common.buy 18.09 €
Hippos Go Berserk! Sandra Boynton / Libro Tapa blanda
common.buy 10.29 €
Great Beast of Kafue (Cryptofiction Classics - Weird Tales of Strange Creatures) Richard Dehan / Libro electrónico Adobe ePub DRM
common.buy 7.39 €
A Doctor at Calvary - The Passion of Our Lord Jesus Christ as Described by a Surgeon Pierre Barbet / Libro Tapa blanda
common.buy 12.19 €
Waverley Novels, Volume 5 Sir Walter Scott / Libro Tapa dura
common.buy 40.69 €
100 Animals Adult Coloring Book MISA / Libro Tapa blanda
common.buy 10.69 €
Meaning and Purpose of Time Howard Modin / Libro Tapa dura
common.buy 29.49 €
Oxford Handbook of Functional Brain Imaging in Neuropsychology and Cognitive Neurosciences Andrew C. Papanicolaou / Libro Tapa dura
common.buy 254.39 €
Last Hour, The First Hour, The Forty-second Generation DONALD PEART / Libro Tapa blanda
common.buy 13.19 €
Optimization Review Velsicol Chemical Corporation Hardeman County Landfill Superfund Site U S Environmental Protection Agency / Libro Tapa blanda
common.buy 19.19 €
Old Friends and New Fancies: an imaginary sequel to the novels of Jane Austen Sybil G Brinton / Libro Tapa blanda
common.buy 10.69 €
Imaginary Abacus - Workbook: A Mind Math Step-By-Step Guide to Addition and Subtraction Using an Imaginary Japanese Abacus (Soroban). MR Paul Green / Libro Tapa blanda
common.buy 16.59 €
Low Carb Salads: 35 Low Carb Salad Recipes Katya Johansson / Libro Tapa blanda
common.buy 6.99 €
The Book of Milton Andrew Frinkle / Libro Tapa blanda
common.buy 10.99 €
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 / Libro Tapa dura
common.buy 31.79 €
101 Amazing Things to Do in Malaysia & Singapore: Malaysia & Singapore Travel Guide 101 Amazing Things / Libro Tapa blanda
common.buy 8.89 €
Popular
Doorway to Dilemma Mike Ashley / Libro Tapa blanda
common.buy 12.69 €
Time-Space, Spiking Neural Networks and Brain-Inspired Artificial Intelligence Nikola K Kasabov / Libro Tapa blanda
common.buy 319.49 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo