Výsledky vyhľadávania - (( (((programy OR programy) OR programm) OR program) java ) OR ( program java ))
-
1
Autori: KHAING HSU WAI,
Popis súboru: application/pdf
Prístupová URL adresa: https://ndlsearch.ndl.go.jp/books/R100000039-I13979699
Degree: 博士(工学) -- 岡山大学
-
2
Autori: Mečiar, Martin
Thesis Advisors: Zavoral, Filip, Kofroň, Jan
Predmety: Java, statická analýza, static analysis, bytecode, datový tok, data flow
Dostupnosť: http://www.nusl.cz/ntk/nusl-406288
-
3
Autori: a ďalší
Zdroj: Information and Media Technologies. 2012, 7(4):1401
-
4
Autori: Ramirez Deantes, Diana
Thesis Advisors: Puebla Sánchez, Alvaro Germán
Predmety: Informática
Prístupová URL adresa: http://hdl.handle.net/10803/452001
-
5
Autori: Fries, Aidan
Prispievatelia: University/Department: Universitat de Barcelona. Departament d'Astronomia i Meteorologia
Thesis Advisors: aidan.fries@gmail.com, Portell de Mora, Jordi, Sirvent Pardell, Raül, Luri Carrascoso, Xavier
Zdroj: TDX (Tesis Doctorals en Xarxa)
Predmety: Java (Llenguatge de programació), Java (Lenguaje de programación), Java (Computer program language), HPC, MPJ, Gaia (Space astronomy mission), Gaia (Misión astronómica espacial), Gaia (Missió astronòmica espacial), Ciències Experimentals i Matemàtiques
Popis súboru: application/pdf
Prístupová URL adresa: http://hdl.handle.net/10803/98405
-
6
Autori: ALBA CASTRO, MAURICIO FERNANDO
Prispievatelia: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Thesis Advisors: Alpuente Frasnedo, María, Escobar Román, Santiago
Zdroj: Riunet
Predmety: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS
Prístupová URL adresa: http://hdl.handle.net/10251/13617
-
7
Autori: a ďalší
Zdroj: Record of Joint Conference of Electrical and Electronics Engineers in Kyushu. 2004, :641
-
8
Prispievatelia: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Thesis Advisors: Alpuente Frasnedo, María, Escobar Román, Santiago
Zdroj: Riunet
Predmety: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS
Prístupová URL adresa: http://hdl.handle.net/10251/13617
-
9
Autori: a ďalší
Zdroj: Record of Joint Conference of Electrical and Electronics Engineers in Kyushu. 2005, :498
-
10
Thesis Advisors: UAM. Departamento de Ingeniería Informática, Modelado e Ingeniería del Software (ING EPS-013)
Zdroj: Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science. Volumen 7745. Springer, 2013. 104-123
978-3-642-36089-3 (online)
978-3-642-36088-6 (print)
0302-9743 (print)
1611-3349 (online)
104
123
7745Predmety: APIs, Java Virtual Machine, Model Transformations, Model-Driven Engineering, Transformations at Runtime, Informática
Prístupová URL adresa: http://hdl.handle.net/10486/664466
-
11
Autori: Tejedor Saavedra, Enric
Prispievatelia: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
Thesis Advisors: Badia Sala, Rosa M. (Rosa Maria)
Zdroj: TDX (Tesis Doctorals en Xarxa)
Popis súboru: application/pdf
Prístupová URL adresa: http://hdl.handle.net/10803/129576
https://dx.doi.org/10.5821/dissertation-2117-95111 -
12
Autori: Sirvent Pardell, Raül
Prispievatelia: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
Thesis Advisors: Badia Sala, Rosa M. (Rosa Maria)
Zdroj: TDX (Tesis Doctorals en Xarxa)
Predmety: checkpointing, task replication, task retries, fault tolerance, scientific workflows, implicit parallelism, programming models, grid computing
Popis súboru: application/pdf
-
13
Autori: Albehaijan, Noorah Abdullah
Predmety: QA0076.6 Programming
Prístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.856236
-
14
Autori: a ďalší
Zdroj: International Society for Technology, Education, and Science. 2023.
Peer Reviewed: Y
Počet strán: 12
-
15
Autori: Laskov, Lasko M.
Zdroj: Laskov, Lasko M. (2020) Practical Java: Learning in exercises. Manual. Научен електронен архив на НБУ, София. (Unpublished)
Predmety: Computer science. Computer programming
Popis súboru: application/pdf
Prístupová URL adresa: http://eprints.nbu.bg/3422/
-
16
Autori: Edward Sciore
Typ zdroja: eBook.
Predmet: Java (Computer program language)
Kategórie: COMPUTERS / Languages / Java
-
17
Autori:
Zdroj: Applied Sciences, Vol 15, Iss 7, p 3632 (2025)
Predmety: automated program repair (APR), neural machine translation (NMT), context-aware patch generation, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999
Popis súboru: electronic resource
Prístupová URL adresa: https://doaj.org/article/16b1494334b748a0b2e0208d5ddee76e
-
18
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: EASE '23: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering 27th International Conference on Evaluation and Assessment in Software Engineering, EASE 2023.
Predmety: Natural Sciences, Computer and Information Sciences, Software Engineering, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Programvaruteknik
Prístupová URL adresa: https://doi.org/10.1145/3593434.3593469
-
19
Autori:
Zdroj: J. Xiang and S. Chong, "Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages," 2021 IEEE Symposium on Security and Privacy (SP), San Francisco, CA, USA, 2021, pp. 18-35, doi: 10.1109/SP40001.2021.00002.
Popis súboru: application/pdf
Relation: 2021 IEEE Symposium on Security and Privacy (SP)
Prístupová URL adresa: https://nrs.harvard.edu/URN-3:HUL.INSTREPOS:37376795
-
20
Nájsť tento článok vo Web of Science
Full Text Finder