Rezultati pretrage - "Computation"
Predložene teme unutar tvoje pretrage.
Predložene teme unutar tvoje pretrage.
- Computer science 459
- History of engineering & technology 320
- Artificial intelligence 316
- Technology: general issues 281
- Computer networking & communications 219
- Computing & information technology 216
- Software Engineering 206
- Educational equipment & technology, computer-aided learning (CAL) 177
- Research & information: general 153
- Information technology industries 145
- Media studies 145
- Computer Science 135
- Computer modelling & simulation 135
- Information technology: general issues 124
- Human-computer interaction 118
- Computer vision 111
- Computer security 109
- Computer networks 107
- Education 101
- Computational linguistics 98
- Medicine 96
- linguistics 96
- Computer programming / software development 91
- Algorithms & data structures 89
- Artificial Intelligence 80
- Application software 75
- Computer and Information Systems Applications 75
- Mathematics 74
- Maths for computer scientists 74
- Mathematical theory of computation 73
-
101
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Izdano 2020Teme: “…Computer-Aided System Design…”
DOAB: download the publication
DOAB: description of the publication
Elektronički Poglavlje knjige -
102
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Izdano 2021Teme: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronički Poglavlje knjige -
103
Actual Causality
Izdano 2016Teme: “…computation…”
DOAB: download the publication
DOAB: description of the publication
Elektronički Poglavlje knjige -
104
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Izdano 2019Teme: “…Computer logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronički Poglavlje knjige -
105
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Izdano 2020Teme: “…Computer-Aided System Design…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronički Poglavlje knjige -
106
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Izdano 2021Teme: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronički Poglavlje knjige -
107
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Izdano 2023Teme: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronički Poglavlje knjige -
108
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...
Izdano 2018Teme: “…Computer science.…”
Link to Metadata
Elektronički e-knjiga -
109
Diversity in Computer Science Design Artefacts for Equity and Inclusion /
Izdano 2023Teme: “…Computers.…”
Link to Metadata
Elektronički e-knjiga -
110
Cyber Security 15th International Annual Conference, CNCERT 2018, Beijing, China, August 14-16, 2018, Revised Selected Papers
Izdano 2019Teme: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication
Elektronički Poglavlje knjige -
111
Cyber Security 15th International Annual Conference, CNCERT 2018, Beijing, China, August 14-16, 2018, Revised Selected Papers
Izdano 2019Teme: “…Computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronički Poglavlje knjige -
112
Computation and the Humanities Towards an Oral History of Digital Humanities /
Izdano 2016Teme: “…Computers History.…”
Link to Metadata
Elektronički e-knjiga -
113
Energy Efficient Servers Blueprints for Data Center Optimization /
Izdano 2015Teme: “…Computer engineering.…”
Link to Metadata
Elektronički e-knjiga -
114
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Izdano 2023Teme: “…computer programming…”
DOAB: download the publication
DOAB: description of the publication
Elektronički Poglavlje knjige -
115
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Izdano 2019Teme: “…Computers…”
DOAB: download the publication
DOAB: description of the publication
Elektronički Poglavlje knjige -
116
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Izdano 2019Teme: “…Computers…”
DOAB: download the publication
DOAB: description of the publication
Elektronički Poglavlje knjige -
117
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Izdano 2019Teme: “…Computers…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronički Poglavlje knjige -
118
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Izdano 2019Teme: “…Computers…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronički Poglavlje knjige -
119
Mathematical Aspects of Logic Programming Semantics
Izdano 2011Teme: “…Computer Science (General)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronički Poglavlje knjige -
120
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Izdano 2023Teme: “…computer programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronički Poglavlje knjige