학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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)
주제어
언어