Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Foundations"
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:"040 - [Unassigned]"
Showing
1
-
20
of
654
Search:
'"Foundations"'
,
query time: 0.03s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Iteration Theories : The Equational Logic of Iterative Processes
by
Bloom, Stephen L.
,
Esik, Zoltan
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
2
Probabilistic Extensions of Various Logical Systems
Published 2020
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
3
Logics for Computer Science : Classical and Non-Classical
by
Wasilewska, Anita
Published 2018
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
4
Turing Machines with Sublogarithmic Space
by
Szepietowski, Andrzej
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
5
Mathematical Models for the Semantics of Parallelism : Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
Published 1987
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
6
The Collected Works of J. Richard Büchi
by
Büchi, J. Richard
Published 1990
Springer New York
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
7
Design of Logic Systems
by
DOUGLAS LEWIN, DAVID PROTHEROE.
Published 1992
Springer US
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
8
Unconventional Computation and Natural Computation : 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
9
Descriptional Complexity of Formal Systems : 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings
Published 2021
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
10
Theoretical Aspects of Computing – ICTAC 2023 : 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
11
Logic and Engineering of Natural Language Semantics : 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers
Published 2023
Springer Nature Switzerland
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
12
Theoretical Aspects of Computing – ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings
Published 2022
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
13
Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings
Published 2022
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
14
Logic and Engineering of Natural Language Semantics : 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers
Published 2024
Springer Nature Switzerland
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
15
Axiomatising the Logic of Computer Programming
by
Goldblatt, R.
Published 1982
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
16
Logics of Programs : Workshop, Yorktown Heights, NY, USA
Published 1982
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
17
Logics of Programs and Their Applications : Proceedings, Poznan, August 23-29, 1980
Published 1983
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
18
Mathematical Foundation of Programming Semantics : International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings
Published 1986
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
19
International Symposium on Theoretical Programming
Published 1974
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
20
Algebraic Semantics
by
Guessarian, I.
Published 1981
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 040 - [Unassigned]
Year of Publication
From:
To:
Classification
040 - [Unassigned]
Language
English
649
German
5
Collection
Springer eBooks 2005-
449
Springer Book Archives -2004
205
Author
Rozenberg, Grzegorz
16
Potapov, Igor
10
Bitsch, Friedemann
6
Ehrig, Hartmut
6
Nerode, Anil
6
Salomaa, Arto
6
more ...
Voronkov, Andrei
6
Ölveczky, Peter Csaba
6
Artho, Cyrille
5
Berghammer, Rudolf
5
Beyer, Dirk
5
Bjørner, Dines
5
Cerone, Antonio
5
Liu, Zhiming
5
Martín-Vide, Carlos
5
Steffen, Bernhard
5
Broy, Manfred
4
Legay, Axel
4
Liu, Shaoying
4
Margaria, Tiziana
4
Mayr, Ernst W.
4
Olderog, Ernst-Rüdiger
4
Pighizzini, Giovanni
4
Rahonis, George
4
Schoitsch, Erwin
4
Skavhaug, Amund
4
Alur, Rajeev
3
Apt, Krzysztof R.
3
Bernardo, Marco
3
Börger, Egon
3
Ciobanu, Gabriel
3
Cooper, Barry S.
3
Diaz, Josep
3
Diekert, Volker
3
Duan, Zhenhua
3
Finkel, Alain
3
Han, Yo-Sub
3
Horimoto, Katsuhisa
3
Huisman, Marieke
3
Jirásková, Galina
3
Kreowski, Hans-Jörg
3
Löwe, Benedikt
3
Majumdar, Rupak
3
Melton, Austin
3
Meseguer, José
3
Montanari, Ugo
3
Nipkow, Tobias
3
Nivat, Maurice
3
Okhotin, Alexander
3
Reed, Rick
3
Reis, Rogério
3
Roggenbach, Markus
3
Shapira, Dana
3
Thiagarajan, P.S.
3
Tonetta, Stefano
3
Wagner, Klaus W.
3
Worrell, James
3
Zandron, Claudio
3
Abate, Alessandro
2
Aceto, Luca
2
Agrawal, Manindra
2
Alexandru, Andrei
2
Artemov, Sergei
2
Baier, Christel
2
Balcazar, Jose L.
2
Bekki, Daisuke
2
Best, Eike
2
Bloem, Roderick
2
Bondavalli, Andrea
2
Boreale, Michele
2
Bouajjani, Ahmed
2
Bouyer, Patricia
2
Bozapalidis, Symeon
2
Bozzano, Marco
2
Bravetti, Mario
2
Brookes, Stephen
2
Budach, Lothar
2
Calude, Cristian S.
2
Chatterjee, Krishnendu
2
Chaudhuri, Swarat
2
Chockler, Hana
2
Choffrut, Christian
2
Cimatti, Alessandro
2
Cooper, S. Barry
2
Corradini, Andrea
2
Corradini, Flavio
2
Câmpeanu, Cezar
2
D'Argenio, Pedro R.
2
Dawar, Anuj
2
Dediu, Adrian-Horia
2
Derrick, John
2
Dezani-Ciancaglini, Mariangiola
2
Dowek, Gilles
2
Enjalbert, Patrice
2
Escobar, Santiago
2
Esparza, Javier
2
Farzan, Azadeh
2
Gabarro, Joaquim
2
Gallina, Barbara
2
Gheorghe, Marian
2
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22040+-+%5BUnassigned%5D%22&lookfor=%22Foundations%22&type=Subject
Send by Email
×
Loading...