( en | de | ru )

 

Disambiguierung von "Rus, Teodor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Application driven software for chemistry.

, , und . EIT, Seite 361-366. IEEE, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Teodor Nebozuk

Teodor Schlomka

Teodor Ghetiu

Teodor Buburuzan

Teodor Elsner

 

Weitere Publikationen von Autoren mit dem selben Namen

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