Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dill, W.A.
11  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Prediction and Convergence Calculations using Rust-based NA..:

, In: 2021 International Conference on Computational Science and Computational Intelligence (CSCI),
Scott, Noah W. ; Hodson, Douglas D. ; Dill, Richard. - p. 1800-1804 , 2021
Link: https://doi.org/10.1109/..
 
?
2

CMC : a pragmatic approach to model checking real code:

, In: Proceedings of the 5th symposium on Operating systems design and implementation (Copyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading),
Musuvathi, Madanlal ; Park, David Y. W. ; Chou, Andy.. - p. 75-88 , 2002
Link: https://dl.acm.org/doi/1..
 
?
3

Checking properties of safety critical specifications using..:

, In: Proceedings of the second workshop on Formal methods in software practice,
Park, David Y. W. ; Skakkebæk, Jens U. ; Heimdahl, Mats P. E... - p. 34-43 , 1998
Link: https://dl.acm.org/doi/1..
 
?
4

A decision procedure for bit-vector arithmetic:

, In: Proceedings of the 35th annual Design Automation Conference,
Barrett, Clark W. ; Dill, David L. ; Levitt, Jeremy R. - p. 522-527 , 1998
Link: https://dl.acm.org/doi/1..
 
?
5

A single 5V supply nonvolatile static RAM:

, In: 1981 IEEE International Solid-State Circuits Conference. Digest of Technical Papers,
Drori, J. ; Jewell-Larsen, S. ; Klein, R.... - p. 148,149 , 1981
Link: https://doi.org/10.1109/..
 
?
6

Tunable high Q solid state inductive elements:

, In: 1961 International Electron Devices Meeting,
Fa, C. ; Dill, H. ; Waters, W. - p. 30,31,32 , 1961
Link: https://doi.org/10.1109/..
 
?
7

Design and Performance of DS/SS Signals Defined by Arbitrar..:

, In: Proceedings IWISP '96,
Jones, William W. ; Dill, Jeffrey C. - p. 393-396 , 1996
Link: https://doi.org/10.1016/..
 
?
8

Insulated gate field effect transistors fabricated using th..:

, In: 1966 International Electron Devices Meeting,
Bower, R.W. ; Dill, R.G. - p. 102,103,104 , 1966
Link: https://doi.org/10.1109/..
 
?
9

Contributors:

, In: A Comprehensive Guide to Toxicology in Nonclinical Drug Development,
Ajithdoss, D.K. ; Al-Humadi, Nabil ; Amuzie, C.J.... - p. xv-xvi , 2024
Link: https://doi.org/10.1016/..
 
?
10

Contributors:

, In: Haschek and Rousseaux's Handbook of Toxicologic Pathology,
Adams, E. Terence ; Adler, Rick ; Alden, Carl L.... - p. xxxiii-xxxvi , 2013
Link: https://doi.org/10.1016/..
 
?
11

Temodal in der Behandlung des metastasierten Melanoms:

, In: Dermatologie an der Schwelle zum neuen Jahrtausend,
Tilgen, W. ; Seiter, S. ; Dill-Müller, D. - p. 523-524 , 2000
Link: https://doi.org/10.1007/..
 
1-11