Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: theory computational
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"511 - General principles of mathematics"
Search alternatives
:
theory computational »
chemistry computational
Showing
1
-
20
of
672
Search:
'theory computational'
,
query time: 0.22s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Theories
of
computational
complexity
by
Calude, Cristian
Published 1988
North-Holland
Table of Contents:
“
...Front Cover;
Theories
of
Computational
Complexity; Copyright Page; Contents; Preface; Introduction...
”
Call Number:
QA267
Read Now
2
Computability
theory
: an introduction to recursion theory
by
Enderton, Herbert B.
Published 2011
Academic Press
Subjects:
“
...Recursion
theory
...
”
Read Now
3
Computability
theory
: an introduction to recursion theory
by
Enderton, Herbert B.
Published 2011
Academic Press
Table of Contents:
“
...The
computability
concept -- General recursive functions -- Programs and machines -- Recursive...
”
Call Number:
QA9.6
Read Now
4
Topics in the
theory
of
computation
...
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...
”
Call Number:
QA267
Read Now
5
Handbook of
computability
theory
by
Griffor, Edward R.
Published 1999
Elsevier
Table of Contents:
“
...Part 1: Fundamentals of
Computability
Theory
. -- Part 2: Reducibilities and Degrees. -- Part 3...
”
Call Number:
QA9.59
Read Now
6
Fundamentals of
Computation
Theory
: Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977
Published 1977
Springer Berlin Heidelberg
Table of Contents:
“
... deterministic recursive program schemes -- Some remarks on relational composition in
computational
theory
...
”
Read Now
7
Computable
structure
theory
: within the arithmetic
by
Montalbán, Antonio
Published 2021
Cambridge University Press
Subjects:
“
...
Computable
functions...
”
Call Number:
QA9.59
Read Now
8
Theory
of
computational
complexity
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...
”
Call Number:
QA267.7
Read Now
9
Computational
and Constructive Design
Theory
Published 1996
Springer US
Table of Contents:
“
...1 A Bridge Club Design -- 2 The First Time -- 3
Computational
Methods in Design
Theory
-- 4 Finding...
”
Read Now
10
Recursion
Theory
and
Computational
Complexity...
Published 2011
Springer Berlin Heidelberg
Table of Contents:
“
...S. Homer: Admissible recursion
theory
-- B.E. Jacobs:
Computational
complexity and recursion
theory
...
”
Read Now
11
Combinatorics, Graph
Theory
and
Computing
: SEICCGTC 2020, Boca Raton, USA, March 9–13
Published 2022
Springer International Publishing
Subjects:
“
...
Computer
science / Mathematics...
”
Read Now
12
Combinatorics, Graph
Theory
and
Computing
: SEICCGTC 2021, Boca Raton, USA, March 8–12
Published 2024
Springer International Publishing
Subjects:
“
...
Computer
science / Mathematics...
”
Read Now
13
Computational
Logic and Proof
Theory
: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
Table of Contents:
“
...The mathematics of set predicates in Prolog -- Some connections between set
theory
and
computer
...
”
Read Now
14
Computational
Logic and Proof
Theory
: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
...
theory
and web-like data bases -- Invariant definability -- Comparing
computational
representations...
”
Read Now
15
Computation
and Approximation
by
Gupta, Vijay
,
Rassias, Michael Th
Published 2021
Springer International Publishing
Subjects:
“
...Operator
Theory
...
”
Read Now
16
Basic category
theory
for
computer
scientists
by
Pierce, Benjamin C.
Published 1991
MIT Press
Subjects:
“
...
Computer
science / Mathematics...
”
Call Number:
QA76.9.M35
Read Now
17
Graph
Theory
and Sparse Matrix
Computation
Published 1993
Springer New York
Table of Contents:
“
...
computers
-- The efficient parallel iterative solution of large sparse linear systems...
”
Read Now
18
An Introduction to Mathematical Logic and Type
Theory
: To Truth Through Proof
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...
”
Read Now
19
Membrane
Computing
: International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... Boolean Circuits with P Systems -- P Systems Running on a Cluster of
Computers
-- Implementing in Prolog...
”
Read Now
20
Designs 2002 : Further Computational and Constructive Design Theory
Published 2003
Springer US
Subjects:
“
...
Theory
of
Computation
...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 511 - General principles of mathematics
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
510 - Mathematics
13
500 - Natural sciences & mathematics
4
331 - Labor economics
3
519 - Probabilities & applied mathematics
2
001 - Knowledge
1
more ...
160 - Logic
1
384 - Communications; telecommunication
1
512 - Algebra
1
515 - Analysis
1
620 - Engineering & allied operations
1
621 - Applied physics
1
629 - Other branches of engineering
1
658 - General management
1
see all ...
less ...
Language
English
654
German
17
Italian
1
Collection
Springer Book Archives -2004
242
Springer eBooks 2005-
226
Cambridge Books Online
99
Elsevier eBook collection Mathematics
69
O'Reilly
19
DeGruyter MPG Collection
9
more ...
Oxford University Press
3
MIT Press eBook Archive
2
Elsevier ScienceDirect eBooks
1
JSTOR Open Access Books
1
Wiley Online Books
1
see all ...
less ...
Author
Vygen, Jens
10
Korte, Bernhard
9
Gabbay, Dov M.
8
Wallis, W.D.
8
Association for Symbolic Logic
7
Jungnickel, Dieter
5
more ...
Nerode, Anil
5
Pardalos, Panos M.
5
Zimmermann, Hans-Jürgen
5
Beineke, Lowell W.
4
Golumbic, Martin Charles
4
Gonçalves, Bruno
4
Kahle, Reinhard
4
Katona, Gyula O.H.
4
Lovász, László
4
Rozenberg, Grzegorz
4
Schumaker, Larry L.
4
Sommaruga, Giovanni
4
Beziau, Jean-Yves
3
Cooper, S. B.
3
Fasshauer, Gregory E.
3
Grötschel, Martin
3
Gupta, Vijay
3
Krajíček, Jan
3
Li, Xueliang
3
Moschovakis, Yiannis N.
3
Mundici, Daniele
3
Pedrycz, Witold
3
Rassias, Michael Th
3
Rigo, Michel
3
Schrijver, Alexander
3
Wainer, S. S.
3
Wilson, Robin J.
3
Agarwal, Ravi P.
2
Ahlswede, Rudolf
2
Akram, Muhammad
2
Apostolico, Alberto
2
Arruda, A. I.
2
Artemov, Sergei
2
Ausiello, G.
2
Balakrishnan, R.
2
Bang-Jensen, Jørgen
2
Barbosa, Hugo
2
Beck, Matthias
2
Berthé, V.
2
Beth, Thomas
2
Bewersdorff, Jörg
2
Bollobas, Bela
2
Buchsbaum, Arthur
2
Bárány, Imre
2
Calude, Cristian S.
2
Chuaqui, R.
2
Colbourn, C. J.
2
Colbourn, Charles J.
2
Costa, Newton C. A. da
2
Crama, Yves
2
Da Ruan
2
Daras, Nicholas J.
2
Dehmer, Matthias
2
Deza, Michel Marie
2
Ding-Zhu Du
2
Downey, Rod
2
Drake, F. R.
2
Du, Ding-Zhu
2
Dubois, Didier
2
Ebbinghaus, Heinz-Dieter
2
Ehrig, Hartmut
2
Enderton, Herbert B.
2
Engels, Gregor
2
Ershov, I︠U︡riĭ Leonidovich
2
Ferreira, Fernando
2
Flum, Jörg
2
Gandy, R. O.
2
Givant, Steven
2
Gottlob, Georg
2
Greenberg, Noam
2
Hahn, Gena
2
Hammer, P. L.
2
Hijab, Omar
2
Hindley, J. Roger
2
Hoffman, Frederick
2
Hogben, Leslie
2
Holme, Petter
2
Iske, Armin
2
Jungnickel, D.
2
Kai-Yuan Cai
2
Kamareddine, F.D.
2
Kauers, Manuel
2
Klavžar, Sandi
2
Koslow, Arnold
2
Kuratowski, Kazimierz
2
König, Barbara
2
Labelle, Gilbert
2
Laue, Reinhard
2
Leeuwen, Jan van
2
Leitsch, Alexander
2
Lenz, Hanfried
2
Lerman, M.
2
London Mathematical Society
2
Lothaire, M.
2
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22511+-+General+principles+of+mathematics%22&lookfor=theory+computational&type=AllFields
Send by Email
×
Loading...