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:"005 - Computer programming, programs & data"
Showing
1
-
20
of
1,218
Search:
'"Foundations"'
,
query time: 0.02s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
First-Order Logic and Automated Theorem Proving
by
Fitting, Melvin
Published 1996
Springer New York
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
2
Rewriting Techniques and Applications : Bordeaux, France, May 25-27, 1987. Proceedings
Published 1987
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
3
First-Order Programming Theories
by
Gergely, Tamas
,
Ury, Laszlo
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
4
Processes, Terms and Cycles: Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Published 2005
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
5
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings
Published 2021
Springer Nature Singapore
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
6
Developments in Language Theory : 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
7
Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
8
Complexity Theory Retrospective : In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988
Published 1990
Springer New York
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
9
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 : Volume 1: Advanced Seminar on F...
Published 1989
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
10
Isabelle : A Generic Theorem Prover
by
Paulson, Lawrence C.
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
11
Computer Science Logic : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Published 2001
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
12
Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Published 2009
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
13
Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings
Published 1989
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
14
Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
15
Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
16
An Introduction to the Technique of Formative Processes in Set Theory
by
Cantone, Domenico
,
Ursino, Pietro
Published 2018
Springer International Publishing
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
17
Transactions on Petri Nets and Other Models of Concurrency VIII
Published 2013
Springer Berlin Heidelberg
Subjects:
“
...Computer Science Logic and
Foundations
of Programming...
”
Read Now
18
Mathematical Logic : Foundations for Information Science
by
Li, Wei
Published 2010
Birkhäuser
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
19
Mathematical Logic for Computer Science
by
Ben-Ari, Mordechai
Published 2012
Springer London
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
20
Logic for Computer Scientists
by
Schöning, Uwe
Published 2008
Birkhäuser
Subjects:
“
...Mathematical Logic and
Foundations
...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
331 - Labor economics
23
003 - Systems
12
004 - Data processing & computer science
12
620 - Engineering & allied operations
6
500 - Natural sciences & mathematics
5
more ...
745 - Decorative arts
5
658 - General management
4
384 - Communications; telecommunication
2
011 - Bibliographies
1
800 - Literature & rhetoric
1
see all ...
less ...
Language
English
1,201
German
17
Collection
Springer eBooks 2005-
809
Springer Book Archives -2004
358
O'Reilly
51
Author
Bonsangue, Marcello M.
12
Bowen, Jonathan P.
11
Steffen, Bernhard
11
Margaria, Tiziana
10
Voronkov, Andrei
10
Ehrig, Hartmut
9
more ...
Liu, Zhiming
9
Graf, Susanne
8
Rozenberg, Grzegorz
8
Beckert, Bernhard
7
Bernardo, Marco
7
Crnkovic, Ivica
7
Koutny, Maciej
7
Li, Wei
7
Meyer, Bertrand
7
Orejas, Fernando
7
Wirsing, Martin
7
de Boer, Frank S.
7
Broy, Manfred
6
Butler, Michael
6
Gibbons, Jeremy
6
Hanus, Michael
6
Havelund, Klaus
6
Hermenegildo, Manuel
6
Johnsen, Einar Broch
6
de Roever, Willem-Paul
6
Aldini, Alessandro
5
Arbab, Farhad
5
Barthe, Gilles
5
Damiani, Ferruccio
5
De Nicola, Rocco
5
Gorrieri, Roberto
5
Katoen, Joost-Pieter
5
Montanari, Ugo
5
Palsberg, Jens
5
Reussner, Ralf H.
5
Romanovsky, Alexander
5
Salaün, Gwen
5
Sirjani, Marjan
5
Stafford, Judith A.
5
Sui, Yuefei
5
Woodcock, Jim
5
Ölveczky, Peter Csaba
5
Backhouse, Roland
4
Bjørner, Dines
4
Chechik, Marsha
4
Cousot, Radhia
4
Giannakopoulou, Dimitra
4
Gnesi, Stefania
4
Gorton, Ian
4
Hähnle, Reiner
4
Jacko, Julie A.
4
Legay, Axel
4
Levi, Giorgio
4
Liu, Shaoying
4
Maluszynski, Jan
4
Merayo, Mercedes G.
4
Middeldorp, Aart
4
Moreira, Ana
4
Möller, Bernhard
4
Ong, Luke
4
Rossi, Francesca
4
Schewe, Klaus-Dieter
4
Schlechta, Karl
4
Taha, Walid
4
Vardanega, Tullio
4
Wolff, Burkhart
4
Zhang, Zili
4
de Queiroz, Ruy
4
ter Beek, Maurice H.
4
van der Aalst, Wil M. P.
4
Ahrendt, Wolfgang
3
Alpuente, María
3
Astesiano, Egidio
3
Bartocci, Ezio
3
Berardi, Stefano
3
Bert, Didier
3
Bubel, Richard
3
Butterfield, Andrew
3
Cavalcanti, Ana
3
Clack, Chris
3
Dershowitz, Nachum
3
Desel, Jörg
3
Duan, Zhenhua
3
Dybjer, Peter
3
Esparza, Javier
3
Felici, Massimo
3
Fiadeiro, José Luiz
3
Finkbeiner, Bernd
3
Fitting, Melvin
3
Fitzgerald, John
3
France, Robert B.
3
Gabbay, Dov M.
3
Grieskamp, Wolfgang
3
Grumberg, Orna
3
Guelfi, Nicolas
3
Gupta, Gopal
3
Hagiya, Masami
3
Hofmeister, Christine
3
Hu, Zhenjiang
3
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%22005+-+Computer+programming%2C+programs+%26+data%22&lookfor=%22Foundations%22&type=Subject
Send by Email
×
Loading...