E-LIB Suche - Ergebnisse für: Park, Tom

1

A Formal CHERI-C Semantics for Verification:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Park, Seung Hoon ; Pai, Rekha ; Melham, Tom - p. 549-568 , 2023

2

Incorporating Natural Source Zone Depletion (NSZD) into the..:

, In: Advances in the Characterisation and Remediation of Sites Contaminated with Petroleum Hydrocarbons; Environmental Contamination Remediation and Management,

Palaia, Tom ; Park, Sid - p. 443-477 , 2023

Link: https://doi.org/10.1007/..

3

A 2.2μm 2-Layer Stacked HDR Voltage Domain Global Shutter C..:

, In: 2023 International Electron Devices Meeting (IEDM),

Gao, Zhe ; Park, Geunsook ; Fu, Linda... - p. 1-4 , 2023

Link: https://doi.org/10.1109/..

4

Life-Death Interfaces: Tangible Ways of Legacy-Making, Grie..:

, In: Proceedings of Mensch und Computer 2022,

Hemmert, Fabian ; Görts, Alexander ; Horst, Jana.. - p. 323-327 , 2022

Link: https://dl.acm.org/doi/1..

5

Contributors:

, In: Cummings Pediatric Otolaryngology,

Arvedson, Joan C. ; Baroody, Fuad M. ; Bohm, Lauren A.... - p. v-vii , 2021

Link: https://doi.org/10.1016/..

6

Enhancing business processes with trustworthiness using blo..:

, In: Proceedings of the 35th Annual ACM Symposium on Applied Computing,

Johng, Haan ; Kim, Doohwan ; Park, Grace... - p. 61-68 , 2020

Link: https://dl.acm.org/doi/1..

7

List of Contributors:

, In: The Science of Religion, Spirituality, and Existentialism,

Abeyta, Andrew A. ; Adam-Troïan, Jaïs ; Alderson, Courtney J.... - p. xvii-xviii , 2020

Link: https://doi.org/10.1016/..

8

Contributors:

, In: Waste,

Bartl, Andreas ; Blight, Geoffrey ; Blight, Geoff... - p. xiii-xiv , 2019

Link: https://doi.org/10.1016/..

9

Contributors:

, In: Principles and Practice of Sleep Medicine,

Abbott, Sabra M. ; Achermann, Peter ; Ainslie, Philip N.... - p. ix-xxxii , 2017

Link: https://doi.org/10.1016/..

10

In-line metrology for atomic resolution local height variat..:

, In: 2017 28th Annual SEMI Advanced Semiconductor Manufacturing Conference (ASMC),

Kim, Tae-Gon ; Kim, Soon-Wook ; Vanderwayer, Tom... - p. 267-272 , 2017

Link: https://doi.org/10.1109/..

11

List of Contributors:

, In: Bone Cancer,

Ando, Kosei ; Arslandemir, Coskun ; Bell, Walter C.... - p. xi-xv , 2010

Link: https://doi.org/10.1016/..

12

Contributors:

, In: Essentials of Stem Cell Biology,

Addis, Russell C. ; Amit, Michal ; Andrews, Peter W.... - p. ix-xiii , 2009

Link: https://doi.org/10.1016/..

13

List of Contributors:

, In: Local Flaps in Facial Reconstruction,

Aguilar III, E.A. Fred ; Baker, Shan R. ; Beas, Ricardo A.... - p. ix-x , 2007

Link: https://doi.org/10.1016/..

14

Contributor contact details:

, In: Understanding Pathogen Behaviour,

Vaidyanathan, Seetharaman ; Goodacre, Royston ; Le Marc, Yvan... - p. xiii-xvi , 2005

Link: https://doi.org/10.1016/..

15

Contributors:

, In: Office Practice of Neurology,

Adams, Robert J. ; Albers, James W. ; Alderson, Lloyd M.... - p. vii-xx , 2003

Link: https://doi.org/10.1016/..