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
141
-
160
of
4,914
Search:
'"theory"'
,
query time: 0.06s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
141
Theory
and Applications of Models of Computation : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
142
Language and Automata
Theory
and Applications : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
143
Theory
and Application of Satisfiability Testing : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
144
Application and
Theory
of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
145
Language and Automata
Theory
and Applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, Proceedings
Published 2012
Springer Berlin Heidelberg
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
146
Theory
and Applications of Models of Computation : 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
Published 2012
Springer Berlin Heidelberg
Subjects:
“
...Data Structures and Information
Theory
...
”
Read Now
147
Application and
Theory
of Petri Nets : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
Published 2012
Springer Berlin Heidelberg
Subjects:
“
...
Theory
of Computation...
”
Read Now
148
Language and Automata
Theory
and Applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... for Automata
Theory
--...
”
Read Now
149
CONCUR 2004 -- Concurrency
Theory
: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
...
Theory
of Reduction Congruence forTwo Timed Asynchronous ?-Calculi -- Characterizing EF and EX Tree...
”
Read Now
150
Switching
Theory
for Logic Synthesis
by
Sasao, Tsutomu
Published 1999
Springer US
Table of Contents:
“
... Complexity of Multi-Level Logic Networks -- A History of Switching
Theory
-- References...
”
Read Now
151
CONCUR 2003 - Concurrency
Theory
: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... and Timing in Process Algebras -- A Compositional Semantic
Theory
for Synchronous Component-Based Design...
”
Read Now
152
Concurrency:
Theory
, Language, and Architecture : UK/Japan Workshop, Oxford, UK, September 25–27, 1989, Proceedings
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...
Theory
of Computation...
”
Read Now
153
Theory
and Practice of Parallel Programming : International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings
Published 1995
Springer Berlin Heidelberg
“
...This volume presents the proceedings of the First International Workshop on
Theory
and Practice...
”
Read Now
154
Theory
and Practice in Distributed Systems : International Workshop, Dagstuhl Castle, Germany, September 5 - 9, 1994. Selected Papers
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...
Theory
of Computation...
”
Read Now
155
CONCUR'97: Concurrency
Theory
: 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... to model-checking -- Synthesis of nets with inhibitor arcs -- An algebraic
theory
of multiple clocks...
”
Read Now
156
Theory
and Application of Random Fields...
Published 1983
Springer Berlin Heidelberg
Table of Contents:
“
... -- Generalized Brownian functionals -- Towards a
theory
of noncommutative semimartingales adapted to Brownian...
”
Read Now
157
Category
Theory
and Computer Science : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... data -- A factorisation theorem in rewriting
theory
-- Monads and modular term rewriting -- A 2...
”
Read Now
158
Complexity
Theory
of Real Functions
by
Ko, K.
Published 1991
Birkhäuser
Table of Contents:
“
... functions -- 4.8 Open questions -- 5 Measure and Integration -- 5.1 Recursive measure
theory
-- 5.2...
”
Read Now
159
Hyper-Heuristics:
Theory
and Applications
by
Pillay, Nelishia
,
Qu, Rong
Published 2018
Springer International Publishing
Subjects:
“
...
Theory
of Computation...
”
Read Now
160
Computer Science –
Theory
and Applications...
Published 2018
Springer International Publishing
“
...; algorithms for concurrent and distributed systems; networks; and proof
theory
and applications of logic...
”
3
4
5
6
7
8
9
10
11
12
13
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=8&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...