登入選單
Google圖書搜尋
Criminal Poisoning: Clinical and Forensic Perspect...
作者
Christopher P. Holstege / Thomas Neer / Gregory B. Saathoff / R. Brent Furbee
出版Jones & Bartlett Publishers, 2010-10-25
ISBN
9781449671525 / 1449671527
主題
Medical
Demography and Nutrition
作者
Susan Scott / Christopher J. Duncan
出版John Wiley & Sons, 2008-04-15
ISBN
9780470777459 / 0470777451
主題
Medical
Learning to Assess
作者
Christopher DeLuca / Jill Willis / Bronwen Cowie / Christine Harrison / Andrew Coombs
出版Springer Nature, 2024-01-01
ISBN
9789819961993 / 9819961998
主題
Education
British and Irish Paintings in Public Collections
作者
Christopher Wright / Catherine May Gordon
出版Yale University Press, 2006-01-01
ISBN
0300117302 / 9780300117301
主題
Art
Regional Cellular Immunity After Immunization with...
作者
Christopher Snow
出版1980
ISBN
UCAL:X37009
主題
Antigens
Towards Practical Graph-based Verification for an ...
作者
Alexander Heussner / Christopher M. Poskitt / Claudio Corrodi / Benjamin Morandi
出版2015
ISBN
OCLC:907005864
Contract-Based General-Purpose GPU Programming
出版2015
ISBN
OCLC:919183165
An Interference-Free Programming Model for Network...
作者
Mischael Schill / Christopher M. Poskitt / Bertrand Meyer
出版2016
ISBN
OCLC:946903756
Verification of Graph Programs
作者
Christopher M. Poskitt
出版2013
ISBN
OCLC:868074912
Using Contracts to Guide the Search-Based Verifica...
作者
Christopher M. Poskitt / Simon Poulding
出版2013
ISBN
OCLC:847838588
The AutoProof Verifier: Usability by Non-Experts a...
出版2015
ISBN
OCLC:918922964
A Graph-Based Semantics Workbench for Concurrent A...
作者
Claudio Corrodi / Alexander Heussner / Christopher M. Poskitt
出版2016
ISBN
OCLC:942817239
Verifying Total Correctness of Graph Programs
作者
Christopher M. Poskitt / Detlef Plump
出版2013
ISBN
OCLC:847839215
Applying Search in an Automatic Contract-Based Tes...
作者
Alexey Kolesnichenko / Christopher M. Poskitt / Bertrand Meyer (Ingénieur.)
出版2013
ISBN
OCLC:847839212
SafeGPU: Contract- and Library-Based GPGPU for Obj...
作者
Alexey Kolesnichenko / Christopher M. Poskitt / Sebastian Nanz
出版2016
ISBN
OCLC:956752082