학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 251건 | 목록 170~180
Book
In: Wireless Sensor Networks - 6th European Conference, EWSN 2009, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5432 LNCS:53-68)
Book
In: Formal Modeling and Analysis of Timed Systems - 6th International Conference, FORMATS 2008, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 5215 LNCS:170-187)
Conference
In: Embedded Systems Week 2008 - Proceedings of the 6th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, Embedded Systems Week 2008 - Proceedings of the 6th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008. (Embedded Systems Week 2008 - Proceedings of the 6th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, 2008, :179-184)
Conference
In: MSWiM'07: Proceedings of the Tenth ACM Symposium on Modeling, Analysis, and Simulation of Wireless and Mobile Systems, MSWiM'07: Proceedings of the Tenth ACM Symposium on Modeling, Analysis, and Simulation of Wireless and Mobile Systems. (MSWiM'07: Proceedings of the Tenth ACM Symposium on Modeling, Analysis, and Simulation of Wireless and Mobile Systems, 2007, :60-69)
Conference
In: Proceedings -Design, Automation and Test in Europe, DATE, Proceedings - 2007 Design, Automation and Test in Europe Conference and Exhibition, DATE 2007. (Proceedings -Design, Automation and Test in Europe, DATE, 2007, :285-290)
Book
In: Automated Technology for Verification and Analysis - 4th International Symposium, ATVA 2006, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 4218 LNCS:260-275)
Conference
In: Proceedings of the 9th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, DSD 2006, Proceedings of the 9th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, DSD 2006. (Proceedings of the 9th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, DSD 2006, 2006, :45-52)
Conference
In: Proceedings - International Conference on Application of Concurrency to System Design, ACSD, Proceedings - Sixth International Conference on Application of Concurrency to System Design, ACSD 2006. (Proceedings - International Conference on Application of Concurrency to System Design, ACSD, 2006, :276-278)
Conference
In: Proceedings - Design Automation Conference, 2006 43rd ACM/IEEE Design Automation Conference, DAC'06. (Proceedings - Design Automation Conference, 2006, :899-904)
Conference
In: Proceedings - International Conference on Application of Concurrency to System Design, ACSD, Proceedings - Fifth International Conference on Application of Concurrency to System Design, ACSD 2005. (Proceedings - International Conference on Application of Concurrency to System Design, ACSD, 2005, 2005:88-97)
검색 결과 제한하기
제한된 항목
[AR] Geilen, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어