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
41
-
60
of
4,914
Search:
'"theory"'
,
query time: 0.05s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
41
Fundamentals of Computation
Theory
: Proceedings of the International Conference FCT 1985, Cottbus, GDR, September 9-13, 1985
Published 1985
Springer Berlin Heidelberg
Table of Contents:
“
... programs (Preliminary version) -- On coordinated rewriting -- Elements of a general
theory
of combinatorial...
”
Read Now
42
Fundamentals of Computation
Theory
: 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... regular inequalities -- A simple abstract semantics for equational
theories
-- Processes with multiple...
”
Read Now
43
Fundamentals of Computation
Theory
: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
44
Game
Theory
for Networks : 2nd International ICST Conference, GameNets 2011, Shanghai, China, April 11-18, 2011, Revised Selected Papers
Published 2012
Springer Berlin Heidelberg
“
... International Conference on Game
Theory
for Networks (GameNets 2011) held in Shanghai, China, April 16-18, 2011...
”
Read Now
45
Developments in Language
Theory
: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings
Published 2012
Springer Berlin Heidelberg
Subjects:
“
...Coding and Information
Theory
...
”
Read Now
46
Fundamentals of Computation
Theory
: 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
Table of Contents:
“
... -- The equational
theory
of a Boolean monad.-Non erasing Taring machines: a frontier between a decidable halting...
”
Read Now
47
Theory
of Reversible Computing
by
Morita, Kenichi
Published 2017
Springer Japan
Subjects:
“
...
Theory
of Computation...
”
Read Now
48
Fundamentals of Computation
Theory
: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
49
Computability and Complexity
Theory
by
Homer, Steven
,
Selman, Alan L.
Published 2011
Springer US
Table of Contents:
“
...
Theory
-- Basic Results of Complexity
Theory
-- Nondeterminism and NP-Completeness -- Relative...
”
Read Now
50
Queueing
Theory
for Telecommunications : Discrete Time Modelling of a Single Node System
by
Alfa, Attahiru Sule
Published 2010
Springer US
Table of Contents:
“
... of queueing models to real life problems -- 1.3 Historical development of queueing
theory
-- 2.0 Discrete time...
”
Read Now
51
Theory
and Practice of Computation : Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011, Proceedings
Published 2012
Springer Japan
Subjects:
“
...
Theory
of Computation...
”
Read Now
52
Unifying
Theories
of Programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
...Unifying
Theories
of Undefinedness in UTP -- Unifying
Theories
of Programming with Monads -- Circus...
”
Read Now
53
Developments in Language
Theory
: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Published 2017
Springer International Publishing
Table of Contents:
“
... for strings, trees, graphics, arrays -- Algebraic
theories
for automata and languages -- Codes -- Efficient...
”
Read Now
54
Developments in Language
Theory
: 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
Published 2016
Springer Berlin Heidelberg
Table of Contents:
“
... -- Grammars, acceptors and transducers for strings, trees, graphs, arrays; algebraic
theories
for automata...
”
Read Now
55
Unifying
Theories
of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Published 2017
Springer International Publishing
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
56
Basic Graph
Theory
by
Rahman, Md. Saidur
Published 2017
Springer International Publishing
Subjects:
“
...Graph
Theory
...
”
Read Now
57
Game
Theory
for Networks : 6th International Conference, GameNets 2016, Kelowna, BC, Canada, May 11-12, 2016, Revised Selected Papers
Published 2017
Springer International Publishing
Table of Contents:
“
... and Power Optimization for Device-to-Device Networks Game
Theory
in Wireless Networks -- Distributed Sharing...
”
Read Now
58
The Foundations of Computability
Theory
by
Robič, Borut
Published 2015
Springer Berlin Heidelberg
Subjects:
“
...
Theory
of Computation...
”
Read Now
59
Introduction to Concurrency
Theory
: Transition Systems and CCS
by
Gorrieri, Roberto
,
Versari, Cristian
Published 2015
Springer International Publishing
Subjects:
“
...
Theory
of Computation...
”
Read Now
60
Systems:
Theory
and Practice
Published 1998
Springer Vienna
Table of Contents:
“
...Abstract modelling complex systems -- Formal specification -- On mathematical systems
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=3&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...