Search Results - "computation"
Suggested Topics within your search.
Suggested Topics within your search.
- 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
-
41
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Published 2020Subjects: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
42
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
43
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Published 2020Subjects: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
44
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: “…Computer science bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
45
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...
Published 2020Subjects: “…Computer science.…”
Link to Metadata
Electronic eBook -
46
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...
Published 2019Subjects: “…Computers.…”
Link to Metadata
Electronic eBook -
47
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: “…Computer science.…”
Link to Metadata
Electronic eBook -
48
Hypergraph Computation
Published 2023Subjects: “…Hypergraph Computation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
49
Spectral Geometry of Graphs
Published 2024Subjects: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
50
Hypergraph Computation
Published 2023Subjects: “…Hypergraph Computation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
51
Spectral Geometry of Graphs
Published 2024Subjects: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
52
International Symposium on Mathematics, Quantum Theory, and Cryptography Proceedings of MQC 2019
Published 2021Subjects: “…Quantum Computing…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
53
International Symposium on Mathematics, Quantum Theory, and Cryptography Proceedings of MQC 2019
Published 2021Subjects: “…Quantum Computing…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
54
International Symposium on Mathematics, Quantum Theory, and Cryptography Proceedings of MQC 2019
Published 2021Subjects: “…Quantum Computing…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
55
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019Subjects: “…Computers.…”
Link to Metadata
Electronic eBook -
56
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,...
Published 2019Subjects: “…Computers.…”
Link to Metadata
Electronic eBook -
57
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published 2019Subjects: “…Computer science.…”
Link to Metadata
Electronic eBook -
58
Chapter preface
Published 2020Subjects: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
59
Controlled Document Authoring in a Machine Translation Age
Published 2021Subjects: “…Mathematical theory of computation bicssc…”
DOAB: description of the publication
Electronic Book Chapter -
60
Chapter 1 Introduction
Published 2020Subjects: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter