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
321
-
340
of
4,704
Search:
'"Foundations"'
,
query time: 0.02s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
321
Algebraic Semantics
by
Guessarian, I.
Published 1981
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
322
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
323
Aphoristisches zwischen Physik und Dichtung
by
Lichtenberg, Georg Christoph
Published 1983
Vieweg+Teubner Verlag
Subjects:
“
...History and Philosophical
Foundations
of Physics...
”
Read Now
324
Fractals and Hyperspaces
by
Wicks, Keith R.
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
325
Contradictions, from Consistency to Inconsistency
Published 2018
Springer International Publishing
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
326
The principles of bridges : containing the mathematical demonstrations of the properties of the arches, the thickness of the piers, the force of the water against them, &c.
by
Hutton, Charles
Published 1772
[Printed by T. Saint, and sold by J. Wilkie [and 3 others]
Subjects:
“
...Bridges /
Foundations
and piers...
”
Read Now
327
Closure Spaces and Logic
by
Martin, N.M.
,
Pollard, S.
Published 1996
Springer US
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
328
International Symposium on Theoretical Programming
Published 1974
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
329
Logic of Programs : Workshop, ETH Zürich, May-July 1979
Published 1981
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
330
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
331
Principles of the Theory of Heat : Historically and Critically Elucidated
by
Mach, Ernst
Published 1986
Springer Netherlands
Subjects:
“
...Philosophical
Foundations
of Physics and Astronomy...
”
Read Now
332
Likeness to Truth
by
Oddie, G.
Published 1986
Springer Netherlands
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
333
Proofs and Fundamentals : A First Course in Abstract Mathematics
by
Bloch, Ethan D.
Published 2011
Springer New York
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
334
The Age of Alternative Logics : Assessing Philosophy of Logic and Mathematics Today
Published 2006
Springer Netherlands
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
335
Albert Einstein als Philosoph und Naturforscher : eine Auswahl
Published 1983
Vieweg+Teubner Verlag
Subjects:
“
...History and Philosophical
Foundations
of Physics...
”
Read Now
336
Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers
Published 2020
Springer International Publishing
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
337
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
338
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
Published 2022
Springer International Publishing
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
339
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
340
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...
”
12
13
14
15
16
17
18
19
20
21
22
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=17&lookfor=%22Foundations%22&type=Subject
Send by Email
×
Loading...