檢索結果

1

Algorithms for Big Data

Algorithms for Big Data

發表在 Lecture Notes in Computer Science (2022)

獲取全文

Livro

2

Automated Deduction – CADE 28

Automated Deduction – CADE 28

發表在 Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2021)

獲取全文

Livro

3

Automated Reasoning

Automated Reasoning

發表在 Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2022)

獲取全文

Livro

4

Brain-Inspired Computing

Brain-Inspired Computing

發表在 Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

獲取全文

Livro

5

Computer Aided Verification

Computer Aided Verification

發表在 Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

獲取全文

Livro

6

Computer Aided Verification

Computer Aided Verification

發表在 Lecture Notes in Computer Science (2022)

獲取全文

Livro

7

Computer Aided Verification

Computer Aided Verification

發表在 Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

獲取全文

Livro

8

Computer Aided Verification

Computer Aided Verification

發表在 Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

獲取全文

Livro

9

Computer Aided Verification

Computer Aided Verification

發表在 Lecture Notes in Computer Science (2023)

獲取全文

Livro

10

Computer Aided Verification

Computer Aided Verification

發表在 Lecture Notes in Computer Science (2023)

獲取全文

Livro

11

Computer Aided Verification

Computer Aided Verification

發表在 Lecture Notes in Computer Science (2022)

獲取全文

Livro

12

Computer Aided Verification

Computer Aided Verification

發表在 Lecture Notes in Computer Science (2023)

獲取全文

Livro

13

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

發表在 Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

獲取全文

Livro

14

The Informatics of Time and Events

The Informatics of Time and Events

由 Gérard Berry
出版 2015

獲取全文

Livro

15

Programming Languages and Systems

Programming Languages and Systems

發表在 Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

獲取全文

Livro

16

Programming Languages and Systems

Programming Languages and Systems

發表在 Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

獲取全文

Livro

17

Programming Languages and Systems

Programming Languages and Systems

發表在 Lecture Notes in Computer Science (2022)

獲取全文

Livro

18

Supercomputing Frontiers

Supercomputing Frontiers

發表在 Lecture Notes in Computer Science (2022)

獲取全文

Livro