Αναζήτηση λέξεων κλειδιών

  • Main
  • Αναζήτηση λέξεων κλειδιών
1
Handbook of Process Algebra

Handbook of Process Algebra

J.A. Bergstra, A. Ponse, S.A. Smolka
Έτος:
2001
Γλώσσα:
english
Αρχείο:
DJVU, 10.25 MB
0 / 0
english, 2001
2
Handbook of Process Algebra

Handbook of Process Algebra

J.A. Bergstra, A. Ponse, S.A. Smolka
Έτος:
2001
Γλώσσα:
english
Αρχείο:
PDF, 57.77 MB
0 / 0
english, 2001
5
Bibliography on Abstract Data Types

Bibliography on Abstract Data Types

B. Kutzler, F. Lichtenberger (auth.)
Έτος:
1983
Γλώσσα:
english
Αρχείο:
PDF, 7.87 MB
0 / 0
english, 1983
9
Process Algebra: Equational Theories of Communicating Processes

Process Algebra: Equational Theories of Communicating Processes

J. C. M. Baeten, T. Basten, M. A. Reniers
Έτος:
2010
Γλώσσα:
english
Αρχείο:
PDF, 1.55 MB
0 / 0
english, 2010
11
Modal logic and process algebra: A bisimulation perspective

Modal logic and process algebra: A bisimulation perspective

Alban Ponse, Maarten de Rijke, Yde Venema
Έτος:
1995
Γλώσσα:
english
Αρχείο:
DJVU, 2.25 MB
0 / 0
english, 1995
12
Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

J A Bergstra, Cornelis A Middelburg
Έτος:
2012
Γλώσσα:
english
Αρχείο:
PDF, 1.53 MB
0 / 0
english, 2012
13
Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

Jan A. Bergstra, Cornelis A. Middelburg
Έτος:
2012
Γλώσσα:
english
Αρχείο:
PDF, 4.53 MB
0 / 0
english, 2012
16
Applications of Process Algebra

Applications of Process Algebra

J. C. M. Baeten
Έτος:
2004
Γλώσσα:
english
Αρχείο:
DJVU, 1.88 MB
0 / 0
english, 2004
18
Prozeßtheorie der Ablaufplanung: Algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit

Prozeßtheorie der Ablaufplanung: Algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit

Dr. Peter Rittgen (auth.)
Έτος:
1998
Γλώσσα:
german
Αρχείο:
PDF, 6.24 MB
0 / 0
german, 1998
20
Introduction to Process Algebra

Introduction to Process Algebra

Wan Fokkink
Έτος:
2000
Γλώσσα:
english
Αρχείο:
PDF, 1.14 MB
0 / 0
english, 2000
21
Introduction to process algebra

Introduction to process algebra

Wan Fokkink
Έτος:
2007
Γλώσσα:
english
Αρχείο:
PDF, 984 KB
0 / 0
english, 2007
22
Spatially Explicit Hyperparameter Optimization for Neural Networks

Spatially Explicit Hyperparameter Optimization for Neural Networks

Minrui Zheng
Έτος:
2021
Γλώσσα:
english
Αρχείο:
PDF, 4.64 MB
0 / 5.0
english, 2021
23
Spatially Explicit Hyperparameter Optimization for Neural Networks

Spatially Explicit Hyperparameter Optimization for Neural Networks

Minrui Zheng
Έτος:
2021
Γλώσσα:
english
Αρχείο:
EPUB, 32.51 MB
0 / 5.0
english, 2021
25
Recursion on the Countable Functionals

Recursion on the Countable Functionals

Dag Normann (auth.)
Έτος:
1980
Γλώσσα:
english
Αρχείο:
DJVU, 1.17 MB
0 / 0
english, 1980
26
Recursion on the Countable Functionals

Recursion on the Countable Functionals

Dag Normann (auth.)
Έτος:
1980
Γλώσσα:
english
Αρχείο:
PDF, 3.98 MB
0 / 0
english, 1980
28
Jonge vechtersbazen

Jonge vechtersbazen

Tine van Berken
Έτος:
1913
Γλώσσα:
dutch
Αρχείο:
EPUB, 3.05 MB
0 / 5.0
dutch, 1913
29
Many-sorted Logic and its Applications

Many-sorted Logic and its Applications

K. Meinke, J. V. Tucker
Έτος:
1993
Γλώσσα:
english
Αρχείο:
PDF, 27.20 MB
0 / 0
english, 1993
30
Agarwal et al. 2012 A Comparative Study Of Indian And Western Music Forms.pdf

Agarwal et al. 2012 A Comparative Study Of Indian And Western Music Forms.pdf

Agarwal et al. 2012 A Comparative Study Of Indian And Western Music Forms.pdf
Γλώσσα:
english
Αρχείο:
PDF, 360 KB
0 / 0
english
31
Errata for The lambda calculus

Errata for The lambda calculus

Barendregt H.P.
Έτος:
1984
Γλώσσα:
english
Αρχείο:
DJVU, 155 KB
0 / 0
english, 1984