( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Application driven software for chemistry.

, , и . EIT, стр. 361-366. IEEE, (2008)

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.

Teodor Nebozuk

Teodor Schlomka

Teodor Ghetiu

Teodor Buburuzan

Teodor Elsner

 

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

TwoLev: A Two Level Scanner., и . AMAST, стр. 264-276. Springer, (1991)Language specification by multi-axiom grammars., и . ICCL, стр. 110-118. IEEE Computer Society, (1988)Generating Model Checkers from Algebraic Specifications., , и . Formal Methods Syst. Des., 20 (3): 249-284 (2002)An algebraic approach for assembler construction (abstract)., и . ACM Conference on Computer Science, стр. 489. ACM, (1986)Integrating Temporal Logics and Model Checking Algorithms., и . ARTS, том 1231 из Lecture Notes in Computer Science, стр. 95-110. Springer, (1997)A Formal Approach to Parallelizing Compilers., и . PPSC, SIAM, (1997)Real-Time Program Synthesis from Specifications., , , и . AMAST, стр. 237-244. Springer, (1993)Liberate Computer User from Programming.. AMAST, том 5140 из Lecture Notes in Computer Science, стр. 16-35. Springer, (2008)Computer-Based Problem Solving Process. WorldScientific, (2015)Algebraic Construction of Program Representation Graphs., и . AMAST, стр. 529-546. Springer, (1991)