1
by Grogono, Peter
Published 1995
Springer New York
Table of Contents: ...A Turing Keywords -- B Expression Operators -- C Assignment Operators -- D Predefined Functions...

2
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...

3
by Stelly, James W.
Published 2021
No Starch Press

4
Published 2017
Springer International Publishing
... Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers...

5
Published 2022
Springer International Publishing
... and Information Systems, ADBIS 2022, held in Turin, Italy, in September 2022. The 23 full papers presented...

7
Published 2020
Springer International Publishing
...-Focused Software Process Improvement, PROFES 2020, held in Turin, Italy, in November 2020. Due to COVID-19...

8
Published 2021
Springer International Publishing
...-Focused Software Process Improvement, PROFES 2021, held in Turin, Italy, in November 2021. Due to COVID-19...

9
Published 2018
Springer International Publishing
... and Distributed Computing, Euro-Par 2018, held in Turin, Italy, in August 2018. The 57 full papers presented...

10
Published 2012
Springer Berlin Heidelberg
... Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October...

11
Published 2013
Springer Berlin Heidelberg
... for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include...

12
Published 2017
Springer International Publishing
... of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented...

13
Published 2022
Springer International Publishing
... and Information Systems, ADBIS 2022, held in Turin, Italy, in September 2022. The 29 short papers presented were...

14
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...

15
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...

16
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...

17
Published 2011
Springer New York
... of future quantum computers and a possible escape from the Church-Turing thesis to a new computation...

18
by Krithivasan, Kamala
Published 2009
Dorling Kindersley
Table of Contents: ... Automata Pushdown Automata -- Context-Free Grammars -- properties and parsing -- Turing Machine...

19
by Meduna, Alexander
Published 2014
Auerbach Publications
Table of Contents: ... Languages: Syntax Analysis; Chapter 8: Properties of Context-Free Languages; Chapter 9: Turing Machines...

20
by Fernandez, Maribel
Published 2009
Springer London
Table of Contents: ...Traditional Models of Computation -- Automata and Turing Machines -- The Lambda Calculus...