Rezultati - "Theory of Computation"
Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
- Mathematical theory of computation 73
- Artificial intelligence 55
- Computer science 54
- Software Engineering 54
- Computer programming / software development 38
- Algorithms & data structures 29
- Theory of Computation 27
- Systems analysis & design 23
- Computer networking & communications 20
- Software engineering 14
- Computer modelling & simulation 12
- Computer networks 12
- Computer Engineering and Networks 11
- Computer engineering 11
- Computer architecture & logic design 8
- Computers 8
- Control Structures and Microprogramming 8
- Information technology: general issues 8
- Microprogramming 8
- Translation & interpretation 8
- linguistics 8
- Compilers (Computer programs) 7
- Compilers and Interpreters 7
- Artificial Intelligence 6
- Network hardware 6
- Software testing & verification 6
- Computer hardware 4
- Computer programming 4
- Electronic digital computers 4
- Ethical & social aspects of IT 4
-
1
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...
Izdano 2023Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga -
2
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...
Izdano 2023Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga -
3
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Izdano 2023Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga -
4
Sublinear Computation Paradigm Algorithmic Revolution in the Big Data Era /
Izdano 2022Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga -
5
Cognitive Robotics
Izdano 2022Teme: “...Mathematical theory of computation bicssc...”
DOAB: download the publication
DOAB: description of the publication
Elektronski Book Chapter -
6
Managed Software Evolution
Izdano 2019Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga -
7
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Izdano 2021Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga -
8
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Izdano 2021Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga -
9
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /
Izdano 2022Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga -
10
Objective Information Theory
Izdano 2023Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga -
11
Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6
Izdano 2020Teme: “...Mathematical theory of computation bicssc...”
DOAB: download the publication
DOAB: description of the publication
Elektronski Book Chapter -
12
Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6
Izdano 2020Teme: “...Mathematical theory of computation bicssc...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronski Book Chapter -
13
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Izdano 2022Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga -
14
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Izdano 2022Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga -
15
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II /
Izdano 2020Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga -
16
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Izdano 2018Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga -
17
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /
Izdano 2020Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga -
18
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Izdano 2018Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga -
19
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Izdano 2020Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga -
20
Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cze...
Izdano 2019Teme: “...Theory of Computation....”
Link to Metadata
Elektronski eKnjiga