Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "theory"
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:"004 - Data processing & computer science"
language:"English"
Showing
21
-
40
of
4,914
Search:
'"theory"'
,
query time: 0.06s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
21
Structure in Complexity
Theory
: Proceedings of the Conference held at the University of California, Berkeley, June 2-5, 1986
Published 1986
Springer Berlin Heidelberg
Table of Contents:
“
... computation with threshold functions -- The topology of provability in complexity
theory
-- Optimal...
”
Read Now
22
Computability and Complexity
Theory
by
Homer, Steven
,
Selman, Alan L.
Published 2001
Springer New York
Table of Contents:
“
... to Complexity
Theory
-- 5 Basic Results of Complexity
Theory
-- 6 Nondeterminism and NP-Completeness -- 7...
”
Read Now
23
Computation
Theory
and Logic
Published 1987
Springer Berlin Heidelberg
Table of Contents:
“
... for terms and automata -- Relative konsistenz -- Segment translation systems -- First steps towards a
theory
...
”
Read Now
24
Fundamentals of Computation
Theory
: International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings
Published 1987
Springer Berlin Heidelberg
Table of Contents:
“
...
theory
-- On the synthesis of "Irredundant" automata from a finite set of experiments...
”
Read Now
25
Fundamentals of Computation
Theory
: International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
... complexity and Hausdorff dimension -- Tree language problems in pattern recognition
theory
...
”
Read Now
26
Algorithmic Learning
Theory
...
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
...Constructive induction for recursive programs -- Training digraphs -- Towards realistic
theories
...
”
Read Now
27
Fundamentals of Computation
Theory
: 11th International Symposium, FCT '97, Krakow, Poland, September 1-3, 1997. Proceedings
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Theory
of Computation...
”
Read Now
28
Developments in Language
Theory
: 28th International Conference, DLT 2024, Göttingen, Germany, August 12–16, 2024, Proceedings
Published 2024
Springer Nature Switzerland
“
... in Language
Theory
, DLT 2024, held in Göttingen, Germany, during August 12–16, 2024. The 17 full papers and 4...
”
Read Now
29
Fundamentals of Computation
Theory
: 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
30
Theory
of Computing and Systems : ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
... for constructing distributed detection programs -- Foundations of asymptotical
theory
of Determinate Compact...
”
Read Now
31
Algorithmic Number
Theory
: Third International Symposium, ANTS-III, Portland, Orgeon, USA, June 21-25, 1998, Proceedings
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...Number
theory
...
”
Read Now
32
Fundamentals of Computation
Theory
: 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... and about Universal Hash Functions & Hard Core Bits -- Pythagorean Triples in Unification
Theory
...
”
Read Now
33
Fundamentals of Computation
Theory
: 12th International Symposium, FCT'99 Iasi, Romania, August 30 - September 3, 1999 Proceedings
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...
Theory
of Computation...
”
Read Now
34
Algorithmic Learning
Theory
: 9th International Conference, ALT’98, Otzenhausen, Germany, October 8–10, 1998 Proceedings
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... of Boolean Functions by Monotone
Theory
-- Learning Formal Languages -- Locality, Reversibility, and Beyond...
”
Read Now
35
Developments in Language
Theory
: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings
Published 2021
Springer International Publishing
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
36
Simple Type
Theory
: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
by
Farmer, William M.
Published 2023
Birkhäuser
Table of Contents:
“
... Semantics -- 6 Additional Notation -- 7 Beta-reduction and Substitution -- 8 Proof Systems -- 9
Theories
...
”
Read Now
37
Unifying
Theories
of Programming...
Published 2019
Springer International Publishing
“
...
Theories
of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP...
”
Read Now
38
Developments in Language
Theory
: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Published 2015
Springer International Publishing
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
39
Fundamentals of Computation
Theory
: 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings
Published 2017
Springer Berlin Heidelberg
Subjects:
“
...
Theory
of Computation...
”
Read Now
40
Algorithmic Number
Theory
: Second International Symposium, ANTS-II, Talence, France, May 18 - 23, 1996, Proceedings
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...Number
theory
...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Clear Filter
Language: English
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
500 - Natural sciences & mathematics
678
005 - Computer programming, programs & data
325
331 - Labor economics
239
621 - Applied physics
164
658 - General management
156
more ...
384 - Communications; telecommunication
103
745 - Decorative arts
64
330 - Economics
54
620 - Engineering & allied operations
51
374 - Adult education
42
338 - Production
29
510 - Mathematics
21
381 - Commerce
9
302 - Social interaction
8
300 - Social sciences
7
380 - Commerce, communications & transportation
6
670 - Manufacturing
5
006 - Special computer methods
4
332 - Financial economics
4
600 - Technology
4
519 - Probabilities & applied mathematics
3
808 - Rhetoric & collections of literature
3
001 - Knowledge
2
650 - Management & auxiliary services
2
020 - Library & information sciences
1
158 - Applied psychology
1
303 - Social processes
1
371 - Schools & their activities; special education
1
720 - Architecture
1
741 - Drawing & drawings
1
794 - Indoor games of skill
1
800 - Literature & rhetoric
1
see all ...
less ...
Language
English
Collection
Springer eBooks 2005-
2,596
Springer Book Archives -2004
1,330
O'Reilly
825
Springer Lecture Notes Archiv 1964-1996
123
MIT Press eBook Archive
17
Cambridge Books Online
8
more ...
Elsevier ScienceDirect eBooks
5
JSTOR Open Access Books
4
DeGruyter MPG Collection
2
Emerald Business, Management and Economics eBook Collection Archive
2
Elsevier eBook collection Mathematics
1
Oxford Handbook Online
1
see all ...
less ...
Author
Rozenberg, Grzegorz
46
Krzhizhanovskaya, Valeria V.
32
Dongarra, Jack
30
Stephanidis, Constantine
29
Antona, Margherita
28
Gervasi, Osvaldo
27
more ...
Sloot, Peter M.A.
26
Dongarra, Jack J.
24
Ntoa, Stavroula
23
Kurosu, Masaaki
22
Paszynski, Maciej
22
Salomaa, Arto
20
Salvendy, Gavriel
20
Kumar, Vipin
16
Marcus, Aaron
16
Murgante, Beniamino
16
Tan, C.J. Kenneth
16
de Mulatier, Clélia
16
Gavrilova, Marina L.
15
Ehrig, Hartmut
13
Khachay, Michael
13
Paun, Gheorghe
13
Koucheryavy, Yevgeni
12
Laganà, Antonio
12
Martín-Vide, Carlos
12
Camarinha-Matos, Luis M.
11
Potapov, Igor
11
Taniar, David
11
Broy, Manfred
10
Dudin, Alexander
10
Kozyrev, Dmitry V.
10
Kranzlmüller, Dieter
10
Luo, Yuhua
10
Misra, Sanjay
10
Nerode, Anil
10
Balandin, Sergey
9
Banerjee, Utpal
9
Bubak, Marian
9
Börger, Egon
9
Du, Ding-Zhu
9
Ferrández Vicente, José Manuel
9
Gaj, Piotr
9
Löwe, Benedikt
9
Montanari, Ugo
9
Nazarov, Anatoly
9
Obaidat, Mohammad S.
9
Reisig, Wolfgang
9
Vishnevskiy, Vladimir M.
9
Wasniewski, Jerzy
9
Zhou, Jia
9
Das, Swagatam
8
Garau, Chiara
8
Hart-Davis, Guy
8
Margaria, Tiziana
8
Mayr, Ernst W.
8
Samouylov, Konstantin E.
8
Shi, Yong
8
Suganthan, Ponnuthurai Nagaratnam
8
Wojtkowski, Wita
8
Zandron, Claudio
8
Zhang, Liang-Jie
8
Abraham, Ajith
7
Bjørner, Dines
7
Cisco Networking Academy Program
7
Cooper, Barry S.
7
Duffy, Vincent G.
7
Franco, Leonardo
7
Jaćimović, Milojica
7
Karlsson, Rolf
7
Lees, Michael H.
7
Liu, Zhiming
7
Ma, Minhua
7
Monien, Burkhard
7
Nguyen, Ngoc Thanh
7
Nielsen, Mogens
7
Panigrahi, Bijaya Ketan
7
Pitt, David
7
Prasanna, Viktor K.
7
Rosenzweig, Elizabeth
7
Shi, Yuhui
7
SpringerLink (Online service)
7
Steffen, Bernhard
7
Vanderdonckt, Jean
7
Voronkov, Andrei
7
Wang, Jun
7
Wu, Weili
7
Zeng, Zhigang
7
Závodszky, Gábor
7
de la Paz López, Félix
7
Álvarez-Sánchez, José Ramón
7
Adamatzky, Andrew
6
Ahlswede, Rudolf
6
Alexandrov, Vassil N.
6
Andreev, Sergey
6
Bandini, Stefania
6
Calude, Cristian S.
6
Ciobanu, Gabriel
6
Correia, João
6
Dongarra, J. J.
6
Filipe, Joaquim
6
see all ...
less ...
Recently Uploaded
Last Month
69
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=2&filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&filter%5B%5D=language%3A%22English%22&lookfor=%22theory%22&type=AllFields
Send by Email
×
Loading...