Search alternatives:
theory computational » chemistry computational

1
by Calude, Cristian
Published 1988
North-Holland
Table of Contents: ...Front Cover; Theories of Computational Complexity; Copyright Page; Contents; Preface; Introduction...

2
by Enderton, Herbert B.
Published 2011
Academic Press
Subjects: ...Recursion theory...

3
by Enderton, Herbert B.
Published 2011
Academic Press
Table of Contents: ...The computability concept -- General recursive functions -- Programs and machines -- Recursive...

4
by Karpiński, Marek
Published 1985
North-Holland
Table of Contents: ...Front Cover; Topics in the Theory of Computation; Copyright Page; Preface; Table of Contents...

5
by Griffor, Edward R.
Published 1999
Elsevier
Table of Contents: ...Part 1: Fundamentals of Computability Theory. -- Part 2: Reducibilities and Degrees. -- Part 3...

6
Published 1977
Springer Berlin Heidelberg
Table of Contents: ... deterministic recursive program schemes -- Some remarks on relational composition in computational theory...

7
by Montalbán, Antonio
Published 2021
Cambridge University Press
Subjects: ...Computable functions...

8
by Du, Dingzhu, Ko, Ker-I
Published 2014
John Wiley & Sons
Table of Contents: ...; Chapter 1 Models of Computation and Complexity Classes; 1.1 Strings, Coding, and Boolean Functions; 1.2...

9
Published 1996
Springer US
Table of Contents: ...1 A Bridge Club Design -- 2 The First Time -- 3 Computational Methods in Design Theory -- 4 Finding...

10
Published 2011
Springer Berlin Heidelberg
Table of Contents: ...S. Homer: Admissible recursion theory -- B.E. Jacobs: Computational complexity and recursion theory...

11
Published 2022
Springer International Publishing
Subjects: ...Computer science / Mathematics...

12
Published 2024
Springer International Publishing
Subjects: ...Computer science / Mathematics...

13
Published 1993
Springer Berlin Heidelberg
Table of Contents: ...The mathematics of set predicates in Prolog -- Some connections between set theory and computer...

14
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... theory and web-like data bases -- Invariant definability -- Comparing computational representations...

15
by Gupta, Vijay, Rassias, Michael Th
Published 2021
Springer International Publishing
Subjects: ...Operator Theory...

16
by Pierce, Benjamin C.
Published 1991
MIT Press
Subjects: ...Computer science / Mathematics...

17
Published 1993
Springer New York
Table of Contents: ... computers -- The efficient parallel iterative solution of large sparse linear systems...

18
by Andrews, Peter B.
Published 2002
Springer Netherlands
Table of Contents: ... -- 4 Further Topics in First-Order Logic -- 5 Type Theory -- 6 Formalized Number Theory -- 7...

19
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Boolean Circuits with P Systems -- P Systems Running on a Cluster of Computers -- Implementing in Prolog...

20
Published 2003
Springer US
Subjects: ...Theory of Computation...