Αποτελέσματα αναζήτησης

1

Φορτώνει......

Algorithms for Big Data

Τόπος έκδοσης Lecture Notes in Computer Science (2022)

Λήψη πλήρους κειμένου

Livro

2

Φορτώνει......

Automated Deduction – CADE 28

Τόπος έκδοσης Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2021)

Λήψη πλήρους κειμένου

Livro

3

Φορτώνει......

Automated Reasoning

Τόπος έκδοσης Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2022)

Λήψη πλήρους κειμένου

Livro

4

Φορτώνει......

Brain-Inspired Computing

Τόπος έκδοσης Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Λήψη πλήρους κειμένου

Livro

5

Φορτώνει......

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Λήψη πλήρους κειμένου

Livro

6

Φορτώνει......

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science (2022)

Λήψη πλήρους κειμένου

Livro

7

Φορτώνει......

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Λήψη πλήρους κειμένου

Livro

8

Φορτώνει......

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Λήψη πλήρους κειμένου

Livro

9

Φορτώνει......

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science (2023)

Λήψη πλήρους κειμένου

Livro

10

Φορτώνει......

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science (2023)

Λήψη πλήρους κειμένου

Livro

11

Φορτώνει......

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science (2022)

Λήψη πλήρους κειμένου

Livro

12

Φορτώνει......

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science (2023)

Λήψη πλήρους κειμένου

Livro

13

Φορτώνει......

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

ανά Gérard Berry
Έκδοση 2015

Λήψη πλήρους κειμένου

Livro

15

Φορτώνει......

Programming Languages and Systems

Τόπος έκδοσης Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Λήψη πλήρους κειμένου

Livro

16

Φορτώνει......

Programming Languages and Systems

Τόπος έκδοσης Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Λήψη πλήρους κειμένου

Livro

17

Φορτώνει......

Programming Languages and Systems

Τόπος έκδοσης Lecture Notes in Computer Science (2022)

Λήψη πλήρους κειμένου

Livro

18

Φορτώνει......

Supercomputing Frontiers

Τόπος έκδοσης Lecture Notes in Computer Science (2022)

Λήψη πλήρους κειμένου

Livro

Περιορισμός αναζήτησης