Kód: 05274454

Theorem Provers in Circuit Design: Theory, Practice and Experience

Name: Theorem Provers in Circuit Design: Theory, Practice and Experience
Brand: Springer, Berlin
SKU: 05274454
Price: 51.73 EUR
Availability: InStock
Author: Thomas Kropf
ISBN: 9783540590477

Autor Thomas Kropf, Ramayya Kumar

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

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 312
Nakladateľ: Springer, Berlin, 1995
Viac informácií o knihe

51.73 €

Bežne: 56.02 €

Ušetríte 4.29 €

Skladom u dodávateľa
Odosielame za 5 - 8 dní

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Calimots CE1 - Cahier d'exercices d'étude de la langue et fluence
10.12 €
Kúpiť
90 her pro rozvoj samostatnosti a školních kompetencí pro děti od 4 do 6 let
8.19 € -23 %
Kúpiť
Top Gear: Epic Failures
13.96 € -24 %
Kúpiť
Robotic Exploration of the Solar System
51.03 €
Kúpiť
Carbivore: 125 Healthy Recipes to Stop Fearing Carbs and Embrace the Comfort Foods You Love
23.08 € -25 %
Kúpiť
Genetics for Guppies
38.47 € -7 %
Kúpiť
Oxford Handbook of Functional Brain Imaging in Neuropsychology and Cognitive Neurosciences
197.35 €
Kúpiť
Gartenvögel
7.38 € -8 %
Kúpiť
Handbook of Labor, Human Resources and Population Economics, 12 Teile
7876.24 €
Kúpiť
Orchard Greek Myths
18.12 € -25 %
Kúpiť
Japanese Mind
25.71 €
Kúpiť
Motocross
10.42 €
Kúpiť
Hippos Go Berserk!
8.90 €
Kúpiť
Does Feminism Discriminate Against Men?
56.60 €
Kúpiť
Best Practices for Graphic Designers, Grids and Page Layouts
48.39 €
Kúpiť
Essential Grammar in Use Italian edition without answers
12.34 €
Predobjednať
Estrategias politicas ante la crisis
71.18 € -14 %
Kúpiť
Erwartungen und ökonomische Theoriebildung:
74.62 €
Kúpiť
AutoCAD práctico : 130 ejercicios definitivos
34.82 €
Kúpiť
GCSE 9-1 Maths Higher Revision Guide
7.48 € -15 %
Kúpiť
Low Carb Salads: 35 Low Carb Salad Recipes
6.37 € -7 %
Kúpiť
Time-Space, Spiking Neural Networks and Brain-Inspired Artificial Intelligence
288.79 €
Kúpiť
Price of Silence
21.15 € -2 %
Kúpiť
Age of Tyrants
29.96 € -24 %
Kúpiť
Casos prácticos de management estratégico
27.84 €
Kúpiť
Soren Kierkegaard's Journals and Papers, Volume 4
83.02 €
Kúpiť
Short Fiction of Edgar Allan Poe
30.17 € -4 %
Kúpiť
Lettres d'Amour ? Mon Epouse: Des Prophéties Récentes De Jésus A l'Epouse Du Christ
8.09 € -6 %
Kúpiť
Das Praxisbuch Samsung Galaxy A54 5G - Anleitung für Einsteiger
19.33 € -11 %
Kúpiť
100 Animals Adult Coloring Book
9.81 € -6 %
Kúpiť
Biobankgesetz
16.39 €
Kúpiť
Adventskalender "Zwergenweihnacht"
5.66 €
Kúpiť
Unvollstandigkeit Und Unentscheidbarkeit
57.91 € -7 %
Kúpiť
Применение теории фракталов в металловедении. Монография
16.70 € -11 %
Kúpiť
Sculpture Journal
101.05 € -4 %
Predobjednať
Chakra-Energie-Massage
17.81 € -5 %
Kúpiť
Afghanistan
20.65 €
Predobjednať
HE-MAN Y LOS MASTERS DEL UNIVERSO: COLECCION DE MINICOMICS V
39.28 €
Kúpiť
The Kinship of Secrets
39.99 €
Kúpiť
Estrategias y tácticas de marketing : interpretando al consumidor en su kilómetro cero
23.28 € -9 %
Kúpiť
Optimization Review Velsicol Chemical Corporation Hardeman County Landfill Superfund Site
17.51 € -6 %
Kúpiť
COMO IMPLANTAR EFICAZMENTE EL CAMBIO EN LA ORGANIZACION
105.40 €
Kúpiť
MISTER ALABAMA
27.84 €
Kúpiť
Machine Methods
35.43 € -25 %
Kúpiť
I Love to Sleep in My Own Bed
24.80 € -1 %
Kúpiť
BABADADA, Oromo - Espanol de Mexico con articulos, kuusaa jechootaa mullataa - el diccionario visual
26.93 € -7 %
Kúpiť
Fundamentals of Work Measurement
71.99 €
Kúpiť
Pesquisa Operacional
57.91 € -14 %
Kúpiť
Ischemic Mitral Incompetence
50.62 € -9 %
Kúpiť
Whispers in the Wind
18.42 € -2 %
Kúpiť
Last Hour, The First Hour, The Forty-second Generation
12.14 € -2 %
Kúpiť
101 Amazing Things to Do in Malaysia & Singapore: Malaysia & Singapore Travel Guide
8.09 € -7 %
Kúpiť
Does the Army Have a National Land Strategy?
25.20 € -9 %
Kúpiť
Old Friends and New Fancies: an imaginary sequel to the novels of Jane Austen
9.81 € -6 %
Kúpiť
Failure of Initiative Final Report of the Select Bipartisan Committee to Investigate the Preparation for and Response to Hurricane Katrina Report by t
35.33 €
Kúpiť
Reverse Engineering Biological Networks
178.92 €
Kúpiť

Darujte túto knihu ešte dnes

Objednajte knihu a vyberte Zaslať ako darček.
Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.

Viac informácií

Viac informácií o knihe Theorem Provers in Circuit Design: Theory, Practice and Experience

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 125 bodov

Anotácia knihy

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

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science

51.73 €

Celý názov: Theorem Provers in Circuit Design: Theory, Practice and Experience
Podnázov: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
Autor: Thomas Kropf, Ramayya Kumar
Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 312
EAN: 9783540590477
ISBN: 3540590471
ID: 05274454
Nakladateľ: Springer, Berlin
Hmotnosť: 424 g
Rozmery: 233 × 155 × 17 mm
Rok vydania: 1995