Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 3
- Application software 1
- Automata 1
- Automatic speech recognition 1
- Development 1
- Digital techniques 1
- Enterprise application integration (Computer systems) 1
- Graphical user interfaces (Computer systems) 1
- Human-computer interaction 1
- Human-machine systems 1
- Interactive computer systems 1
- Java (Computer program language) 1
- Management information systems 1
- Mathematics 1
- Natural language processing (Computer science) 1
- Object-oriented programming (Computer science) 1
- Scripting languages (Computer science) 1
- Semantic integration (Computer systems) 1
- Service-oriented architecture (Computer science) 1
- Speech processing systems 1
- Speech synthesis 1
- Visual communication 1
- Visual programming (Computer science) 1
-
1
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
Published 2024-12-01Subjects: “…computer science - logic in computer science…”
Get full text
Article -
2
Checkpoint-based rollback recovery in session programming
Published 2025-01-01Subjects: Get full text
Article -
3
Multi-Structural Games and Beyond
Published 2024-12-01Subjects: “…computer science - logic in computer science…”
Get full text
Article -
4
Sum and Tensor of Quantitative Effects
Published 2024-10-01Subjects: “…computer science - logic in computer science…”
Get full text
Article -
5
HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
Published 2025-01-01Subjects: “…computer science - logic in computer science…”
Get full text
Article -
6
Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
Published 2024-12-01Subjects: “…computer science - logic in computer science…”
Get full text
Article -
7
Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
Published 2025-03-01Subjects: “…computer science - logic in computer science…”
Get full text
Article -
8
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
Published 2024-12-01Subjects: Get full text
Article -
9
Playing Stochastically in Weighted Timed Games to Emulate Memory
Published 2025-02-01Subjects: “…computer science - computer science and game theory…”
Get full text
Article -
10
Regular Model Checking Upside-Down: An Invariant-Based Approach
Published 2025-01-01Subjects: Get full text
Article -
11
Proof complexity of positive branching programs
Published 2025-03-01Subjects: Get full text
Article -
12
-
13
Constant-delay enumeration for SLP-compressed documents
Published 2025-02-01Subjects: Get full text
Article -
14
From Tutte to Floater and Gotsman: On the Resolution of Planar Straight-line Drawings and Morphs
Published 2025-03-01Subjects: “…computer science - computational geometry…”
Get full text
Article -
15
Permutation Entropy for Signal Analysis
Published 2024-11-01Subjects: “…computer science - information theory…”
Get full text
Article -
16
Digital Planet : tomorrow's technology and you /
Published 2014Subjects: “…Computer science 3898…”
View in OPAC
Book -
17
A programmer's guide to computer science /
Published 2019Subjects: “…Computer science 3898…”
View in OPAC
Book -
18
Annotating the microbial dark matter with HiFi-NN
Published 2025-06-01Subjects: Get full text
Article -
19
On the use of deep learning for computer-generated holography
Published 2025-05-01Subjects: “…Computer science…”
Get full text
Article -
20
Imaginaire informatique et science-fiction, du cyberpunk à nos jours
Published 2017-11-01Subjects: Get full text
Article