Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Theorem Provers in Circuit Design: Theory, Practice and Experience

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

Sprache EnglischEnglisch
Buch Broschur
Buch Theorem Provers in Circuit Design: Theory, Practice and Experience Thomas Kropf
Libristo-Code: 05274454
Verlag Springer, Berlin, November 1994
Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedi...
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

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

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Theorem Provers in Circuit Design: Theory, Practice and Experience
Autor Thomas Kropf, Ramayya Kumar
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1995
Anzahl der Seiten 312
EAN 9783540590477
ISBN 3540590471
Libristo-Code 05274454
Verlag Springer, Berlin
Gewicht 424
Abmessungen 155 x 233 x 17

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Schaltkreise und Komponenten (Bauteile)
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

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

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?