Výsledky vyhľadávania - (( programyes java ) OR ( (programm OR program) java ))*
-
1
Autori: Karimipour, Nima
Predmety: Computer science, Computer engineering, Java, Large Language Models, Pluggable Type Systems and Inference, Program Analysis, Program Repair, Static Analysis
Popis súboru: application/pdf
-
2
Autori:
Zdroj: Proceedings of the ACM on Software Engineering. 2(FSE001):1-21
Predmety: Java, benchmark, deserialization, gadget chain, program analysis, vulnerabilitiy, Computer Science, datalogi
Popis súboru: electronic
Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-249205
https://doi.org/10.1145/3715711 -
3
Autori: a ďalší
Zdroj: International Journal on Software Tools for Technology Transfer Benchmark Repository for Floating-Point Support in KeY. 25(2):185-204
Popis súboru: electronic
-
4
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
-
5
Autori: a ďalší
Zdroj: Genetic Programming and Evolvable Machines. 20(4):531-580
Predmety: Neutral program variant, Program transformation, Java, Code plasticity
Popis súboru: print
-
6
Autori: Chan, Carol
Predmety: Indonesia, Yogyakarta, Cilacap, gender, migrant labor, remittances, cash, physical cash transfer
Popis súboru: application/pdf
-
7
Autori:
Zdroj: Jurnal Indonesia : Manajemen Informatika dan Komunikasi. 5:2201-2215
-
8
Autori: a ďalší
Zdroj: WASP ACM Transactions on Software Engineering and Methodology. 32(2):1-34
Predmety: software bloat, code coverage, program specialization, bytecode, software maintenance, Datalogi, Computer Science
Popis súboru: electronic
Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-316426
https://doi.org/10.1145/3546948 -
9
Autori:
Zdroj: IEEE Transactions on Software Engineering. 51(8):2366-2380
Predmety: Automated Program Repair, Code Representations, Large Language Models, Parameter-Efficient Fine-Tuning
Popis súboru: print
-
10
Autori:
Prispievatelia:
Zdroj: urn:tid:203253558
Popis súboru: application/pdf
Dostupnosť: https://hdl.handle.net/1822/84091
-
11
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: paper, national, rank-X, rline-vvcs
Popis súboru: application/pdf
Relation: Pereira, H., Sousa, D. G., Bradbury, J., & Lourenço, J. M. (2022). Automatic Generation of Contracts for Concurrent Java Programs. In INForum 2022 - Atas do 13º Simpósio de Informática (pp. 131-132). (INForum 2022). FEUP Edições. https://inforum.org.pt/2022/sites/default/files/2022-09/Actas_INForum.pdf; 978-972-752-171-5; PURE: 72264597
Dostupnosť: http://hdl.handle.net/10362/162732
-
12
Autori: Albehaijan, Noorah Abdullah
Predmety: QA0076.6 Programming
Prístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.856236
-
13
Autori: Ade Sukendar
Zdroj: Device. 13:216-222
-
14
Autori: a ďalší
Zdroj: Veterinary Medicine International. 2/24/2026, Vol. 2026, p1-7. 7p.
Predmet: Chickens, Molecular diagnosis, Poultry farms, Indonesians, Microbial virulence genetics, Agricultural egg production, Respiratory diseases, Bacteria
Geografický termín: Jawa Barat (Indonesia), Indonesia
Plný text vo formáte HTML Plný text ve formátu PDF -
15
Autori:
Popis súboru: application/pdf
-
16
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
-
17
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
-
18
Autori: a ďalší
Popis súboru: application/pdf
-
19
Autori:
Typ zdroja: eBook.
Predmet: Traffic engineering--Data processing, Traffic flow--Computer simulation, Choice of transportation--Forecasting--Computer programs, Multiagent systems, Transportation--Planning--Computer programs, Urban transportation--Computer simulation
Kategórie: TECHNOLOGY & ENGINEERING / Civil / Transportation, COMPUTERS / Data Science / Data Modeling & Design
Plný text ve formátu PDF Plný text vo formáte ePub -
20
Autori: a ďalší
Zdroj: Malaysian Journal of Medicine & Health Sciences; 2025 Supplement, Vol. 21, p20-27, 8p
Nájsť tento článok vo Web of Science
Full Text Finder