Søgeresultater

1

Algorithms for Big Data

Algorithms for Big Data

Udgivet i Lecture Notes in Computer Science (2022)

Få fuldtekst

Livro

2

Automated Deduction – CADE 28

Automated Deduction – CADE 28

Udgivet i Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2021)

Få fuldtekst

Livro

3

Automated Reasoning

Automated Reasoning

Udgivet i Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2022)

Få fuldtekst

Livro

4

Brain-Inspired Computing

Brain-Inspired Computing

Udgivet i Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Få fuldtekst

Livro

5

Computer Aided Verification

Computer Aided Verification

Udgivet i Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Få fuldtekst

Livro

6

Computer Aided Verification

Computer Aided Verification

Udgivet i Lecture Notes in Computer Science (2022)

Få fuldtekst

Livro

7

Computer Aided Verification

Computer Aided Verification

Udgivet i Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Få fuldtekst

Livro

8

Computer Aided Verification

Computer Aided Verification

Udgivet i Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Få fuldtekst

Livro

9

Computer Aided Verification

Computer Aided Verification

Udgivet i Lecture Notes in Computer Science (2023)

Få fuldtekst

Livro

10

Computer Aided Verification

Computer Aided Verification

Udgivet i Lecture Notes in Computer Science (2023)

Få fuldtekst

Livro

11

Computer Aided Verification

Computer Aided Verification

Udgivet i Lecture Notes in Computer Science (2022)

Få fuldtekst

Livro

12

Computer Aided Verification

Computer Aided Verification

Udgivet i Lecture Notes in Computer Science (2023)

Få fuldtekst

Livro

13

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Udgivet i Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Få fuldtekst

Livro

14

The Informatics of Time and Events

The Informatics of Time and Events

af Gérard Berry
Udgivet 2015

Få fuldtekst

Livro

15

Programming Languages and Systems

Programming Languages and Systems

Udgivet i Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Få fuldtekst

Livro

16

Programming Languages and Systems

Programming Languages and Systems

Udgivet i Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Få fuldtekst

Livro

17

Programming Languages and Systems

Programming Languages and Systems

Udgivet i Lecture Notes in Computer Science (2022)

Få fuldtekst

Livro

18

Supercomputing Frontiers

Supercomputing Frontiers

Udgivet i Lecture Notes in Computer Science (2022)

Få fuldtekst

Livro