Paolo Enrico (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 tuotetta
Haluatko tarkentaa hakukriteerejä?

CORRECT HARDWARE DESIGN AND VERIFICATION METHODS : IFIP WG10.5 ADVANCED RESEARCH WORKING CONFERENCE, CHARME '95, FRANKFURT, GERM

Paolo Enrico Camurati (ed.); Hans Eveking (ed.)
Springer (1995)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

WEB ENGINEERING AND PEER-TO-PEER COMPUTING : NETWORKING 2002 WORKSHOPS, PISA, ITALY, MAY 19-24, 2002, REVISED PAPERS

Enrico Gregori (ed.); Ludmila Cherkasova (ed.); Gianpaolo Cugola (ed.); Fabio Panzieri (ed.); Gian P. Picco (ed.)
Springer (2002)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

M_HEALTH CURRENT AND FUTURE APPLICATIONS

Giuseppe Andreoni (ed.); Paolo Perego (ed.); Enrico Frumento (ed.)
Springer (2019)
Saatavuus: Tilaustuote
Kovakantinen kirja

97,90 €

EXERCISE, SPORTS AND HYPERTENSION

Paolo Palatini (ed.); Enrico Agabiti-Rosei (ed.); Giuseppe Mancia (ed.)
Springer (2022)
Saatavuus: Tilaustuote
Kovakantinen kirja

97,90 €

EXERCISE, SPORTS AND HYPERTENSION

Paolo Palatini (ed.); Enrico Agabiti-Rosei (ed.); Giuseppe Mancia (ed.)
Springer (2023)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

SCIENCE OF VALUATIONS : NATURAL STRUCTURES, TECHNOLOGICAL INFRASTRUCTURES, CULTURAL SUPERSTRUCTURES

Salvatore Giuffrida (ed.); Maria Rosa Trovato (ed.); Paolo Rosato (ed.); Enrico Fattinnanzi (ed.); Alessandra Oppio (ed.)
Springer (2024)
Saatavuus: Tilaustuote
Kovakantinen kirja

147,10 €

LASER DOPPLER VIBROMETRY : A MULTIMEDIA GUIDE TO ITS FEATURES AND USAGE

Enrico Primo Tomasini (ed.); Paolo Castellini (ed.)
Springer (2020)
Saatavuus: Tilaustuote
Kovakantinen kirja

126,80 €

ADVANCES IN COGNITIVE NEURODYNAMICS (VII) : PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON COGNITIVE NEURODYNAMICS – 201

Alessandra Lintas (ed.); Paolo Enrico (ed.); Xiaochuan Pan (ed.); Rubin Wang (ed.); Alessandro Villa (ed.)
Springer (2021)
Saatavuus: Tilaustuote
Kovakantinen kirja

241,40 €

Correct Hardware Design and Verification Methods : IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germ

Paolo Enrico Camurati (ed.), Hans Eveking (ed.)

49,60 €

Springer
Sivumäärä: 346 sivua
Asu: Pehmeäkantinen kirja
Painos: 1995
Julkaisuvuosi: 1995, 18.09.1995 (lisätietoa)
Kieli: Englanti

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995.
The 20 revised full papers presented were carefully selected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and VHDL.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus