( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Tutorial on LARCH and LCL, A LARCH/C Interface Language.

, и . VDM Europe (2), том 552 из Lecture Notes in Computer Science, стр. 1-78. Springer, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

V Saile

V Geoffroy

V Wittwer

V Ustinov

V Adams

 

Другие публикации лиц с тем же именем

Using Transformations and Verification in Circuit Design., , , и . Larch, стр. 201-226. Springer, (1992)When and Why Test-Time Augmentation Works., , , и . CoRR, (2020)Data Augmentation for Electrocardiograms., , , , и . CHIL, том 174 из Proceedings of Machine Learning Research, стр. 282-310. PMLR, (2022)Intuitively Assessing ML Model Reliability through Example-Based Explanations and Editing Model Inputs., , , и . IUI, стр. 767-781. ACM, (2022)Inductive Methods for Reasoning about Abstract Data Types., и . POPL, стр. 219-228. ACM Press, (1988)Abstract Data Types and the Development of Data Structures. Software Pioneers Contributions to Software Engineering, стр. 453--479. Berlin, Springer, (1977)aus: Commun.~ACM, Vol.~20(6), pp.~396-404.Introduction to Computation and Programming Using Python. The MIT Press, revised and expanded edition издание, (09.08.2013)Unsupervised Data Imputation via Variational Inference of Deep Subspaces., , и . CoRR, (2019)Proof Rules for the Programming Language Euclid., , , , , и . Program Construction, том 69 из Lecture Notes in Computer Science, стр. 133-163. Springer, (1978)Leveraging hierarchy in medical codes for predictive modeling., , , и . BCB, стр. 96-103. ACM, (2014)