Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "theoretical computer science"
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:"005 - Computer programming, programs & data"
Showing
141
-
160
of
654
Search:
'"theoretical computer science"'
,
query time: 0.80s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
141
Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Published 2014
Springer International Publishing
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
142
Trustworthy Global Computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
Published 2014
Springer International Publishing
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
143
Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
Published 2014
Springer Berlin Heidelberg
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
144
Compiler Construction : 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, Apr...
Published 2014
Springer Berlin Heidelberg
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
145
Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014...
Published 2014
Springer Berlin Heidelberg
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
146
Categories and Types in Logic, Language, and Physics : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
Published 2014
Springer Berlin Heidelberg
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
147
Computational Linguistics and Intelligent Text Processing : 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part II
Published 2014
Springer Berlin Heidelberg
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
148
Computational Linguistics and Intelligent Text Processing : 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I
Published 2014
Springer Berlin Heidelberg
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
149
Relational and Algebraic Methods in Computer Science : 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings
Published 2020
Springer International Publishing
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
150
Parallel Processing and Applied Mathematics : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part II
Published 2020
Springer International Publishing
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
151
Parallel Processing and Applied Mathematics : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I
Published 2020
Springer International Publishing
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
152
On the Move to Meaningful Internet Systems: OTM 2019 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 21–25, 2019,...
Published 2020
Springer International Publishing
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
153
Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Published 2020
Springer International Publishing
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
154
Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020...
Published 2020
Springer International Publishing
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
155
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2020
Springer International Publishing
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
156
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
Published 2020
Springer International Publishing
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
157
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Published 2019
Springer International Publishing
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
158
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Published 2019
Springer International Publishing
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
159
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Published 2020
Springer International Publishing
“
...
Theoretical
Computer
Science
and General Issues...
”
Read Now
160
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Published 2020
Springer International Publishing
“
...
Theoretical
Computer
Science
and General Issues...
”
3
4
5
6
7
8
9
10
11
12
13
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
004 - Data processing & computer science
12
003 - Systems
8
500 - Natural sciences & mathematics
1
Language
English
654
Collection
Springer eBooks 2005-
598
Springer Book Archives -2004
52
Cambridge Books Online
2
MIT Press eBook Archive
1
O'Reilly
1
Author
Steffen, Bernhard
16
Margaria, Tiziana
15
Dongarra, Jack
12
Karczewski, Konrad
12
Wyrzykowski, Roman
12
Gelbukh, Alexander
10
more ...
Cirne, Walfredo
8
Desai, Narayan
7
Jansen, Klaus
7
Malyshkin, Victor
7
Deelman, Ewa
6
Voronkov, Andrei
6
Wasniewski, Jerzy
6
Duan, Zhenhua
5
Horváth, Zoltán
5
Liu, Shaoying
5
Zsók, Viktória
5
de Queiroz, Ruy
5
Du, Ding-Zhu
4
Kaklamanis, Christos
4
Klusáček, Dalibor
4
Machado, Penousal
4
Martin-Vide, Carlos
4
Nagoya, Fumiko
4
Pogodalla, Sylvain
4
Rozenberg, Grzegorz
4
Tian, Cong
4
Vorozhtsov, Evgenii V.
4
Albers, Susanne
3
Artemov, Sergei
3
Barthe, Gilles
3
Butler, Michael
3
Butterfield, Andrew
3
Collet, Pierre
3
Correia, João
3
De Nicola, Rocco
3
Ehrig, Hartmut
3
Erlebach, Thomas
3
Fernau, Henning
3
Foret, Annie
3
Frachtenberg, Eitan
3
Gerdt, Vladimir P.
3
Gibbons, Jeremy
3
Gustafson, Steven
3
Hagiya, Masami
3
Hoos, Holger H.
3
Hughes, John
3
Jiang, Min
3
Kahl, Wolfram
3
Karhumäki, Juhani
3
Kirchner, Claude
3
Lai, Yongxuan
3
Leino, K. Rustan M.
3
Mayr, Ernst W.
3
Montanari, Ugo
3
Morrill, Glyn
3
Muskens, Reinhard
3
Nerode, Anil
3
Nori, Kesav V.
3
Ong, Luke
3
Palsberg, Jens
3
Peña, Ricardo
3
Raschke, Alexander
3
Rolim, José
3
Salomaa, Arto
3
Sassone, Vladimiro
3
Schwiegelshohn, Uwe
3
Silva, Alexandra
3
Vanneschi, Leonardo
3
Wang, Tian
3
Winter, Michael
3
Xu, Guangquan
3
Ölveczky, Peter Csaba
3
Abramsky, Samson
2
Aceto, Luca
2
Amunts, Katrin
2
Arge, Lars
2
Baeza-Yates, Ricardo
2
Bampis, Evripidis
2
Beliczynski, Bartlomiej
2
Berghammer, Rudolf
2
Biere, Armin
2
Birattari, Mauro
2
Bjørner, Dines
2
Bollen, Peter
2
Bruni, Roberto
2
Calamoneri, Tiziana
2
Cao, Jiannong
2
Carballal, Adrian
2
Castagna, Giuseppe
2
Chamberlain, Bradford L.
2
Chan, Jonathan H.
2
Chechik, Marsha
2
Cheong, Otfried
2
Chwa, Kyung-Yong
2
Ciesielski, Vic
2
Cohen, Albert
2
Damgaard, Ivan
2
Deb, Kalyanmoy
2
Debruyne, Christophe
2
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=8&filter%5B%5D=dewey-ones%3A%22005+-+Computer+programming%2C+programs+%26+data%22&lookfor=%22theoretical+computer+science%22&type=AllFields
Send by Email
×
Loading...