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: 1182.00 CZK
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
Vazba: Brožovaná
Počet stran: 312
Nakladatelství: Springer, Berlin, 1995
Více informací o knize

1182 Kč

Skladem u dodavatele
Odesíláme za 5-8 dnů

Přidat mezi přání

Mohlo by se vám také líbit

O malej Aničke
174 Kč
Koupit
Orchard Greek Myths
397 Kč
Koupit
Doorway to Dilemma
248 Kč
Koupit
Tintin 18: Coke en stock - petit format, ed. 2009 (En Chinois)
213 Kč
Koupit
Smrt mučednice
251 Kč
Koupit
Calimots CE1 - Cahier d'exercices d'étude de la langue et fluence
222 Kč
Koupit
Imaginary Abacus - Workbook: A Mind Math Step-By-Step Guide to Addition and Subtraction Using an Imaginary Japanese Abacus (Soroban).
347 Kč
Koupit
Top Gear: Epic Failures
381 Kč
Koupit
A Doctor at Calvary - The Passion of Our Lord Jesus Christ as Described by a Surgeon
258 Kč
Koupit
Zednáři
184 Kč
Koupit
Taschen's Paris
1071 Kč
Koupit
90 her pro rozvoj samostatnosti a školních kompetencí pro děti od 4 do 6 let
220 Kč
Koupit
Door in the Dragon's Throat
132 Kč
Koupit
Robotic Exploration of the Solar System
1236 Kč
Koupit
Carbivore: 125 Healthy Recipes to Stop Fearing Carbs and Embrace the Comfort Foods You Love
558 Kč
Koupit
Oxford Handbook of Functional Brain Imaging in Neuropsychology and Cognitive Neurosciences
5358 Kč
Koupit
Genetics for Guppies
930 Kč
Koupit
Gartenvögel
168 Kč
Koupit
Motocross
238 Kč
Koupit
Handbook of Labor, Human Resources and Population Economics, 12 Teile
190362 Kč
Předobjednat
Book of Birds
1585 Kč
Koupit
Does Feminism Discriminate Against Men?
1368 Kč
Koupit
Japanese Mind
641 Kč
Koupit
Hippos Go Berserk!
218 Kč
Koupit
KJV Concord Reference Bible, black calfsplit leather
3100 Kč
Předobjednat
Estrategias politicas ante la crisis
1620 Kč
Koupit
Niccolo's Smile: A Biography of Machiavelli
392 Kč
Koupit
Biobankgesetz
391 Kč
Koupit
Erwartungen und ökonomische Theoriebildung:
2051 Kč
Koupit
Das Praxisbuch Samsung Galaxy A54 5G - Anleitung für Einsteiger
441 Kč
Koupit
Unvollstandigkeit Und Unentscheidbarkeit
1324 Kč
Koupit
Price of Silence
512 Kč
Koupit
Short Fiction of Edgar Allan Poe
713 Kč
Koupit
Essential Grammar in Use Italian edition without answers
282 Kč
Předobjednat
Afghanistan
476 Kč
Koupit
Chakra-Energie-Massage
426 Kč
Koupit
(09) TEXTOS FILOSOFIA DE PLATON A DESCARTES
287 Kč
Koupit
Age of Tyrants
1042 Kč
Koupit
Best Practices for Graphic Designers, Grids and Page Layouts
1147 Kč
Koupit
Ischemic Mitral Incompetence
1155 Kč
Koupit
Lettres d'Amour ? Mon Epouse: Des Prophéties Récentes De Jésus A l'Epouse Du Christ
195 Kč
Koupit
Time-Space, Spiking Neural Networks and Brain-Inspired Artificial Intelligence
6632 Kč
Koupit
Natur und Wunder
449 Kč
Koupit
AutoCAD práctico : 130 ejercicios definitivos
838 Kč
Koupit
Применение теории фракталов в металловедении. Монография
403 Kč
Koupit
Casos prácticos de management estratégico
670 Kč
Koupit
Meaning and Purpose of Time
602 Kč
Koupit
Soren Kierkegaard's Journals and Papers, Volume 4
2006 Kč
Koupit
Southern Europe?
1320 Kč
Koupit
Waverley Novels, Volume 5
903 Kč
Koupit
De toutes les nuits, les amants
638 Kč
Koupit
God of Missed Connections
269 Kč
Koupit
Optimization Review Velsicol Chemical Corporation Hardeman County Landfill Superfund Site
423 Kč
Koupit
Psychiatry
1182 Kč
Koupit
Pesquisa Operacional
1318 Kč
Koupit
GCSE 9-1 Maths Higher Revision Guide
170 Kč
Koupit
Sei ein ganzer Kerl
615 Kč
Koupit
Reverse Engineering Biological Networks
4234 Kč
Koupit
Jours d'hiver
774 Kč
Koupit
The Kinship of Secrets
935 Kč
Koupit
COMO IMPLANTAR EFICAZMENTE EL CAMBIO EN LA ORGANIZACION
2547 Kč
Koupit
Estrategias y tácticas de marketing : interpretando al consumidor en su kilómetro cero
532 Kč
Koupit
Hegels Logik und die Chemie
2552 Kč
Koupit
Machine Methods
857 Kč
Koupit
Fundamentals of Work Measurement
1811 Kč
Koupit
MISTER ALABAMA
649 Kč
Koupit
Stoa Felsefesinin Kurulus Fragmanlari
303 Kč
Koupit
Old Friends and New Fancies: an imaginary sequel to the novels of Jane Austen
237 Kč
Koupit
The Book of Milton
243 Kč
Koupit
Low Carb Salads: 35 Low Carb Salad Recipes
154 Kč
Koupit
Does the Army Have a National Land Strategy?
586 Kč
Koupit
Whispers in the Wind
446 Kč
Koupit
100 Animals Adult Coloring Book
237 Kč
Koupit
Sculpture Journal
2436 Kč
Předobjednat
Adventskalender "Zwergenweihnacht"
130 Kč
Koupit
Denkmal Postmoderne & High-Tech Heritage SET
2797 Kč
Koupit
Administrative Movement and Control of the New Armored Division
380 Kč
Koupit
HE-MAN Y LOS MASTERS DEL UNIVERSO: COLECCION DE MINICOMICS V
945 Kč
Koupit
C'ETAIT LA GUERRE-3 RECITS INSPIRES FAIT
372 Kč
Koupit
Pentagrama Escolar Música 3 CAT
654 Kč
Koupit
BABADADA, Oromo - Espanol de Mexico con articulos, kuusaa jechootaa mullataa - el diccionario visual
651 Kč
Koupit
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
707 Kč
Koupit
I Love to Sleep in My Own Bed
620 Kč
Koupit
Last Hour, The First Hour, The Forty-second Generation
294 Kč
Koupit

Darujte tuto knihu ještě dnes

Objednejte knihu a zvolte Zaslat jako dárek.
Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
Knihu zašleme na adresu obdarovaného, o nic se nestaráte.

Více informací

Více informací o knize Theorem Provers in Circuit Design: Theory, Practice and Experience

Parametry knihy
Anotace
Oblíbené z jiného soudku

Nákupem získáte 118 bodů

Anotace knihy

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

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science

1182 Kč

Plný název: Theorem Provers in Circuit Design: Theory, Practice and Experience
Podnázev: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
Autor: Thomas Kropf, Ramayya Kumar
Jazyk: Angličtina
Vazba: Brožovaná
Počet stran: 312
EAN: 9783540590477
ISBN: 3540590471
ID: 05274454
Nakladatelství: Springer, Berlin
Hmotnost: 424 g
Rozměry: 233 × 155 × 17 mm
Rok vydání: 1995