KIRJAUDU

ostoskori

avaa valikko

Meng Sun | Akateeminen Kirjakauppa

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

FORMAL METHODS AND SOFTWARE ENGINEERING : 20TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, ICFEM 2018, GOLD COAST, Q

Jing Sun (ed.); Meng Sun (ed.)
Springer (2018)
Pehmeäkantinen kirja

51,40 €

THE BOOK OF CHINESE MEDICINE, VOLUME 2 - THE TIMELESS SCIENCE OF BALANCE AND HARMONY FOR MODERN LIFE

Henry H. Sun; Jingyan Meng; Kaijing Yan
Cambridge Scholars Publishing (2020)
Kovakantinen kirja

227,20 €

NARRATIVAS EXTRAORDINARIAS DE CHINA EN OBRAS DE MO YAN

SUN XIAOMENG
COMARES (2022)

16,50 €

COGNITIVE SYSTEMS AND INFORMATION PROCESSING : 8TH INTERNATIONAL CONFERENCE, ICCSIP 2023, LUOYANG, CHINA, AUGUST 10–12, 2023, RE

Fuchun Sun (ed.); Qinghu Meng (ed.); Zhumu Fu (ed.); Bin Fang (ed.)
Springer (2023)
Pehmeäkantinen kirja

71,40 €

COGNITIVE SYSTEMS AND INFORMATION PROCESSING : 8TH INTERNATIONAL CONFERENCE, ICCSIP 2023, LUOYANG, CHINA, AUGUST 10–12, 2023, RE

Fuchun Sun (ed.); Qinghu Meng (ed.); Zhumu Fu (ed.); Bin Fang (ed.)
Springer (2023)
Pehmeäkantinen kirja

86,40 €

DATABASE SYSTEMS FOR ADVANCED APPLICATIONS - 15TH INTERNATIONAL CONFERENCE, DASFAA 2010, INTERNATIONAL WORKSHOPS: GDM, BENCHMARX

Masatoshi Yoshikawa; Xiaofeng Meng; Takayuki Yumoto; Qiang Ma; Lifeng Sun; Chiemi Watanabe
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja

51,40 €

EVOLUTIONARY DEEP NEURAL NETWORK DESIGN - FUNDAMENTALS AND METHODS

Yanan Sun; Gary Yen; Mengjie Zhang
John Wiley and Sons Ltd (2022)
Kovakantinen kirja

117,90 €

PLASMON-ENHANCED SPECTROSCOPY AND IMAGING

Mengtao Sun; Xijiao Mu
Elsevier Health Sciences (2022)
Pehmeäkantinen kirja

369,90 €

ELECTROMAGNETIC COMPATIBILITY : PRINCIPLES AND APPLICATIONS

Yang Zhao; Wei Yan; Jun Sun; Mengxia Zhou; Zhaojuan Meng
Springer (2021)
Kovakantinen kirja

86,40 €

SIGNAL AND INFORMATION PROCESSING, NETWORKING AND COMPUTERS : PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON SIGNAL AND INFO

Jiande Sun (ed.); Yue Wang (ed.); Mengyao Huo (ed.); Lexi Xu (ed.)
Springer (2022)
Kovakantinen kirja

312,40 €

EVOLUTIONARY DEEP NEURAL ARCHITECTURE SEARCH: FUNDAMENTALS, METHODS, AND RECENT ADVANCES

Yanan Sun; Gary G. Yen; Mengjie Zhang
Springer (2022)
Kovakantinen kirja

152,40 €

ELECTROMAGNETIC COMPATIBILITY : PRINCIPLES AND APPLICATIONS

Yang Zhao; Wei Yan; Jun Sun; Mengxia Zhou; Zhaojuan Meng
Springer (2022)
Pehmeäkantinen kirja

61,40 €

THEORETICAL ASPECTS OF SOFTWARE ENGINEERING - 17TH INTERNATIONAL SYMPOSIUM, TASE 2023, BRISTOL, UK, JULY 4–6, 2023, PROCEEDINGS

Cristina David; Meng Sun
Springer International Publishing AG (2023)
Pehmeäkantinen kirja

76,40 €

LINEAR AND NONLINEAR OPTICAL SPECTROSCOPY AND MICROSCOPY

Mengtao Sun; Xijiao Mu; Rui Li
Springer Verlag, Singapore (2024)
Kovakantinen kirja

121,40 €

SIGNAL AND INFORMATION PROCESSING, NETWORKING AND COMPUTERS : PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON SIGNAL AND INFO

Jiande Sun (ed.); Yue Wang (ed.); Mengyao Huo (ed.); Lexi Xu (ed.)
Springer (2023)
Pehmeäkantinen kirja

312,40 €

COMPUTATIONAL SIMULATION IN NANOPHOTONICS AND SPECTROSCOPY

Mengtao Sun; Xijiao Mu
Springer (2023)
Pehmeäkantinen kirja

46,40 €

EVOLUTIONARY DEEP NEURAL ARCHITECTURE SEARCH: FUNDAMENTALS, METHODS, AND RECENT ADVANCES

Yanan Sun; Gary G. Yen; Mengjie Zhang
Springer (2023)
Pehmeäkantinen kirja

121,40 €

HERBAL MEDICINE FOR RARE DISEASES - ALLEVIATING SYMPTOMS BY GMP HERBAL FORMULATIONS

Sun-Chong Wang; Meng-hua Chen
Taylor & Francis Ltd (2025)
Pehmeäkantinen kirja

92,60 €

HERBAL MEDICINE FOR RARE DISEASES - ALLEVIATING SYMPTOMS BY GMP HERBAL FORMULATIONS

Sun-Chong Wang; Meng-hua Chen
Taylor & Francis Ltd (2025)
Kovakantinen kirja

239,90 €

FORMAL ASPECTS OF COMPONENT SOFTWARE - 20TH INTERNATIONAL CONFERENCE, FACS 2024, MILAN, ITALY, SEPTEMBER 9–10, 2024, PROCEEDINGS

Diego Marmsoler; Meng Sun
Springer International Publishing AG (2024)
Pehmeäkantinen kirja

51,40 €

Hae lisää...

Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, Q

Jing Sun (ed.), Meng Sun (ed.)

51,40 €

Springer
Sivumäärä: 474 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2018, 11.10.2018 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018.

The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions.

The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus