Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ((((national science) OR (natural science))) or (natural sciences)) foundation
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:"004 - Data processing & computer science"
Search alternatives
:
national science »
spatial science
,
animal science
,
educational sciences
Showing
1
-
20
of
279
Search:
'((((national science) OR (natural science))) or (natural sciences)) foundation'
,
query time: 0.51s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Foundations
on
Natural
and Artificial Computation...
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...Computer
science
...
”
Read Now
2
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
3
Unconventional Computation and
Natural
Computation : 21st International Conference, UCNC 2024, Pohang, South Korea, June 17–21, 2024, Proceedings
Published 2024
Springer Nature Switzerland
Subjects:
“
...Computer
Science
Logic and
Foundations
of Programming...
”
Read Now
4
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
5
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
6
The
Nature
of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Subjects:
“
...Computer
Science
Logic and
Foundations
of Programming...
”
Read Now
7
Foundations
of data
science
by
Blum, Avrim
,
Hopcroft, John E.
,
Kannan, Ravindran
Published 2020
Cambridge University Press
Subjects:
“
...Computer
science
...
”
Call Number:
QA76
Read Now
8
Unconventional Computation and
Natural
Computation : 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings
Published 2019
Springer International Publishing
Subjects:
“
...Computer
Science
Logic and
Foundations
of Programming...
”
Read Now
9
Unconventional Computation and
Natural
Computation : 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings
Published 2021
Springer International Publishing
Subjects:
“
...Computer
Science
Logic and
Foundations
of Programming...
”
Read Now
10
Unconventional Computation and
Natural
Computation : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings
Published 2017
Springer International Publishing
Subjects:
“
...Computer
Science
Logic and
Foundations
of Programming...
”
Read Now
11
Unconventional Computation and
Natural
Computation : 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings
Published 2018
Springer International Publishing
Subjects:
“
...Computer
Science
Logic and
Foundations
of Programming...
”
Read Now
12
Unconventional Computation and
Natural
Computation : 11th International Conference, UCNC 2012, Orléans, France, September 3-7, 2012, Proceedings
Published 2012
Springer Berlin Heidelberg
Subjects:
“
...Computer
Science
Logic and
Foundations
of Programming...
”
Read Now
13
Unconventional Computation and
Natural
Computation : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
Published 2016
Springer International Publishing
Subjects:
“
...Computer
Science
Logic and
Foundations
of Programming...
”
Read Now
14
Logical
Foundations
of Computer
Science
: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... Countable Scattered Linear Orderings -- The Logic of Proofs as a
Foundation
for Certifying Mobile...
”
Read Now
15
Domain
Science
and Engineering : A Foundation for Software Development
by
Bjørner, Dines
Published 2021
Springer International Publishing
Subjects:
“
...Computer
Science
Logic and
Foundations
of Programming...
”
Read Now
16
Foundations
and Tools for Neural Modeling...
by
Mira, Jose
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...Computer
science
...
”
Read Now
17
Foundations
of Software
Science
and Computation Structures...
Published 2018
Springer International Publishing
Table of Contents:
“
... Separation Logic -- The Equational Theory of the
Natural
Join and of Inner Union is Decidable -- Graphs...
”
Read Now
18
Mathematical
Foundations
of Computer
Science
1992 : 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
... -- Decision problems for cellular automata and their semigroups -- On the
nature
of events -- New parallel...
”
Read Now
19
Mathematical
Foundations
of Computer
Science
2005 : 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
...An Exact 2.9416 n Algorithm for the Three Domatic Number Problem -- D-Width: A More
Natural
Measure...
”
Read Now
20
Mathematical
Foundations
of Computer
Science
1989 : Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
...Constructive aspects of the omega-rule : Application to proof systems in computer
science
...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
005 - Computer programming, programs & data
16
621 - Applied physics
8
500 - Natural sciences & mathematics
6
620 - Engineering & allied operations
3
331 - Labor economics
2
more ...
384 - Communications; telecommunication
2
745 - Decorative arts
2
364 - Criminology
1
see all ...
less ...
Language
English
277
German
1
Collection
Springer eBooks 2005-
198
Springer Book Archives -2004
64
O'Reilly
10
MIT Press eBook Archive
5
Cambridge Books Online
1
Lecture Notes in Computer Science
1
Author
Franco, Leonardo
7
Krzhizhanovskaya, Valeria V.
7
Paszynski, Maciej
7
de Mulatier, Clélia
7
Löwe, Benedikt
5
Voronkov, Andrei
4
more ...
Broy, Manfred
3
Börger, Egon
3
Ferrández, José M.
3
Ioannou, Andri
3
Mira, Jose
3
Nerode, Anil
3
Reis, Rogério
3
Zaphiris, Panayiotis
3
Bekki, Daisuke
2
Bjørner, Dines
2
Blumenthal, Brad
2
Chatterjee, Krishnendu
2
Condon, Anne
2
Davies, Jim
2
Dawar, Anuj
2
Devismes, Stéphane
2
Droste, Manfred
2
Evans, David C.
2
Ferrández Vicente, José Manuel
2
Gornostaev, Juri
2
Harel, David
2
Holloway-Attaway, Lissa
2
Jantzen, Matthias
2
Karhumäki, Juhani
2
Kari, Jarkko
2
Kobayashi, Naoki
2
Kutrib, Martin
2
McCready, Elin
2
Mineshima, Koji
2
Moreira, Nelma
2
Murray, John T.
2
O'Regan, Gerard
2
Pighizzini, Giovanni
2
Rozenberg, Grzegorz
2
Toledo, Fco. Javier
2
Toledo-Moreo, Fco. Javier
2
Unger, Claus
2
Volkov, Mikhail
2
Wing, Jeannette M.
2
Woodcook, Jim
2
Worrell, James
2
de la Paz López, Félix
2
de la Paz, Félix
2
Álvarez, José Ramón
2
Álvarez-Sánchez, José Ramón
2
Aberer, Karl
1
Abramsky, Samson
1
Abramson, David
1
Adamatzky, Andrew
1
Aier, Stephan
1
Akram, Muhammad
1
Al, Geist
1
Alagar, V.S.
1
Alajaji, Fady
1
Allemang, Dean
1
Allen, Matthew
1
Altisen, Karine
1
Alur, Rajeev
1
Alvarez Sanchez, Jose-Ramon
1
Amos, Martyn
1
Anton-Haro, Carles
1
Anutariya, Chutiporn
1
Apt, Krzysztof R.
1
Arbib, M.A.
1
Artemov, Sergei
1
Arvind, V.
1
Ayala-Rincón, Mauricio
1
Baaz, Matthias
1
Baeten, Joseph C.M.
1
Baier, Christel
1
Baker, Erich
1
Bakker, J.W.de
1
Balcazar, Jose L.
1
Baldan, Paolo
1
Banaji, Shakuntala
1
Bandyopadhyay, Sanghamitra
1
Banâtre, Jean-Pierre
1
Barany, Amanda
1
Barnden, Andrew
1
Barry, Chris
1
Bast, Hannah
1
Bauer, Friedrich L.
1
Bechhofer, Sean
1
Beckmann, Arnold
1
Bensalem, Saddek
1
Bentley, Peter
1
Berger, Ulrich
1
Bergman, Lars
1
Bergstra, Jan A.
1
Bertoni, Alberto
1
Beyer, Dirk
1
Bezhanishvili, Nick
1
Blum, Avrim
1
Bogdanov, Alexander V.
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&lookfor=%28%28%28%28national+science%29+OR+%28natural+science%29%29%29+or+%28natural+sciences%29%29+foundation&type=AllFields
Send by Email
×
Loading...