학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 99건 | 목록 30~40
Book
Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers; 2014, p51-66, 16p
Book
Tools & Algorithms for the Construction & Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings; 2014, p500-514, 15p
Book
Computation, Logic, Games & Quantum Foundations. The Many Facets of Samson Abramsky; 2013, p264-276, 13p
Book
Tools & Algorithms for the Construction & Analysis of Systems (9783642367410); 2013, p478-492, 15p
Book
Reversible Computation; 2013, p234-246, 13p
Book
Computer Aided Verification (9783540705437); 2008, p543-547, 5p
Book
Model Checking Software; 2005, p266-271, 6p
Conference
Proceedings of the 20th ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 3/ 1/1993, p429-438, 10p
Academic Journal
Journal of Functional Programming. Jan2010, Vol. 20 Issue 1, p19-50. 32p.
검색 결과 제한하기
제한된 항목
[AR] Gay, Simon J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어