KIRJAUDU

ostoskori

avaa valikko

Yi Wang (ed.) | Akateeminen Kirjakauppa

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

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS : 7TH INTERNATIONAL CONFERENCE, TACAS 2001 HELD AS PART OF THE

Tekijä: Tiziana Margaria (ed.); Wang Yi (ed.)
Kustantaja: Springer (2001)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS : FIRST INTERNATIONAL SYMPOSIUM, SETTA 2015, NANJING, CHINA,

Tekijä: Xuandong Li (ed.); Zhiming Liu (ed.); Wang Yi (ed.)
Kustantaja: Springer (2015)
Saatavuus: Noin 17-20 arkipäivää

EUR 47,70

MODEL CHECKING, SYNTHESIS, AND LEARNING : ESSAYS DEDICATED TO BENGT JONSSON ON THE OCCASION OF HIS 60TH BIRTHDAY

Tekijä: Ernst-Rüdiger Olderog (ed.); Bernhard Steffen (ed.); Wang Yi (ed.)
Kustantaja: Springer (2021)
Saatavuus: Noin 17-20 arkipäivää

EUR 64,10

FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS : THIRD INTERNATIONAL CONFERENCE, FORMATS 2005, UPPSALA, SWEDEN, SEPTEMBER 26-28,

Tekijä: Paul Pettersson (ed.); Wang Yi (ed.)
Kustantaja: Springer (2005)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

ADVANCES IN NEURAL NETWORKS - ISNN 2005 : SECOND INTERNATIONAL SYMPOSIUM ON NEURAL NETWORKS, CHONGQING, CHINA, MAY 30 - JUNE 1,

Tekijä: Jun Wang (ed.); Xiaofeng Liao (ed.); Zhang Yi (ed.)
Kustantaja: Springer (2005)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

ADVANCES IN NEURAL NETWORKS - ISNN 2005 : SECOND INTERNATIONAL SYMPOSIUM ON NEURAL NETWORKS, CHONGQING, CHINA, MAY 30 - JUNE 1,

Tekijä: Jun Wang (ed.); Xiaofeng Liao (ed.); Zhang Yi (ed.)
Kustantaja: Springer (2005)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

ADVANCES IN NEURAL NETWORKS - ISNN 2005 : SECOND INTERNATIONAL SYMPOSIUM ON NEURAL NETWORKS, CHONGQING, CHINA, MAY 30 - JUNE 1,

Tekijä: Jun Wang (ed.); Xiaofeng Liao (ed.); Zhang Yi (ed.)
Kustantaja: Springer (2005)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

ADVANCES IN NEURAL NETWORKS - ISNN 2006 : THIRD INTERNATIONAL SYMPOSIUM ON NEURAL NETWORKS, ISNN 2006, CHENGDU, CHINA, MAY 28 -

Tekijä: Jun Wang (ed.); Zhang Yi (ed.); Jacek M. Zurada (ed.); Bao-Liang Lu (ed.); Yin Hujun (ed.)
Kustantaja: Springer (2006)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

ADVANCES IN NEURAL NETWORKS - ISNN 2006 : THIRD INTERNATIONAL SYMPOSIUM ON NEURAL NETWORKS, ISNN 2006, CHENGDU, CHINA, MAY 28 -

Tekijä: Jun Wang (ed.); Zhang Yi (ed.); Jacek M. Zurada (ed.); Bao-Liang Lu (ed.); Yin Hujun (ed.)
Kustantaja: Springer (2006)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

ADVANCES IN NEURAL NETWORKS - ISNN 2006 : THIRD INTERNATIONAL SYMPOSIUM ON NEURAL NETWORKS, ISNN 2006, CHENGDU, CHINA, MAY 28 -

Tekijä: Jun Wang (ed.); Zhang Yi (ed.); Jacek M. Zurada (ed.); Bao-Liang Lu (ed.); Yin Hujun (ed.)
Kustantaja: Springer (2006)
Saatavuus: Ei tiedossa

EUR 119,10

BIOLOGICAL NITROGEN FIXATION, SUSTAINABLE AGRICULTURE AND THE ENVIRONMENT : PROCEEDINGS OF THE 14TH INTERNATIONAL NITROGEN FIXAT

Tekijä: Yi-Ping Wang (ed.); Min Lin (ed.); Zhe-Xian Tian (ed.); Claudine Elmerich (ed.); William E. Newton (ed.)
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 172,80

ADVANCED MANUFACTURING AND AUTOMATION VIII

Tekijä: Kesheng Wang (ed.); Yi Wang (ed.); Jan Ola Strandhagen (ed.); Tao Yu (ed.)
Kustantaja: Springer (2019)
Saatavuus: Noin 17-20 arkipäivää

EUR 172,80

ADVANCED MANUFACTURING AND AUTOMATION IX

Tekijä: Yi Wang (ed.); Kristian Martinsen (ed.); Tao Yu (ed.); Kesheng Wang (ed.)
Kustantaja: Springer (2020)
Saatavuus: Noin 17-20 arkipäivää

EUR 129,90

ADVANCED MANUFACTURING AND AUTOMATION IX

Tekijä: Yi Wang (ed.); Kristian Martinsen (ed.); Tao Yu (ed.); Kesheng Wang (ed.)
Kustantaja: Springer (2021)
Saatavuus: Noin 17-20 arkipäivää

EUR 129,90

ADVANCED MANUFACTURING AND AUTOMATION X

Tekijä: Yi Wang (ed.); Kristian Martinsen (ed.); Tao Yu (ed.); Kesheng Wang (ed.)
Kustantaja: Springer (2021)
Saatavuus: Noin 17-20 arkipäivää

EUR 172,80

ADVANCED MANUFACTURING AND AUTOMATION X

Tekijä: Yi Wang (ed.); Kristian Martinsen (ed.); Tao Yu (ed.); Kesheng Wang (ed.)
Kustantaja: Springer (2022)
Saatavuus: Noin 17-20 arkipäivää

EUR 172,80

ADVANCED MANUFACTURING AND AUTOMATION XI

Tekijä: Yi Wang (ed.); Kristian Martinsen (ed.); Tao Yu (ed.); Kesheng Wang (ed.)
Kustantaja: Springer (2022)
Saatavuus: Noin 17-20 arkipäivää

EUR 198,50

ADVANCED MANUFACTURING AND AUTOMATION XI

Tekijä: Yi Wang (ed.); Kristian Martinsen (ed.); Tao Yu (ed.); Kesheng Wang (ed.)
Kustantaja: Springer (2023)
Saatavuus: Noin 17-20 arkipäivää

EUR 198,50

CRYPTOLOGY AND NETWORK SECURITY : 4TH INTERNATIONAL CONFERENCE, CANS 2005, XIAMEN, CHINA, DECEMBER 14-16, 2005, PROCEEDINGS

Tekijä: Yvo G. Desmedt (ed.); Huaxiong Wang (ed.); Yi Mu (ed.); Yongqing Li (ed.)
Kustantaja: Springer (2005)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

CUTTING-EDGE RESEARCH TOPICS ON MULTIPLE CRITERIA DECISION MAKING : 20TH INTERNATIONAL CONFERENCE, MCDM 2009, CHENGDU/JIUZHAIGOU

Tekijä: Yong Shi (ed.); Shouyang Wang (ed.); Yi Peng (ed.); Jianping Li (ed.); Yong Zeng (ed.)
Kustantaja: Springer (2009)
Saatavuus: Noin 17-20 arkipäivää

EUR 129,90

Hae lisää...

Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the

Tiziana Margaria (ed.), Wang Yi (ed.)

97,90 €

Springer
Sivumäärä: 594 sivua
Asu: Pehmeäkantinen kirja
Painos: 2001
Julkaisuvuosi: 2001, 21.03.2001 (lisätietoa)
Kieli: Englanti

This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.
The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus