Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Theorem Provers in Circuit Design: Theory, Practice and Experience

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

Lingua IngleseInglese
Libro In brossura
Libro Theorem Provers in Circuit Design: Theory, Practice and Experience Thomas Kropf
Codice Libristo: 05274454
Casa editrice Springer, Berlin, novembre 1994
Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedi...
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

IoT e Industria 4.0 Roderval Marcelino / Libro In brossura
common.buy 33.59 €
BABADADA, Oromo - Espanol de Mexico con articulos, kuusaa jechootaa mullataa - el diccionario visual Babadada Gmbh / Libro In brossura
common.buy 29.49 €
COMO IMPLANTAR EFICAZMENTE EL CAMBIO EN LA ORGANIZACION GELINAS / Libro binding.
common.buy 104.09 €
90 her pro rozvoj samostatnosti a školních kompetencí pro děti od 4 do 6 let Andrea Erkert / Libro In brossura
common.buy 8.89 €
MISTER ALABAMA Phillip Quinn MORRIS / Libro In brossura
common.buy 28.59 €
Tintin 18: Coke en stock - petit format, ed. 2009 (En Chinois) Hergé / Libro In brossura
common.buy 12.09 €
Применение теории фракталов в металловедении. Монография Е.А. Кривоносова / Libro In brossura
common.buy 17.39 €
Afghanistan Schiffer / Libro In brossura
common.buy 21.29 €
Calimots CE1 - Cahier d'exercices d'étude de la langue et fluence Adeline Pesic / Libro In brossura
common.buy 10.49 €
Das Praxisbuch Samsung Galaxy A54 5G - Anleitung für Einsteiger Rainer Gievers / Libro In brossura
common.buy 20.29 €
HE-MAN Y LOS MASTERS DEL UNIVERSO: COLECCION DE MINICOMICS V GLUT / Libro Rigido
common.buy 38.69 €
Hegels Logik und die Chemie Ulrich Ruschig / Libro In brossura
common.buy 115.79 €
Gartenvögel Helga Hofmann / Libro In brossura
common.buy 7.69 €
Chakra-Energie-Massage Marianne Uhl / Libro Rigido
common.buy 18.59 €
Unvollstandigkeit Und Unentscheidbarkeit Wolfgang Stegmüller / Libro In brossura
common.buy 60.29 €
Erwartungen und ökonomische Theoriebildung: Josef Windsperger / Libro In brossura
common.buy 77.29 €
In preparazione
Essential Grammar in Use Italian edition without answers Raymond Murphy / Libro In brossura
common.buy 12.79 €
Estrategias politicas ante la crisis Perez Garcia Encarnacion / Libro In brossura
common.buy 74.39 €
Biobankgesetz Ulrich Gassner / Libro In brossura
common.buy 16.99 €
I Love to Sleep in My Own Bed Shelley Admont / Libro Rigido
common.buy 26.99 €
Estrategias y tácticas de marketing : interpretando al consumidor en su kilómetro cero FRANCESC VALLS / Libro In brossura
common.buy 24.29 €
AutoCAD práctico : 130 ejercicios definitivos Montaño La Cruz / Libro In brossura
common.buy 34.29 €
Casos prácticos de management estratégico Miguel Ángel Martínez Martínez / Libro In brossura
common.buy 27.49 €
Pesquisa Operacional Calistênia S. Mascarenhas / Libro In brossura
common.buy 60.59 €

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

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Theorem Provers in Circuit Design: Theory, Practice and Experience
Autore Thomas Kropf, Ramayya Kumar
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1995
Numero di pagine 312
EAN 9783540590477
ISBN 3540590471
Codice Libristo 05274454
Casa editrice Springer, Berlin
Peso 424
Dimensioni 155 x 233 x 17

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Elettronica: circuiti e componenti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Handbook of Labor, Human Resources and Population Economics, 12 Teile Klaus F. Zimmermann / Libro Rigido
common.buy 8 163.09 €
Optimization Review Velsicol Chemical Corporation Hardeman County Landfill Superfund Site U S Environmental Protection Agency / Libro In brossura
common.buy 19.19 €
Japanese Mind Charles A. Moore / Libro In brossura
common.buy 27.89 €
Administrative Movement and Control of the New Armored Division Ralph Talbot / Libro In brossura
common.buy 17.09 €
Great Beast of Kafue (Cryptofiction Classics - Weird Tales of Strange Creatures) Richard Dehan / Libro elettronico Adobe ePub DRM
common.buy 7.19 €
Southern Europe? Martin Baumeister / Libro In brossura
common.buy 56.59 €
Fundamentals of Work Measurement MITAL / Libro In brossura
common.buy 77.69 €
Last Hour, The First Hour, The Forty-second Generation DONALD PEART / Libro In brossura
common.buy 13.19 €
Hippos Go Berserk! Sandra Boynton / Libro In brossura
common.buy 7.29 €
100 Animals Adult Coloring Book MISA / Libro In brossura
common.buy 10.69 €
Oxford Handbook of Functional Brain Imaging in Neuropsychology and Cognitive Neurosciences Andrew C. Papanicolaou / Libro Rigido
common.buy 212.59 €
Machine Methods M. Adithan / Libro Rigido
common.buy 39.69 €
Orchard Greek Myths Geraldine McCaughrean / Libro Rigido
common.buy 23.19 €
Old Friends and New Fancies: an imaginary sequel to the novels of Jane Austen Sybil G Brinton / Libro In brossura
common.buy 10.69 €
Low Carb Salads: 35 Low Carb Salad Recipes Katya Johansson / Libro In brossura
common.buy 6.99 €
Genetics for Guppies Bryan George Chin / Libro In brossura
common.buy 42.09 €
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 Rigido
common.buy 31.79 €
101 Amazing Things to Do in Malaysia & Singapore: Malaysia & Singapore Travel Guide 101 Amazing Things / Libro In brossura
common.buy 8.89 €
Time-Space, Spiking Neural Networks and Brain-Inspired Artificial Intelligence Nikola K Kasabov / Libro In brossura
common.buy 313.69 €
The Kinship of Secrets Eugenia Kim / Libro Rigido
common.buy 41.79 €
Price of Silence Nikki Copleston / Libro In brossura
common.buy 22.99 €
Motocross Adrian Bradbury / Libro In brossura
common.buy 10.69 €
Top Gear: Epic Failures Richard Porter / Libro Rigido
common.buy 14.69 €
Does Feminism Discriminate Against Men? Warren Farrell / Libro In brossura
common.buy 60.89 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?