Suchergebnisse - (( (programas OR programy) java ) OR ( program java ))
-
1
Autoren: Karimipour, Nima
Schlagwörter: Computer science, Computer engineering, Java, Large Language Models, Pluggable Type Systems and Inference, Program Analysis, Program Repair, Static Analysis
Dateibeschreibung: application/pdf
-
2
-
3
Autoren: Ramirez Deantes, Diana
Thesis Advisors: Puebla Sánchez, Alvaro Germán
Schlagwörter: Informática
Zugangs-URL: http://hdl.handle.net/10803/452001
-
4
Autoren: Mečiar, Martin
Thesis Advisors: Zavoral, Filip, Kofroň, Jan
Schlagwörter: Java, statická analýza, static analysis, bytecode, datový tok, data flow
Verfügbarkeit: http://www.nusl.cz/ntk/nusl-406288
-
5
Autoren: et al.
Quelle: Health Policy and Planning, 2015 Apr 01. 30(3), 345-355.
Zugangs-URL: https://www.jstor.org/stable/48508549
-
6
Autoren: Hanazumi, Simone
Thesis Advisors: Melo, Ana Cristina Vieira de
Schlagwörter: Especificação de programas, Formal verification, Java, Objetivos de teste, Program specification, Test purposes, Verificação formal
Dateibeschreibung: application/pdf
-
7
Autoren: Simone Hanazumi
Thesis Advisors: Ana Cristina Vieira de Melo, Patricia Duarte de Lima Machado, Ricardo Luis de Azevedo da Rocha, Valdivino Alexandre Santiago Junior, Flavio Soares Correa da Silva
Quelle: Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.
-
8
Autoren: Fries, Aidan
Weitere Verfasser: 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
Quelle: TDX (Tesis Doctorals en Xarxa)
Schlagwörter: 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
Dateibeschreibung: application/pdf
Zugangs-URL: http://hdl.handle.net/10803/98405
-
9
Autoren: et al.
Quelle: The International Forestry Review, 2011 Jan 01. 13(2), 152-162.
Zugangs-URL: https://www.jstor.org/stable/24310665
-
10
Autoren:
Quelle: Proceedings of the ACM on Software Engineering. 2(FSE001):1-21
Schlagwörter: Java, benchmark, deserialization, gadget chain, program analysis, vulnerabilitiy, Computer Science, datalogi
Dateibeschreibung: electronic
-
11
-
12
Alternate Title: La eficacia del programa de empoderamiento entre pares: una intervención escolar en adolescentes. (Spanish)
Autoren: et al.
Quelle: Gaceta Médica de Caracas; 2026 Supplement, Vol. 134, pS60-S67, 8p
-
13
Alternate Title: SEMANTIC ANALYSIS OF PROGRAMS WRITTEN IN JAVA. (English)
Autoren:
Quelle: Theoría: Ciencia, Arte y Humanidades; 2004, Vol. 13, p39-49, 11p
-
14
Alternate Title: Un programa psicoeducativo basado en la web para síntomas relacionados con trauma en estudiantes universitarios indonesios: un ensayo piloto controlado aleatorizado. (Spanish)
Autoren: et al.
Quelle: European Journal of Psychotraumatology; Dec2025, Vol. 16 Issue 1, p1-17, 17p
Schlagwörter: HEALTH literacy, PSYCHOEDUCATION, RANDOMIZED controlled trials, FEASIBILITY studies, EMOTIONAL trauma, INDONESIANS
Geografische Kategorien: INDONESIA
-
15
Autoren: et al.
Quelle: International Journal of Pharmaceutical Research (09752366); Apr-Jun2021, Vol. 13 Issue 2, p571-577, 7p
Schlagwörter: HEALTH programs, COVID-19 pandemic, DATA analysis, BRAND equity, NONFORMAL education
-
16
Autoren: Md. Humayun
Quelle: International Journal of Advanced Computer Science and Applications. 6
Schlagwörter: Executable, 0211 other engineering and technologies, 02 engineering and technology, Java concurrency, Theoretical computer science, Scala, Artificial Intelligence, Programming Language Semantics, Parallel Computing and Performance Optimization, 0202 electrical engineering, electronic engineering, information engineering, Java applet, 2. Zero hunger, Java annotation, 4. Education, Computer science, Programming language, Computational Theory and Mathematics, Hardware and Architecture, Generics in Java, Computer Science, Physical Sciences, strictfp, Real time Java, Java Modeling Language, Program Analysis and Verification Techniques, Java, Formal Methods in Software Verification and Control
-
17
-
18
Autoren: ALBA CASTRO, MAURICIO FERNANDO
Weitere Verfasser: 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
Quelle: Riunet
Schlagwörter: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS
Zugangs-URL: http://hdl.handle.net/10251/13617
-
19
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Informatics, modern programming techniques database business rules, database business rules, DRUŠTVENE ZNANOSTI. Informacijske i komunikacijske znanosti. Informacijski sustavi i informatologija, transakcije u bazama podataka, testiranje konkurentnih transakcija pomoću Java paralelnih programa, Java parallel programming, testing of concurrent transactions using Java parallel programs, poslovna pravila u bazama podataka, Java paralelno programiranje, informatika, poslovna pravila u bazama podataka, transakcije u bazama podataka, Java paralelno programiranje, testiranje konkurentnih transakcija pomoću Java paralelnih programa, suvremene tehnike programiranja, SOCIAL SCIENCES. Information and Communication Sciences. Information Systems and Information Science, database transactions
Dateibeschreibung: application/pdf
Zugangs-URL: https://www.bib.irb.hr/1110339
https://repozitorij.unipu.hr/islandora/object/unipu:5737
https://urn.nsk.hr/urn:nbn:hr:137:881506
https://repozitorij.unipu.hr/islandora/object/unipu:5737/datastream/PDF
https://repozitorij.unipu.hr/islandora/object/unipu:5737
https://urn.nsk.hr/urn:nbn:hr:137:881506 -
20
Weitere Verfasser: 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
Quelle: Riunet
Schlagwörter: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS
Zugangs-URL: http://hdl.handle.net/10251/13617
Nájsť tento článok vo Web of Science 
Full Text 
Full Text Finder