KIRJAUDU

ostoskori

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

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; Meng Sun
Springer Nature Switzerland AG (2018)
Pehmeäkantinen kirja

49,60 €

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

220,00 €

NARRATIVAS EXTRAORDINARIAS DE CHINA EN OBRAS DE MO YAN

SUN XIAOMENG
COMARES (2022)

16,00 €

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

68,90 €

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

83,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

49,60 €

EVOLUTIONARY DEEP NEURAL NETWORK DESIGN - FUNDAMENTALS AND METHODS

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

113,80 €

PLASMON-ENHANCED SPECTROSCOPY AND IMAGING

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

357,70 €

ELECTROMAGNETIC COMPATIBILITY : PRINCIPLES AND APPLICATIONS

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

83,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

301,50 €

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

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

147,10 €

ELECTROMAGNETIC COMPATIBILITY : PRINCIPLES AND APPLICATIONS

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

59,30 €

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

73,70 €

LINEAR AND NONLINEAR OPTICAL SPECTROSCOPY AND MICROSCOPY

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

117,20 €

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

301,50 €

COMPUTATIONAL SIMULATION IN NANOPHOTONICS AND SPECTROSCOPY

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

44,80 €

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

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

117,20 €

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

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

82,60 €

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

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

213,30 €

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

49,60 €

Hae lisää...

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

Jing Sun, Meng Sun

49,60 €

Springer Nature Switzerland AG
Sivumäärä: 474 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2018
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 | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus