Výsledky vyhledávání - ((automatizace OR automatizacia) OR automation) programming— program synthesis general terms~
-
1
Autoři:
Zdroj: Information; May2025, Vol. 16 Issue 5, p401, 28p
-
2
Autoři:
Zdroj: Cureus Journal of Computer Science; Jul2025, Vol. 2 Issue 1, p1-27, 27p
-
3
Autoři:
Zdroj: Automated Technology for Verification & Analysis. 2005, p338-353. 16p.
-
4
Autoři:
Resource Type: eBook.
Témata: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation
Plný text ve formátu PDF Plný text ve formátu ePub -
5
Autoři: a další
Zdroj: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.
Plný text ve formátu HTML Plný text ve formátu PDF -
6
Autoři:
Zdroj: Nutrients. Oct2025, Vol. 17 Issue 20, p3209. 26p.
Plný text ve formátu HTML Plný text ve formátu PDF -
7
Autoři: a další
Zdroj: Symmetry (20738994); Jul2025, Vol. 17 Issue 7, p1087, 25p
-
8
Autoři:
Resource Type: eBook.
Témata: Computer science, Software engineering, Compilers (Computer programs), Computer programming, Artificial intelligence, Machine theory
Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General
-
9
-
10
Autoři: a další
Zdroj: Sensors (14248220); Mar2025, Vol. 25 Issue 5, p1288, 39p
-
11
-
12
Autoři:
Zdroj: Applied Sciences, Vol 10, Iss 21, p 7700 (2020)
Témata: answer set programming, non-deterministic automata induction, grammatical inference, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999
Popis souboru: electronic resource
Přístupová URL adresa: https://doaj.org/article/e5ea278b1a864866ad0b378de4bebd72
-
13
Autoři:
Zdroj: Software: Practice & Experience; Mar2024, Vol. 54 Issue 3, p528-540, 13p
Témata: EMPIRICAL research, RESEARCH personnel
-
14
Autoři: a další
Zdroj: Water (20734441); Jul2025, Vol. 17 Issue 13, p1932, 22p
Témata: SUSTAINABILITY, DIGITAL technology, POLICY analysis, AQUATIC resource management, TECHNOLOGY convergence, SUSTAINABLE development
Geografický termín: SHENZHEN (Guangdong Sheng, China : East), SINGAPORE
-
15
Autoři: a další
Zdroj: Nature Machine Intelligence; Jun2025, Vol. 7 Issue 6, p916-927, 12p
-
16
Autoři:
Resource Type: eBook.
Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics
Plný text ve formátu PDF -
17
Autoři:
Zdroj: Medicinal Chemistry Research; Dec2025, Vol. 34 Issue 12, p2365-2371, 7p
-
18
Autoři:
Zdroj: Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences; 10/13/2017, Vol. 375 Issue 2104, p1-20, 20p
-
19
Autoři: Amal Ahmed
Resource Type: eBook.
Témata: Programming languages (Electronic computers), Computer organization, Computer science, Computers
Categories: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General
Plný text ve formátu PDF Plný text ve formátu ePub -
20
Autoři:
Resource Type: eBook.
Categories: COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Speech & Audio Processing
Plný text ve formátu PDF
Full Text Finder
Nájsť tento článok vo Web of Science