BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Huaikou Miao

4 cilt bulundu.

Cilt sonuçları

Formal methods and software engineering

Formal methods and software engineering

Chris George, Huaikou Miao · Springer

626 sayfa · 2002

Formal methods (Computer science) / Congresses / Software engineering / Computer science / Logic design

Computer and Information Science 2009

Computer and Information Science 2009

Roger Lee, Gongzu Hu, Huaikou Miao · Springer

Sayfa sayısı yok · 2009

Kategori yok

Testbeds and Research Infrastructures for the Development of Networks and Communities

Testbeds and Research Infrastructures for the Development of Networks and Communities

Honghao Gao, Yuyu Yin, Xiaoxian Yang, Huaikou Miao · Springer

179 sayfa · 2019

Kategori yok

CiltComputer and Information Science 2009Roger Lee, Gongzu Hu, Huaikou Miao

Computer and Information Science 2009

Roger Lee, Gongzu Hu, Huaikou Miao · Springer London, Limited

Sayfa sayısı yok · 2009

Kategori yok