A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Formal Methods in Computer-Aided Design

4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Methods in Computer-Aided Design Mark D. Aagaard
Libristo kód: 05273449
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, október 2002
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer... Teljes leírás
? points 136 b
19 943 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Gesammelte Abhandlungen Zur Funktionellen Anatomie Des Bewegungsapparates Friedrich Pauwels / Könyv Puha kötésű
common.buy 40 872 Ft
The Making of an Englishman Fred Uhlman / Könyv Puha kötésű
common.buy 4 580 Ft
Kroki Maciej Bieszczad / Könyv Puha kötésű
common.buy 2 584 Ft
Kunst Des Zahlens Von Spannbaumen Yirgalem Tsegaye / Könyv Puha kötésű
common.buy 13 862 Ft
Posca akrylový popisovač 2,5 mm fluo-oranžový / Papírszerek Papírszerek
common.buy 1 028 Ft
GRANDMASTER OF DEMONIC CULTIVATION 01 (MO DAO ZU SHI) Mo Xiang Tong Xiu / Könyv Könyv
common.buy 5 655 Ft
Pilíře a limity ochrany osobnosti nejen ve dvacátém prvním století Jakub Sivák / Könyv Puha kötésű
common.buy 13 718 Ft
Oeuvres Completes, Orn Es de 193 Figures... Arnaud Berquin / Könyv Puha kötésű
common.buy 11 560 Ft
Kutyaszív Mihail Bulgakov / Könyv Kemény kötésű
common.buy 2 388 Ft
Conni feiert Weihnachten / Conni fährt Ski (Meine Freundin Conni - ab 3), 1 Audio-CD Julia Boehme / Hanganyagok Audio CD
common.buy 2 686 Ft
¡Te quiero, Papá Pig! (Un cuento de Peppa Pig) Hasbro / Könyv Kemény kötésű
common.buy 5 655 Ft
Who Deserves the Cup? (in Arabic) MR Sherif Sadek / Könyv Puha kötésű
common.buy 3 964 Ft
De Angelis : sobre filosofía, mercado y postmodernidad José María Ripalda / Könyv Puha kötésű
common.buy 7 225 Ft
Les aventures de Ulises, la historia de l'Odisea, ESO. Auxiliar Anthony Lawton / Könyv Puha kötésű
common.buy 7 521 Ft
Back For The Attack (Lim.Collector's Edition) Dokken / Hanganyagok Audio CD
common.buy 8 415 Ft
Die Bekenntnisse des Hochstaplers Felix Krull, 3 DVDs Thomas Mann / Filmek DVD
common.buy 4 844 Ft
Začátečníci Raymond Carver; Jiří Hrubý / Könyv Kemény kötésű
common.buy 4 201 Ft
Pbx Per Colaggio E Compressione Massimo Castiglia / Könyv Puha kötésű
common.buy 25 922 Ft
Beatmung basics - ASB, ATC, AutoFlow, AF, FiO2, Flow, I : E, PEEP, Pmax, Rampe, Tinsp, Trigger, Vt, 2 Medizinische Taschen-Karten / Játék Játék
common.buy 2 158 Ft

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Formal Methods in Computer-Aided Design
Szerző Mark D. Aagaard, John W. O'Leary
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2002
Oldalszám 408
EAN 9783540001164
ISBN 3540001166
Libristo kód 05273449
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1290
Méretek 155 x 235 x 23

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Energiatechnológia és energiagépészet > Elektronikus gépészet
Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány
Számítástechnika és információtechnológia > Grafikus és digitális média > Számítógép által segített tervezés / dizájn (CAD)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógépes hardver
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Neural Networks: Computational Models and Applications Huajin Tang / Könyv Kemény kötésű
common.buy 59 596 Ft
Advances in Production Management Systems. Sustainable Production and Service Supply Chains Dimitris Kiritsis / Könyv Puha kötésű
common.buy 39 770 Ft
X Factor Clair Berube / Könyv Kemény kötésű
common.buy 36 435 Ft
Three Reading Plays For Children Close / Könyv Puha kötésű
common.buy 6 169 Ft
Small Economies & Global Economics Azman Ahmad / Könyv Kemény kötésű
common.buy 46 189 Ft
Emerald Bracelet - Book Three of the Seven Stones of Power Andy Stone / Könyv Puha kötésű
common.buy 11 528 Ft
Virgin & The Dragon Hibbert / Könyv Puha kötésű
common.buy 6 049 Ft
British librarianship and information work 2006-2010 J H Bowman / Könyv Kemény kötésű
common.buy 16 844 Ft
240 Vocabulary Words Kids Need to Know, Grade 1 Kama Einhorn / Könyv Puha kötésű
common.buy 4 154 Ft
Beverly Bedeviled Edward R Brown / Könyv Puha kötésű
common.buy 4 140 Ft
History of the City of New York in the Seventeenth Century Van Rensselaer / Könyv Kemény kötésű
common.buy 15 376 Ft
Healing Promises Kenneth Copeland / Könyv Puha kötésű
common.buy 5 025 Ft
The Mercy Papers: A Memoir of Three Weeks Robin Romm / Könyv Puha kötésű
common.buy 5 433 Ft
Introduction to Criminal Psychology Russil Durrant / Könyv Kemény kötésű
common.buy 91 396 Ft
A Beautiful Struggle Emily McKee / Könyv Puha kötésű
common.buy 3 964 Ft
What Makes a Plant a Plant? Structure and Defenses Science Book for Children Children's Science & Nature Books BABY PROFESSOR / Könyv Puha kötésű
common.buy 5 595 Ft
My Kinky, Coily Hair AISHA RICE / Könyv Puha kötésű
common.buy 3 876 Ft
Nailed It Marian Newman / Könyv Kemény kötésű
common.buy 10 472 Ft
General Electric Review, V39, No. 3, March, 1936 General Electric Company / Könyv Puha kötésű
common.buy 8 489 Ft
Anxiety Coloring by Number: A Coloring Book for Grown-Ups Providing Relaxation and Encouragement, Creative Activities to Help Manage Stress, Anxie Rns Coloring Studio / Könyv Puha kötésű
common.buy 2 922 Ft
The Traumatic Surreal: Germanophone Women Artists and Surrealism After the Second World War Patricia Allmer / Könyv Puha kötésű
common.buy 11 722 Ft
Halo Effect Anne D. LeClaire / Hangoskönyv MP3
common.buy 15 478 Ft
Rough Meditations - From Tour Caddie to Golf Critic, An Insider's Look at the Game Bradley S. Klein / Könyv Puha kötésű
common.buy 7 771 Ft
Frontier Figures Beth E Levy / Könyv Kemény kötésű
common.buy 41 256 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása