Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Theorie"
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"
product_txtF_mv:"Springer eBooks 2005-"
Showing
1
-
20
of
2,144
Search:
'"Theorie"'
,
query time: 0.06s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Concurrency
Theory
: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
by
Bowman, Howard
,
Gomez, Rodolfo
Published 2006
Springer London
Table of Contents:
“
...Background on Concurrency
Theory
-- Concurrency
Theory
— Untimed Models -- Process Calculi: LOTOS...
”
Read Now
2
Theory
of Computation
by
Kozen, Dexter C.
Published 2006
Springer London
Table of Contents:
“
... of Decidable
Theories
-- Complexity of the
Theory
of Real Addition -- Lower Bound for the
Theory
of Real...
”
Read Now
3
Search
Theory
: A Game Theoretic Perspective
Published 2013
Springer New York
Subjects:
“
...Game
Theory
...
”
Read Now
4
Basic Graph
Theory
by
Rahman, Md. Saidur
Published 2017
Springer International Publishing
Subjects:
“
...Graph
Theory
...
”
Read Now
5
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
6
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
7
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
8
Introduction to Concurrency
Theory
: Transition Systems and CCS
by
Gorrieri, Roberto
,
Versari, Cristian
Published 2015
Springer International Publishing
Subjects:
“
...
Theory
of Computation...
”
Read Now
9
Developments in Language
Theory
: 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
Published 2014
Springer International Publishing
Table of Contents:
“
... Synchronizing Automata and the Wedderburn-Artin
Theory
-- On two Algorithmic Problems about Synchronizing...
”
Read Now
10
Developments in Language
Theory
: 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
Published 2018
Springer International Publishing
Table of Contents:
“
... Finite Automata -- Additive Number
Theory
via Approximation by Regular Languages -- Tree-to-graph...
”
Read Now
11
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
12
Game
Theory
for Networks : 7th International EAI Conference, GameNets 2017 Knoxville, TN, USA, May 9, 2017, Proceedings
Published 2017
Springer International Publishing
“
...
Theory
for Networks, GameNets 2017, held in Knoxville, Tennessee, USA, in May 2017. The 10 conference...
”
Read Now
13
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
14
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
15
Fundamentals of Computation
Theory
: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Subjects:
“
...
Theory
of Computation...
”
Read Now
16
Developments in Language
Theory
: 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Subjects:
“
...Formal Languages and Automata
Theory
...
”
Read Now
17
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
18
Theory
and Practice of Computation : 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings
Published 2013
Springer Japan
Subjects:
“
...
Theory
of Computation...
”
Read Now
19
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
20
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
...
”
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
Collection: Springer eBooks 2005-
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
005 - Computer programming, programs & data
277
621 - Applied physics
130
Language
English
2,039
German
101
Italian
3
French
1
Collection
Springer eBooks 2005-
Author
Stephanidis, Constantine
29
Antona, Margherita
28
Ntoa, Stavroula
23
Kurosu, Masaaki
22
Gervasi, Osvaldo
20
Krzhizhanovskaya, Valeria V.
20
more ...
Salvendy, Gavriel
20
Marcus, Aaron
16
Paszynski, Maciej
16
Murgante, Beniamino
15
Dongarra, Jack
13
Koucheryavy, Yevgeni
12
de Mulatier, Clélia
12
Rozenberg, Grzegorz
11
Kozyrev, Dmitry V.
10
Misra, Sanjay
10
Balandin, Sergey
9
Camarinha-Matos, Luis M.
9
Gaj, Piotr
9
Luo, Yuhua
9
Sloot, Peter M.A.
9
Taniar, David
9
Vishnevskiy, Vladimir M.
9
Zhou, Jia
9
Garau, Chiara
8
Martín-Vide, Carlos
8
Obaidat, Mohammad S.
8
Samouylov, Konstantin E.
8
Zhang, Liang-Jie
8
Duffy, Vincent G.
7
Franco, Leonardo
7
Khachay, Michael
7
Ma, Minhua
7
Rosenzweig, Elizabeth
7
Shi, Yong
7
SpringerLink (Online service)
7
Abraham, Ajith
6
Andreev, Sergey
6
Dongarra, Jack J.
6
Filipe, Joaquim
6
Gao, Qin
6
Kranzlmüller, Dieter
6
Kumar, Vipin
6
Kwiecień, Andrzej
6
Liu, Zhiming
6
Löwe, Benedikt
6
Moallem, Abbas
6
Müller, Matthias S.
6
Parashar, Manish
6
Potapov, Igor
6
Salomaa, Arto
6
Tan, C.J. Kenneth
6
Wang, Wentao
6
Yu, Quan
6
Adamatzky, Andrew
5
Ahlswede, Rudolf
5
Black, Nancy L.
5
Ciobanu, Gabriel
5
Correia, João
5
Du, Ding-Zhu
5
Dudin, Alexander
5
Galinina, Olga
5
Gao, Honghao
5
Hashizume, Ayako
5
Jones, Cliff B.
5
Laganà, Antonio
5
Liu, Chunfeng
5
Nazarov, Anatoly
5
Neumann, W. Patrick
5
Nguyen, Ngoc Thanh
5
Noy, Ian
5
Rauterberg, Matthias
5
Soares, Marcelo M.
5
Steffen, Bernhard
5
Stera, Piotr
5
Ölveczky, Peter Csaba
5
Ahlswede, Alexander
4
Albada, Geert Dick van
4
Althöfer, Ingo
4
Artho, Cyrille
4
B. Heras, Dora
4
Bandini, Stefania
4
Calude, Cristian S.
4
Cerone, Antonio
4
Chapman, Barbara
4
Deng, Der-Jiunn
4
Deppe, Christian
4
Ferrández, José M.
4
Finkbeiner, Bernd
4
Klasing, Ralf
4
Kowalczyk, Ryszard
4
Kunkel, Julian M.
4
Kutrib, Martin
4
Li, Minming
4
Manz, Olaf
4
Margaria, Tiziana
4
Meiselwitz, Gabriele
4
Meng, Weixiao
4
Moiseev, Alexander
4
Mori, Hirohiko
4
see all ...
less ...
Recently Uploaded
Last Month
38
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&filter%5B%5D=product_txtF_mv%3A%22Springer+eBooks+2005-%22&lookfor=%22Theorie%22&type=AllFields
Send by Email
×
Loading...