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
Showing
341
-
360
of
4,704
Search:
'"Foundations"'
,
query time: 0.02s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
341
Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
342
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
343
Formale Programmentwicklung mit dynamischer Logik
by
Heisel, Maritta
Published 1992
Deutscher Universitätsverlag
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
344
Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
Published 2019
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
345
Physik im Kalten Krieg : Beiträge zur Physikgeschichte während des Ost-West-Konflikts
Published 2013
Springer Fachmedien Wiesbaden
Subjects:
“
...History and Philosophical
Foundations
of Physics...
”
Read Now
346
Sophie Germain : An Essay in the History of the Theory of Elasticity
by
Bucciarelli, L.L.
,
Dworsky, N.
Published 1980
Springer Netherlands
Subjects:
“
...Philosophical
Foundations
of Physics and Astronomy...
”
Read Now
347
A Guide to Classical and Modern Model Theory
by
Marcja, Annalisa
,
Toffalori, Carlo
Published 2003
Springer Netherlands
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
348
Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language
Published 2015
Springer International Publishing
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
349
Design of Logic Systems
by
DOUGLAS LEWIN, DAVID PROTHEROE.
Published 1992
Springer US
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
350
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
351
Logic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
Published 2022
Birkhäuser
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
352
The Priority of Propositions. A Pragmatist Philosophy of Logic
by
Frápolli, María José
Published 2023
Springer International Publishing
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
353
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
354
Aktuelle Forschung in der Bodenmechanik 2013 : Tagungsband zur 1. Deutschen Bodenmechanik Tagung, Bochum
Published 2014
Springer Berlin Heidelberg
Subjects:
“
...
Foundations
...
”
Read Now
355
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
356
Stahlbeton- und Spannbetontragwerke : Berechnung, Bemessung und Konstruktion
by
Bieger, Klaus-Wolfgang
,
Lierse, Jürgen
,
Roth, Jürgen
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...
Foundations
...
”
Read Now
357
Stahlbeton- und Spannbetontragwerke nach DIN 1045 : Teile 1 bis 3 (Juli 2001) Erläuterungen und Anwendungen
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...
Foundations
...
”
Read Now
358
Stahlbeton- und Spannbetontragwerke nach Eurocode 2 : Erläuterungen und Anwendungen
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...
Foundations
...
”
Read Now
359
Stahlbeton- und Spannbetontragwerke nach Eurocode 2 : Erläuterungen und Anwendungen
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...
Foundations
...
”
Read Now
360
Technische Hydraulik : Kompendium für den Wasserbau
by
Schröder, Ralph C.M.
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...
Foundations
...
”
13
14
15
16
17
18
19
20
21
22
23
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
1,221
004 - Data processing & computer science
938
511 - General principles of mathematics
508
006 - Special computer methods
349
530 - Physics
262
624 - Civil engineering
158
more ...
501 - Philosophy & theory
138
160 - Logic
110
510 - Mathematics
102
620 - Engineering & allied operations
82
000 - Computer science, information & general works
73
520 - Astronomy & allied sciences
71
340 - Law
61
900 - History & geography
60
512 - Algebra
57
330 - Economics
51
500 - Natural sciences & mathematics
51
600 - Technology
50
518 - Numerical analysis
49
700 - The arts; fine & decorative arts
49
621 - Applied physics
46
333 - Economics of land & energy
43
551 - Geology, hydrology & meteorology
43
331 - Labor economics
42
515 - Analysis
36
658 - General management
33
320 - Political science
29
363 - Other social problems & services
28
519 - Probabilities & applied mathematics
23
003 - Systems
21
509 - Historical, geographic & persons treatment
21
120 - Epistemology, causation & humankind
17
380 - Commerce, communications & transportation
17
531 - Classical mechanics; solid mechanics
17
300 - Social sciences
16
040 - [Unassigned]
14
100 - Philosophy & psychology
14
523 - Specific celestial bodies & phenomena
14
670 - Manufacturing
14
539 - Modern physics
13
690 - Buildings
13
745 - Decorative arts
13
370 - Education
12
540 - Chemistry & allied sciences
12
610 - Medicine & health
12
516 - Geometry
11
576 - Genetics & evolution
11
514 - Topology
10
628 - Sanitary & municipal engineering
9
140 - Specific philosophical schools
8
302 - Social interaction
8
541 - Physical chemistry
8
580 - Plants (Botany)
8
200 - Religion
7
400 - Language
7
550 - Earth sciences
7
570 - Life sciences; biology
7
662 - Explosives, fuels & related products
7
301 - Sociology & anthropology
6
384 - Communications; telecommunication
6
660 - Chemical engineering
6
170 - Ethics
5
260 - Social & ecclesiastical theology
5
338 - Production
5
371 - Schools & their activities; special education
5
526 - Mathematical geography
5
535 - Light & infrared & ultraviolet phenomena
5
537 - Electricity & electronics
5
629 - Other branches of engineering
5
720 - Architecture
5
800 - Literature & rhetoric
5
001 - Knowledge
4
158 - Applied psychology
4
280 - Christian denominations & sects
4
410 - Linguistics
4
691 - Building materials
4
025 - Library operations
3
113 - Cosmology
3
128 - Humankind
3
297 - Islam, Babism & Bahai Faith
3
304 - Factors affecting social behavior
3
343 - Military, tax, trade & industrial law
3
361 - Social problems & social welfare in general
3
362 - Social welfare problems & services
3
414 - Phonology & phonetics
3
507 - Education, research & related topics
3
513 - Arithmetic
3
536 - Heat
3
577 - Ecology
3
650 - Management & auxiliary services
3
693 - Specific materials & purposes
3
808 - Rhetoric & collections of literature
3
011 - Bibliographies
2
109 - Historical & collected persons treatment
2
150 - Psychology
2
190 - Modern western philosophy
2
230 - Christianity & Christian theology
2
332 - Financial economics
2
346 - Private law
2
401 - Philosophy & theory
2
see all ...
less ...
Language
English
4,236
German
404
Italian
14
Chinese
3
Finnish
1
French
1
more ...
Polish
1
Portuguese
1
Spanish
1
Undetermined
1
see all ...
less ...
Collection
Springer eBooks 2005-
2,624
Springer Book Archives -2004
1,664
O'Reilly
165
Directory of Open Access Books
95
Eighteenth Century Collections Online / ECCO
31
Making of Modern Law / Legal Treatises
31
more ...
Lecture Notes in Computer Science
29
Making of the Modern World
19
OAPEN
10
Cambridge Books Online
6
ACS Symposium Series
5
Elsevier eBook collection Mathematics
4
Lecture Notes in Mathematics
4
Oxford University Press
4
DeGruyter MPG Collection
3
World Bank E-Library Archive
3
JSTOR Open Access Books
2
ACS Advances in Chemistry
1
Emerald Business, Management and Economics eBook Collection Archive
1
International Monetary Fund
1
Mohr Siebeck eBooks
1
wiso-net eBooks
1
see all ...
less ...
Author
Rozenberg, Grzegorz
33
Voronkov, Andrei
28
Gabbay, Dov M.
22
Ehrig, Hartmut
19
Steffen, Bernhard
19
Margaria, Tiziana
18
more ...
Nerode, Anil
16
Broy, Manfred
15
Liu, Zhiming
14
Potapov, Igor
13
Bonsangue, Marcello M.
12
Bowen, Jonathan P.
12
Wirsing, Martin
12
Bernardo, Marco
11
Bjørner, Dines
11
Graf, Susanne
11
Ölveczky, Peter Csaba
11
Nipkow, Tobias
10
Rossi, Francesca
10
Salomaa, Arto
10
Börger, Egon
9
Kolymbas, Dimitrios
9
Koutny, Maciej
9
Zimmermann, Hans-Jürgen
9
Beckert, Bernhard
8
Cerone, Antonio
8
Dastani, Mehdi
8
Ebbinghaus, Heinz-Dieter
8
Gorrieri, Roberto
8
Gottlob, Georg
8
Hanus, Michael
8
Hähnle, Reiner
8
Kahle, Reinhard
8
Legay, Axel
8
Leitsch, Alexander
8
Liu, Shaoying
8
Meyer, Bertrand
8
Montanari, Ugo
8
Mundici, Daniele
8
Olderog, Ernst-Rüdiger
8
Reed, Rick
8
Sassa, Kyoji
8
SpringerLink (Online service)
8
Wansing, Heinrich
8
de Boer, Frank S.
8
Canuti, Paolo
7
Crnkovic, Ivica
7
Gibbons, Jeremy
7
Havelund, Klaus
7
Johnsen, Einar Broch
7
Katoen, Joost-Pieter
7
Kleine Büning, Hans
7
Li, Wei
7
Löwe, Benedikt
7
Majumdar, Rupak
7
Margottini, Claudio
7
Martín-Vide, Carlos
7
Möller, Bernhard
7
Orchiston, Wayne
7
Orejas, Fernando
7
Priese, Lutz
7
Thomas, Wolfgang
7
van Benthem, Johan
7
Aguirre, Anthony
6
Apt, Krzysztof R.
6
Arbab, Farhad
6
Artemov, Sergei
6
Artho, Cyrille
6
Barthe, Gilles
6
Berghammer, Rudolf
6
Beyer, Dirk
6
Bitsch, Friedemann
6
Butler, Michael
6
Diaz, Josep
6
Dowek, Gilles
6
Duan, Zhenhua
6
Flum, Jörg
6
Giesecke, Jürgen
6
Givant, Steven
6
Gnesi, Stefania
6
Henzinger, Thomas A.
6
Hermanns, Holger
6
Hermenegildo, Manuel
6
Hilbert, David
6
Huisman, Marieke
6
Kroening, Daniel
6
Larsen, Kim G.
6
Levi, Giorgio
6
Merali, Zeeya
6
Meseguer, José
6
Nivat, Maurice
6
Ong, Luke
6
Palamidessi, Catuscia
6
Palsberg, Jens
6
Peled, Doron A.
6
Rensink, Arend
6
Richter, Michael M.
6
Roggenbach, Markus
6
Schewe, Klaus-Dieter
6
Schindler, Werner
6
see all ...
less ...
Recently Uploaded
Last Month
17
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=18&lookfor=%22Foundations%22&type=Subject
Send by Email
×
Loading...