( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Validation Web Site: A Combustion Collaboratory over the Internet.

, , , , и . International Conference on Computational Science (2), том 2074 из Lecture Notes in Computer Science, стр. 485-493. Springer, (2001)

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.

Alexander Gary

Klaus Gary

Birgitta Lindström

Dag Lindström

Regina Gary

 

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

Transforming an Ada Program Unit to Silicon and Testing It in an Ada Environment., , , , , , , , и . COMPCON, стр. 448-455. IEEE Computer Society, (1984)Control Separation in programming languages., , и . ACM Annual Conference, стр. 496-501. ACM, (1977)Implementing logical variables on a graph reduction architecture.. Graph Reduction, том 279 из Lecture Notes in Computer Science, стр. 382-400. Springer, (1986)Model Checking Real Time Java Using Java PathFinder., , и . ATVA, том 3707 из Lecture Notes in Computer Science, стр. 444-456. Springer, (2005)A Performance-Oriented Design for OR-Parallel Logic Programming., и . ICLP, стр. 601-615. MIT Press, (1987)Or-Parallelism on Applicative Architectures.. ICLP, стр. 159-170. Uppsala University, (1984)An Implementation of Portable Standard LISP on the BBN Butterfly., , и . LISP and Functional Programming, стр. 132-142. ACM, (1988)Modularity meets inheritance., и . ICCL, стр. 282-290. IEEE Computer Society, (1992)Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment., , , , , , , , и . IEEE Software, 1 (1): 31-49 (1984)Specifying Java thread semantics using a uniform memory model., , и . Java Grande, стр. 192-201. ACM, (2002)