( en | de | ru )

 

Disambiguierung von "Semenov, Alexei L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesis of Speed-Independent Circuits from STG-Unfolding Segment.

, , , , und . DAC, Seite 16-21. ACM Press, (1997)

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.

Nikita Semenov

Dmitry Semenov

Alexei Gratchev

Alexei Savtchkov

Alexei Strelchenko

 

Weitere Publikationen von Autoren mit dem selben Namen

Technology in transforming education.. Communications and Networking in Education, Volume 163 von IFIP Conference Proceedings, Seite 25-38. Kluwer, (1999)Synthesis of Speed-Independent Circuits from STG-Unfolding Segment., , , , und . DAC, Seite 16-21. ACM Press, (1997)Designing an asynchronous pipeline token ring interface., , , und . ASYNC, Seite 32-. IEEE Computer Society, (1995)Unfolding and Finite Prefix for Nets with Read Arcs., , und . CONCUR, Volume 1466 von Lecture Notes in Computer Science, Seite 501-516. Springer, (1998)Decidability of Monadic Theories.. MFCS, Volume 176 von Lecture Notes in Computer Science, Seite 162-175. Springer, (1984)What are the gains of the theory of algorithms: Basis developments connected with the concept of algorithm and with its application in mathematics., und . Algorithms in Modern Mathematics and Computer Science, Volume 122 von Lecture Notes in Computer Science, Seite 100-234. Springer, (1979)The Lattice of Definability. Origins, Recent Developments, and Further Directions., , und . CSR, Volume 8476 von Lecture Notes in Computer Science, Seite 23-38. Springer, (2014)Partial order based approach to synthesis of speed-independent circuits., , , , , und . ASYNC, Seite 254-. IEEE Computer Society, (1997)Verification of asynchronous circuits using Time Petri Net unfolding., und . DAC, Seite 59-62. ACM Press, (1996)