熱門搜尋
您輸入的關鍵字: Bloem
搜尋結果共 32 筆, 頁數 1 / 1
呈現:
This third edition reviews the epidemiology, policies, programs and outcome indicators that are used... more
While the classic model checking problem is to decide whether a finite system satisfies a specificat... more
This updated and expanded book was written with the underlying conviction that global health and nut... more
This book covers broad topics on the ethics of artificial intelligence (AI). The collection makes a ... more
This book constitutes the refereed proceedings of the 13th International Conference on Verified Soft... more
The book brings together research topics having a broad focus on human and climate change impacts on... more
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conferen... more
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verific... more
photographic images. This book, designed by Irma Boom, documents this series. Texts by Marja Bloem, in collaboration with Strik...... more
Branded Protest takes closer look at the arbitrary - odd - relationship between "branding" and "prot... more
Model checking is a computer-assisted method for the analysis of dynamical systems that can be model... more
This work describes in accessible language the technical foundations of the Old Italian School of Si... more
days and weeks of the war in the West, July-September 1914. Walter Bloem was a Captain in the German 12th Grenadier...... more
With growing concern about the protection of soil quality and biodiversity many countries have estab... more