Výsledky vyhľadávania - (( ((programmes OR programyes) OR program) java ) OR ( ((programm 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: 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
-
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:
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
-
7
Autori:
Zdroj: Jurnal Indonesia : Manajemen Informatika dan Komunikasi. 5:2201-2215
-
8
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
-
9
Autori:
Prispievatelia:
Zdroj: urn:tid:203253558
Popis súboru: application/pdf
Dostupnosť: https://hdl.handle.net/1822/84091
-
10
Autori: Ade Sukendar
Zdroj: Device. 13:216-222
-
11
Autori: Albehaijan, Noorah Abdullah
Predmety: QA0076.6 Programming
Prístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.856236
-
12
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 -
13
Autori: a ďalší
Zdroj: Malaysian Journal of Medicine & Health Sciences; 2025 Supplement, Vol. 21, p20-27, 8p
-
14
Autori: Hans-Peter Habelitz
Typ zdroja: eBook.
Predmet: Java (Computer program language)
Kategórie: COMPUTERS / Languages / JavaScript
-
15
Autori: KHAING HSU WAI,
Popis súboru: application/pdf
Prístupová URL adresa: https://ndlsearch.ndl.go.jp/books/R100000039-I13979699
Degree: 博士（工学） -- 岡山大学
-
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:
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 -
19
Autori: a ďalší
Zdroj: IEEE Transactions on Dependable and Secure Computing. 20(4):2794-2810
Predmety: automatic program repair, Codes, Computer bugs, Java, Maintenance engineering, metaprogramming, Software development management, Static analysis, Static code analysis, Syntactics, Codes (symbols), Computer software, Java programming language, Program debugging, Repair, Software design, Trees (mathematics), Automatic programs, Code, Meta Programming, Static analyzers, Static codes
Popis súboru: print
-
20
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
Nájsť tento článok vo Web of Science 
Full Text Finder