Výsledky vyhledávání - automation programming-program synthesis general terms
-
1
Autoři: a další
Zdroj: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p441-469, 29p
-
2
Autoři:
Zdroj: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p
-
3
Autoři:
Zdroj: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p
-
4
Autoři: a další
Zdroj: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p
-
5
Autoři: Wei-Chuan Wang
Zdroj: Journal of Accounting, Finance & Management Strategy; Jun2023, Vol. 18 Issue 1, p71-118, 48p
-
6
Autoři:
Resource Type: eBook.
Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses
Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation
Plný text ve formátu PDF Plný text ve formátu ePub -
7
Autoři:
Zdroj: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p
-
8
Autoři:
Zdroj: Foundations of Science; Sep2023, Vol. 28 Issue 3, p841-857, 17p
-
9
Autoři: a další
Zdroj: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p
-
10
Autoři: a další
Zdroj: Applied Sciences (2076-3417); Oct2024, Vol. 14 Issue 19, p8656, 19p
-
11
Zdroj: Communications of the ACM; Jul1982, Vol. 25 Issue 7, p487-492, 6p
Témata: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits
Reviews & Products: COMMUNICATIONS of the ACM (Periodical)
-
12
Zdroj: Communications of the ACM; Oct82, Vol. 25 Issue 10, p748-753, 6p
-
13
Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p
-
14
Autoři:
Zdroj: Journal of Intelligent & Robotic Systems; Jun2024, Vol. 110 Issue 2, p1-16, 16p
-
15
Autoři: a další
Zdroj: Journal of Circuits, Systems & Computers; May2019, Vol. 28 Issue 5, pN.PAG-N.PAG, 19p
-
16
Autoři:
Resource Type: eBook.
Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses
Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation
Plný text ve formátu PDF Plný text ve formátu ePub -
17
Autoři: Maribel Fernández
Resource Type: eBook.
Témata: Computer science, Artificial intelligence, Software engineering, Machine theory, Computer engineering, Computer networks
Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General
-
18
Autoři:
Zdroj: ACM Computing Surveys; Nov2022, Vol. 54 Issue 8, p1-36, 36p
-
19
Autoři: a další
Zdroj: Mathematics (2227-7390); Sep2023, Vol. 11 Issue 17, p3744, 20p
Témata: GENETIC code, UNDERGRADUATES, GRAMMAR
-
20
Autoři:
Zdroj: International Journal of Education in Mathematics, Science & Technology; 2023, Vol. 11 Issue 3, p695-727, 33p
Nájsť tento článok vo Web of Science
Full Text Finder