( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Supporting Tool for Development of Self-Measurement Ada Programs.

, , и . Ada-Europe, том 1845 из Lecture Notes in Computer Science, стр. 69-81. Springer, (2000)

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.

Cheng-Yung Cheng

I-Fen Cheng

Ying Min Cheng

Xuerong Cheng

Qing-Qi Cheng

 

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

A toolkit for developing programs of card game played on the internet., и . IWEC, том 240 из IFIP Conference Proceedings, стр. 57-64. Kluwer, (2002)Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications.. PARCO, стр. 589-592. Elsevier, (1993)A Meta-Database System Approach for Business Data Sharing among Multiple Target Databases., , и . SKG, стр. 175-181. IEEE, (2019)Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)., и . Math. Struct. Comput. Sci., 18 (1): 145-164 (2008)Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic., и . ER (Workshops), том 3289 из Lecture Notes in Computer Science, стр. 114-126. Springer, (2004)QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems., , и . IEICE Trans. Inf. Syst., 102-D (11): 2159-2175 (2019)Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems.. Ada-Europe, том 4006 из Lecture Notes in Computer Science, стр. 167-178. Springer, (2006)Tasking Deadlocks in Ada 95 Programs and Their Detection., и . Ada-Europe, том 1088 из Lecture Notes in Computer Science, стр. 135-146. Springer, (1996)Logical tool of knowledge engineering: using entailment logic rather than mathematical logic.. ACM Conference on Computer Science, стр. 228-238. ACM, (1991)A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery.. Discovery Science, том 1532 из Lecture Notes in Computer Science, стр. 403-404. Springer, (1998)