1
by Syropoulos, Apostolos
Published 2014
Springer New York
Table of Contents: ...Introduction -- A Précis of Classical Computability Theory -- Elements of Fuzzy Set Theory...

2
by Argyros, Ioannis K.
Published 2007
Elsevier
Table of Contents: ...1. Linear Spaces -- 2. Monotone convergence -- 3. Contractive Fixed Point Theory -- 4. Solving...

3
Published 2015
Springer International Publishing
Subjects: ...Computer Communication Networks...

4
Published 2019
Springer International Publishing
Table of Contents: ...Invited papers -- Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps -- Some...

5
by Yan, Song Y.
Published 2000
Springer Berlin Heidelberg
Table of Contents: .... Bibliographic Notes and Further Reading -- Applied Number Theory: Why Applied Number Theory. Computer Systems...

6
Published 2014
Springer International Publishing
Table of Contents: ... dimension of corona products -- On the Complexity of Computing Two Nonlinearity Measures -- Model Checking...

7
Published 2022
Springer International Publishing
Table of Contents: ... -- On Two Types of Concept Lattices in the Theory of Numberings -- Computing Connected-$k$-Subgraph Cover...

8
Published 2020
Springer International Publishing
Table of Contents: ... #Knapsack Computations to Count Semi-Fair Allocations -- Characterizations and approximability of hard...

9
Published 2024
Springer Nature Singapore
Table of Contents: ...-Nondeterministic Computations of Finite Automata and Pushdown Automata Families and the Effects of Multiple...

10
Published 2012
Springer Berlin Heidelberg
Subjects: ...Theory of Computation...

11
Published 2012
Springer Berlin Heidelberg
Table of Contents: ...Nature-inspired models of computation -- synthesizing nature by means of computation -- nature...

12
by Sanderson, John G.
Published 1980
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...

13
Published 2017
Springer International Publishing
Table of Contents: ...Applications of natural computing -- Evolutionary computation -- Fuzzy logic -- Molecular...

14
Published 2013
Springer Berlin Heidelberg
Table of Contents: ...On the Encoding Invariance of Polynomial Time Computable Distribution Ensembles -- Improving...

15
Published 2011
Springer Berlin Heidelberg
Subjects: ...Theory of Computation...

16
Published 2016
Springer International Publishing
Table of Contents: ... -- Computational models and concepts -- Algorithms for concurrent and distributed systems, networks -- Proof theory...

17
Published 2017
Springer International Publishing
Table of Contents: ...Type Theory and Formalization of Mathematics -- Advances in Parameterized Verification...

18
Published 2016
Springer International Publishing
Table of Contents: ...Applications of Natural Computing -- Evolutionary Computation -- Formal Models -- Machine Learning...

19
Published 2015
Springer International Publishing
Table of Contents: ...Soft Computing -- Computing Architectures -- Formal Models...

20
Published 2015
Springer International Publishing
Subjects: ...Theory of Computation...