Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: (turin OR turing)
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
129
Search:
'(turin OR turing)'
,
query time: 0.12s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Programming with
Turing
and Object Oriented
Turing
by
Grogono, Peter
Published 1995
Springer New York
Table of Contents:
“
...A
Turing
Keywords -- B Expression Operators -- C Assignment Operators -- D Predefined Functions...
”
Read Now
2
Der
Turing
Omnibus : Eine Reise durch die Informatik mit 66 Stationen
by
Dewdney, A.K.
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... Röntgenschnitte -- 30 Das Zerlegungsproblem Ein pseudoschneller Algorithmus -- 31
Turing
-Maschinen Die einfachsten...
”
Read Now
3
Racket programming the fun way : from strings to Turing machines
by
Stelly, James W.
Published 2021
No Starch Press
Call Number:
QA76.73.R33
Read Now
4
Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Published 2017
Springer International Publishing
“
... Formal Methods, IFM 2017, held in
Turin
, Italy, in September 2017. The 24 full papers and 4 short papers...
”
Read Now
5
Advances in Databases and Information Systems : 26th European Conference, ADBIS 2022, Turin, Italy, September 5–8, 2022, Proceedings
Published 2022
Springer International Publishing
“
... and Information Systems, ADBIS 2022, held in
Turin
, Italy, in September 2022. The 23 full papers presented...
”
Read Now
6
Security and Privacy in Mobile Information and Communication Systems : First International ICST Conference, MobiSec 2009, Turin, Italy, June 3-5, 2009, Revised Selected Papers
Published 2009
Springer Berlin Heidelberg
Read Now
7
Product-Focused Software Process Improvement : 21st International Conference, PROFES 2020, Turin, Italy, November 25–27, 2020, Proceedings
Published 2020
Springer International Publishing
“
...-Focused Software Process Improvement, PROFES 2020, held in
Turin
, Italy, in November 2020. Due to COVID-19...
”
Read Now
8
Product-Focused Software Process Improvement : 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings
Published 2021
Springer International Publishing
“
...-Focused Software Process Improvement, PROFES 2021, held in
Turin
, Italy, in November 2021. Due to COVID-19...
”
Read Now
9
Euro-Par 2018: Parallel Processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings
Published 2018
Springer International Publishing
“
... and Distributed Computing, Euro-Par 2018, held in
Turin
, Italy, in August 2018. The 57 full papers presented...
”
Read Now
10
Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Published 2012
Springer Berlin Heidelberg
“
... Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in
Turin
, Italy, in October...
”
Read Now
11
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Published 2013
Springer Berlin Heidelberg
“
... for Components and Objects, FMCO 2011, which was held in
Turin
, Italy, in October 2011. Topics covered include...
”
Read Now
12
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on...
Published 2017
Springer International Publishing
“
... of Critical Systems, FMICS-AVoCS 2017, held in
Turin
, Italy, in September 2017. The 14 full papers presented...
”
Read Now
13
New Trends in Database and Information Systems : ADBIS 2022 Short Papers, Doctoral Consortium and Workshops: DOING, K-GALS, MADEISD, MegaData, SWODCH, Turin, Italy, September 5–8,...
Published 2022
Springer International Publishing
“
... and Information Systems, ADBIS 2022, held in
Turin
, Italy, in September 2022. The 29 short papers presented were...
”
Read Now
14
Algorithmentheorie
by
Loeckx, J.
Published 1976
Springer Berlin Heidelberg
Table of Contents:
“
... Grundbegriffe -- 1.1 Algorithmen -- 1.2 Abzählbarkeit -- 1.3 Abzählungen von Worten -- 2: Die
Turing
-Maschine...
”
Read Now
15
A Concise Introduction to Languages and Machines
by
Parkes, Alan P.
Published 2008
Springer London
Table of Contents:
“
... -- Important Features of Regular and Context Free Languages -- Phrase Structure Languages and
Turing
Machines...
”
Read Now
16
Programming-Based Formal Languages and Automata Theory : Design, Implement, Validate, and Prove
by
Morazán, Marco T.
Published 2024
Springer Nature Switzerland
Table of Contents:
“
...-Free Languages -- 14. Deterministic PDAs -- Part IV: Context-Sensitive Languages -- 15.
Turing
Machines...
”
Read Now
17
Computer Science : The Hardware, Software and Heart of It
Published 2011
Springer New York
“
... of future quantum computers and a possible escape from the Church-
Turing
thesis to a new computation...
”
Read Now
18
Introduction to formal languages, automata theory and computation
by
Krithivasan, Kamala
Published 2009
Dorling Kindersley
Table of Contents:
“
... Automata Pushdown Automata -- Context-Free Grammars -- properties and parsing --
Turing
Machine...
”
Call Number:
QA267.3
Read Now
19
Formal Languages and Computation : Models and Their Applications
by
Meduna, Alexander
Published 2014
Auerbach Publications
Table of Contents:
“
... Languages: Syntax Analysis; Chapter 8: Properties of Context-Free Languages; Chapter 9:
Turing
Machines...
”
Call Number:
QA267.3 .M43 2015
Read Now
20
Models of Computation : An Introduction to Computability Theory
by
Fernandez, Maribel
Published 2009
Springer London
Table of Contents:
“
...Traditional Models of Computation -- Automata and
Turing
Machines -- The Lambda Calculus...
”
1
2
3
4
5
6
7
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
003 - Systems
6
004 - Data processing & computer science
3
500 - Natural sciences & mathematics
3
620 - Engineering & allied operations
2
658 - General management
2
more ...
331 - Labor economics
1
332 - Financial economics
1
338 - Production
1
381 - Commerce
1
510 - Mathematics
1
see all ...
less ...
Language
English
119
German
10
Collection
Springer eBooks 2005-
69
Springer Book Archives -2004
46
O'Reilly
12
Elsevier ScienceDirect eBooks
1
MIT Press eBook Archive
1
Author
Damiani, Ferruccio
3
Beckert, Bernhard
2
Bowen, Jonathan P.
2
Cerquitelli, Tania
2
Chiusano, Silvia
2
Hielscher, Michael
2
more ...
Hofmeister, Christine
2
Jedlitschka, Andreas
2
Liu, Zhiming
2
Löwe, Benedikt
2
Miller, Julian F.
2
Morisio, Maurizio
2
Reprintsev, Alex
2
Reussner, Ralf H.
2
Seibel, Peter
2
Stärk, Robert
2
Torchiano, Marco
2
Wagenknecht, Christian
2
Wayner, Peter
2
Wrembel, Robert
2
Zhang, Zili
2
Aho, Alfred V.
1
Aldinucci, Marco
1
Antonopoulos, Andreas M.
1
Aranda-Corral, Gonzalo A.
1
Arbib, Michael A.
1
Ardito, Luca
1
Arge, E.
1
Arnoldus, Jeroen
1
Askarov, Aslan
1
Bakker, J. W. de
1
Banda, Maria Garcia
1
Becker, Heinrich
1
Beckmann, Arnold
1
Beklemishev, Lev D.
1
Benatallah, Boualem
1
Berardi, Stefano
1
Bergmann Tiest, Wouter M.
1
Blazy, Sandrine
1
Blum, Edward K.
1
Bonsangue, Marcello M.
1
Bournez, Olivier
1
Braga, Christiano
1
Bruaset, A.
1
Brunekreef, J.J.
1
Buchwald, Hagen
1
Butler, Michael
1
Börger, Egon
1
Calmet, Jacques
1
Calude, Cristian
1
Cap, Clemens H.
1
Carlet, Claude
1
Case, John
1
Castiglioni, Valentina
1
Cavalcanti, Ana
1
Chaitin, Gregory J.
1
Chang, Shi-Kuo
1
Charatonik, Witold
1
Christianson, Bruce
1
Ciriani, Tito A.
1
Clearwater, Scott H.
1
Coppo, Mario
1
Crispo, Bruno
1
Crnkovic, Ivica
1
Câmpeanu, Cezar
1
Dannen, Chris
1
Dawson-Howe, Kenneth
1
Detyniecki, Marcin
1
Dewar, R.B.K.
1
Dewdney, A.K.
1
Diaz, Josep
1
Dimitracopoulos, Costas
1
Dolev, Shlomi
1
Domingo-Ferrer, Josep
1
Dong, Ying Fei
1
Dorian, Mitchell
1
Du, Ding-Zhu
1
Dubinsky, E.
1
Ensmenger, Nathan
1
Esparcia Alcázar, Anna Isabel
1
Fasano, G.
1
Fernandez, Maribel
1
Fernau, Henning
1
Ferreira, Fernando
1
Ferrer, Josep L.
1
Filiol, Eric
1
Fisher, Bob
1
Fleischmann, Albert
1
Formenti, Enrico
1
Francalanza, Adrian
1
Fraser, Gordon
1
Gamboa, Ruben
1
Gargantini, Angelo
1
Gebala, Maciej
1
Gliozzi, S.
1
Goldwasser, Shafi
1
Gomes, Luís Mendes
1
Gorton, Ian
1
Grogono, Peter
1
Grumberg, Orna
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%22005+-+Computer+programming%2C+programs+%26+data%22&lookfor=%28turin+OR+turing%29&type=AllFields
Send by Email
×
Loading...