학술논문
'학술논문'
에서 검색결과 139건 | 목록
100~110
Book
In: Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011, Revised Selected Papers . (Communications in Computer and Information Science, 2012, 336 CCIS:V-VII)
Book
In: Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011, Revised Selected Papers . (Communications in Computer and Information Science, 2012, 336 CCIS)
Book
In: Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7610 LNCS(PART 2):323)
Book
In: Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011, Revised Selected Papers . (Communications in Computer and Information Science, 2012, 336 CCIS:150-155)
Book
In: Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6416 LNCS(PART 2):449-463)
Book
In: The Sticky Synapse: Cell Adhesion Molecules and Their Role in Synapse Formation and Maintenance . (The Sticky Synapse: Cell Adhesion Molecules and Their Role in Synapse Formation and Maintenance, 2009, :159-183)
Book
(International Review of Cell and Molecular Biology, 2009, 275(C):183-246)
Conference
In: 2007 Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, DETC2007 , 2007 Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, DETC2007. (2007 Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, DETC2007, 2008, 4:83-91)
Book
In: SOFSEM 2007: Theory and Practice of Computer Science - 33rd Conference on Current Trends in Theory and Practice of Computer Science, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, 4362 LNCS:923-934)
Conference
In: Proceedings of the ACM Symposium on Applied Computing , Proceedings of the 2007 ACM Symposium on Applied Computing. (Proceedings of the ACM Symposium on Applied Computing, 2007, :1494-1495)
검색 결과 제한하기
제한된 항목
[AR] Schreiner, D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어