Sumbangan 15 September 2024 – 1 Oktober 2024 Tentang pengumpulan dana

Pencarian kata kunci

  • Main
  • Pencarian kata kunci
8
25 Years of Model Checking History, Achievements, Perspectives

25 Years of Model Checking History, Achievements, Perspectives

Grumberg, Orna., Veith, Helmut
Tahun:
2008
Bahasa:
english
File:
PDF, 42.39 MB
0 / 5.0
english, 2008
9
Complex and Adaptive Dynamical Systems: A Primer

Complex and Adaptive Dynamical Systems: A Primer

Claudius Gros (auth.)
Tahun:
2013
Bahasa:
english
File:
PDF, 6.63 MB
0 / 0
english, 2013
10
Programs as Diagrams: From Categorical Computability to Computable Categories

Programs as Diagrams: From Categorical Computability to Computable Categories

Dusko Pavlovic
Tahun:
2023
Bahasa:
english
File:
PDF, 9.07 MB
0 / 5.0
english, 2023
11
Programs as Diagrams: From Categorical Computability to Computable Categories

Programs as Diagrams: From Categorical Computability to Computable Categories

Dusko Pavlovic
Tahun:
2023
Bahasa:
english
File:
PDF, 9.35 MB
0 / 5.0
english, 2023
14
Introduction to Lattices and Order

Introduction to Lattices and Order

B. A. Davey, H. A. Priestley
Tahun:
2002
Bahasa:
english
File:
DJVU, 6.44 MB
0 / 0
english, 2002
16
Abstract Interpretation

Abstract Interpretation

it-ebooks
Tahun:
2017
Bahasa:
english
File:
EPUB, 35 KB
0 / 0
english, 2017
17
Foundations of logic programming

Foundations of logic programming

J. W Lloyd
Tahun:
1984
Bahasa:
english
File:
PDF, 8.03 MB
0 / 0
english, 1984
19
Research problems in function theory

Research problems in function theory

W. K. Hayman
Tahun:
1967
Bahasa:
english
File:
PDF, 5.21 MB
0 / 0
english, 1967