( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification and Evaluation of Execution Time in the Envelope Theory.

, , , и . ASIAN, том 1179 из Lecture Notes in Computer Science, стр. 299-308. Springer, (1996)

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.

Shigeru Noda

Shigeru Taguchi

 

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

Formal Analysis of an Airplane Accident in NSigma-Labeled Calculus., , , и . AICI, том 5855 из Lecture Notes in Computer Science, стр. 469-478. Springer, (2009)Visualized Music Experssions in an Object-Oriented Environment., , и . ICMC, Michigan Publishing, (1996)Formal Analysis for Continous Systems Controlled by Programs., , , и . ASIAN, том 1179 из Lecture Notes in Computer Science, стр. 347-348. Springer, (1996)Formal Verification and Evaluation of Execution Time in the Envelope Theory., , , и . ASIAN, том 1179 из Lecture Notes in Computer Science, стр. 299-308. Springer, (1996)Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis., , , и . ASIAN, том 1345 из Lecture Notes in Computer Science, стр. 110-120. Springer, (1997)Musical Analysis of a Computer Music Project, by Computer-Assistance, for Computer Music Applications., , и . ICMC, Michigan Publishing, (2000)Analysis of a Software/Hardware System by Tense Arithmetic., , и . Logic, Language and Computation, том 792 из Lecture Notes in Computer Science, стр. 188-205. Springer, (1994)A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance., , , , и . AICI (1), том 6319 из Lecture Notes in Computer Science, стр. 256-265. Springer, (2010)The nu-Conversion and an Analytic Semantics.. IFIP Congress, стр. 769-774. North-Holland/IFIP, (1983)Admissibility of fixed-point induction in first- order logic of typed theories.. International Sympoisum on Theoretical Programming, том 5 из Lecture Notes in Computer Science, стр. 344-383. Springer, (1972)