학술논문
'학술논문'
에서 검색결과 280건 | 목록
160~170
Book
In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10623 LNCS:161-178)
Book
In: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10487 LNCS:198-215)
Book
In: Electronic Government - 16th IFIP WG 8.5 International Conference, EGOV 2017, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10428 LNCS:117-127)
Conference
In: CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science , CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science. (CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, 2017, :201-212)
Conference
In: ACM International Conference Proceeding Series , EGOSE 2016 - International Conference on Electronic Governance and Open Society: Challenges in Eurasia, Proceedings. (ACM International Conference Proceeding Series, 22 November 2016, 22-23-November-2016:77-82)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings of the 1st International Workshop on Formal Methods for and on the Cloud, iFMCloud 2016. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 25 October 2016, 228:35-45)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings of the 17th International Workshop on Refinement, Refine 2015. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 4 June 2016, 209:40-56)
Book
(Advances in Intelligent Systems and Computing, 1 April 2016, 446:1-30)
Conference
In: ACM International Conference Proceeding Series , ICEGOV 2016 - Proceedings: 9th International Conference on Theory and Practice of Electronic Governance. (ACM International Conference Proceeding Series, 1 March 2016, 01-03-March-2016:230-239)
Conference
In: Proceedings of the European Conference on e-Learning, ECEL , Proceedings of the 15th European Conference on e-Learning, ECEL 2016. (Proceedings of the European Conference on e-Learning, ECEL, 2016, 2016-January:201-206)
검색 결과 제한하기
제한된 항목
[AR] Barbosa, L.S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어