Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "machine"
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
41
-
60
of
1,342
Search:
'"machine"'
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
41
Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Published 2016
Springer International Publishing
Subjects:
“
...
Machine
theory...
”
Read Now
42
Larch: Languages and Tools for Formal Specification
by
Guttag, John V.
,
Horning, James J.
Published 1993
Springer New York
Subjects:
“
...
Machine
theory...
”
Read Now
43
Formal Languages and Compilation
by
Crespi Reghizzi, Stefano
,
Breveglieri, Luca
,
Morzenti, Angelo
Published 2013
Springer London
Subjects:
“
...
Machine
theory...
”
Read Now
44
Confluent String Rewriting
by
Jantzen, Matthias
Published 1988
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
45
Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Subjects:
“
...
Machine
theory...
”
Read Now
46
6th Refinement Workshop : Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994
Published 1994
Springer London
Subjects:
“
...
Machine
theory...
”
Read Now
47
Type Systems for Distributed Programs: Components and Sessions
by
Dardha, Ornela
Published 2016
Atlantis Press
Subjects:
“
...
Machine
theory...
”
Read Now
48
6th Conference on Automated Deduction : New York, USA, June 7-9, 1982
Published 1982
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
49
Automata Networks : LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings
Published 1988
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
50
Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
51
Mathematical Foundations of Computer Science 1980 : 9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
52
Using Sophisticated Models in Resolution Theorem Proving
by
Sandford, David M.
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
53
Context-Free Grammars : Covers, Normal Forms, and Parsing
by
Nijholt, A.
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
54
Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
Published 1988
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
55
Automata on Infinite Words : Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
56
Rewriting Techniques and Applications : Dijon, France, May 20-22, 1985
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
57
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 1: Invited Lectures
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
58
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 2: Research Contributions
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
59
An Introduction to Formal Language Theory
by
Moll, Robert N.
,
Arbib, Michael A.
,
Kfoury, A.J.
Published 1988
Springer New York
Subjects:
“
...
Machine
theory...
”
Read Now
60
Enterprise Applications, Markets and Services in the Finance Industry : 10th International Workshop, FinanceCom 2020, Helsinki, Finland, August 18, 2020, Revised Selected Papers
Published 2020
Springer International Publishing
Subjects:
“
...
Machine
learning...
”
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
500 - Natural sciences & mathematics
78
004 - Data processing & computer science
70
331 - Labor economics
42
003 - Systems
26
658 - General management
18
more ...
620 - Engineering & allied operations
9
745 - Decorative arts
7
384 - Communications; telecommunication
6
001 - Knowledge
5
323 - Civil & political rights
4
330 - Economics
4
338 - Production
4
153 - Mental processes & intelligence
3
510 - Mathematics
3
300 - Social sciences
2
364 - Criminology
2
006 - Special computer methods
1
374 - Adult education
1
381 - Commerce
1
see all ...
less ...
Language
English
1,289
German
34
Chinese
13
Japanese
5
Polish
1
Collection
Springer eBooks 2005-
804
Springer Book Archives -2004
285
O'Reilly
251
MIT Press eBook Archive
2
Author
Bowen, Jonathan P.
9
Voronkov, Andrei
9
Li, Keqiu
7
Li, Wei
7
Tari, Zahir
7
Wu, Hongyi
7
more ...
de Queiroz, Ruy
7
Flusser, Jan
6
Margaria, Tiziana
6
Singh, Mayank
6
Steffen, Bernhard
6
Tyagi, Vipin
6
Ölveczky, Peter Csaba
6
Bernardo, Marco
5
Butler, Michael
5
Chollet, François
5
Gulli, Antonio
5
Gupta, P. K.
5
Méry, Dominique
5
Nicosia, Giuseppe
5
Packt Publishing
5
Raschka, Sebastian
5
Rozenberg, Grzegorz
5
Salomaa, Arto
5
Sui, Yuefei
5
Bertino, Elisa
4
Eiter, Thomas
4
Gnesi, Stefania
4
Hanus, Michael
4
Hermenegildo, Manuel
4
Jouannaud, Jean-Pierre
4
La Malfa, Emanuele
4
La Malfa, Gabriele
4
Legay, Axel
4
Liu, Shaoying
4
Liu, Yuxi (Hayden)
4
Liu, Zhiming
4
Merz, Stephan
4
Meta Brains (Firm)
4
Montanari, Ugo
4
Nipkow, Tobias
4
Ojha, Varun
4
Ong, Luke
4
Pogodalla, Sylvain
4
Romanovsky, Alexander
4
Schlechta, Karl
4
Vardanega, Tullio
4
Verburg, Martijn
4
Alla, Sridhar
3
Artemov, Sergei
3
Baslam, Mohamed
3
Bellatreche, Ladjel
3
Berardi, Stefano
3
Bonaccorso, Giuseppe
3
Bonsangue, Marcello M.
3
Broy, Manfred
3
Calvanese, Diego
3
Cavalcanti, Ana
3
Chen, Xiaofeng
3
Comon, Hubert
3
De Nicola, Rocco
3
Debruyne, Christophe
3
Derrick, John
3
Dershowitz, Nachum
3
Dybjer, Peter
3
El Ayachi, Rachid
3
Evans, Benjamin J.
3
Faber, Wolfgang
3
Fakir, Mohamed
3
Fiadeiro, José Luiz
3
Fitting, Melvin
3
Foret, Annie
3
Furia, Carlo A.
3
Gabbay, Dov M.
3
Gargouri, Faiez
3
Giannakopoulou, Dimitra
3
Gibbons, Jeremy
3
Glässer, Uwe
3
Gottlob, Georg
3
Guido, Sarah
3
Hofmann, Martin
3
Johnson, Michael
3
Joshi, Prateek
3
Kahl, Wolfram
3
Ketkar, Nikhil
3
Kobayashi, Naoki
3
Lazy Programmer (Firm)
3
Lecomte, Thierry
3
Levi, Giorgio
3
Libkin, Leonid
3
Lorenzen, Knut
3
Lämmel, Ralf
3
Manning (Firm)
3
Martí-Oliet, Narciso
3
Mayr, Heinrich C.
3
McIver, Annabelle
3
Meinke, Karl
3
Meyer, Bertrand
3
Middeldorp, Aart
3
Morrill, Glyn
3
see all ...
less ...
Recently Uploaded
Last Month
3
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=3&filter%5B%5D=dewey-ones%3A%22005+-+Computer+programming%2C+programs+%26+data%22&lookfor=%22machine%22&type=Subject
Send by Email
×
Loading...