학술논문
'학술논문'
에서 검색결과 252건 | 목록
170~180
Book
In: Model-Driven Engineering for Distributed Real-Time Systems: MARTE Modeling, Model Transformations and their Usages . (Model-Driven Engineering for Distributed Real-Time Systems: MARTE Modeling, Model Transformations and their Usages, 5 March 2013, :73-103)
Conference
In: International Gas Research Conference Proceedings , International Gas Union Research Conference 2011, IGRC 2011. (International Gas Research Conference Proceedings, 2011, 4:2704-2719)
Conference
In: UBICOMM 2010 - 4th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies , UBICOMM 2010 - 4th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies. (UBICOMM 2010 - 4th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, 2010, :452-457)
Book
In: Theoretical Aspects of Computing, ICTAC 2010 - 7th International Colloquium, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6255 LNCS:184-198)
Conference
In: VECIMS 2010 - 2010 IEEE International Conference on Virtual Environments, Human-Computer Interfaces and Measurement Systems, Proceedings , VECIMS 2010 - 2010 IEEE International Conference on Virtual Environments, Human-Computer Interfaces and Measurement Systems, Proceedings. (VECIMS 2010 - 2010 IEEE International Conference on Virtual Environments, Human-Computer Interfaces and Measurement Systems, Proceedings, 2010, :42-46)
Academic Journal
Academic Journal
Chemistry of Natural Compounds; Nov2013, Vol. 49 Issue 5, p930-931, 2p
Book
In: Testing of Software and Communicating Systems - 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 5047 LNCS:184-199)
Book
In: Tests and Proofs - First International Conference, TAP 2007, Revised Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, 4454 LNCS:131-148)
Book
In: Testing of Communicating Systems - 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 3964 LNCS:1-18)
검색 결과 제한하기
제한된 항목
[AR] Touil, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어