Automata and computability

Main Author:	KOZEN
Format:	Book
Published:	New York: Springer, 1997.
Series:	Undergraduate Texts in Computer Science
Subjects:	Machine theory Computable functions

Similar Items

Introduction to the theory of computation
by: Sipser, Michael
Published: (2006)

Introduction to Languages and The Theory of Computation
by: Martin
Published: (2011)

Introduction to Languages and The Theory of Computation
by: Martin
Published: (2004)

Additive cellular automata : theory and applications volume 1
Published: (1997)

The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine
by: Petzold
Published: (2008)

Technology of machine tools
by: KRAR
Published: (1990)

The CNC work book to computer numerical control
by: NANFARA
Published: (1995)

Precision machining technology
Published: (2012)

A course of pure mathematics
by: Hardy, G. H.
Published: (1921)

The Mechanical design process
by: Ullman
Published: (1997)

Electric machines
by: Nagrath
Published: (1997)

Mechanism design volume 1 : analysis and synthesis
by: ERDMAN
Published: (1997)

The Mechanical design process
by: Ullman
Published: (2010)

Generalized theory of electrical machines
by: BIMBHRA

All about machine tools : revised to indian standards
by: GERLING
Published: (1966)

Design of machine elements
by: SPOTTS
Published: (2004)

Electric machines : theory, operation, applications, adjustment and control
by: Hubert
Published: (2002)

Design of machine elements
by: SPOTTS
Published: (1998)

Design of machine elements
by: SPOTTS
Published: (1991)

Electric machines : theory, operation, applications, adjustment and control
by: Hubert
Published: (1991)

Fundamentals of machining and machine tools
by: BOOTHROYD
Published: (1989)

Mechanism design volume 1 : analysis and synthesis
by: ERDMAN
Published: (1991)

Machine learning refined : foundations, algorithms, and applications
by: Watt, Jeremy
Published: (2020)

Programming problems : Advanced algorithms : Advanced algorithms : vol. 2
by: Green
Published: (2012)

Digital logic and state machine design
by: COMER
Published: (1995)

Precalculus : functions modeling change
Published: (1997)

Complex variables : introduction and applications
by: Ablowitz
Published: (2003)

Bioprocesses and biotechnology for functional foods and nutraceuticals
Published: (2004)

Complex variables and applications
by: BROWN
Published: (1996)

A course in arithmetic
by: SERRE
Published: (1973)

Complex variables and applications
by: BROWN
Published: (2004)

SEMANTICS and syntax in lexical functional grammar : the resource logic approach
Published: (1999)

Precalculus : with unit-circle trigonometry
by: COHEN
Published: (1998)

Complex variables with applications
by: WUNSCH
Published: (1994)

Consumers' acceptance of natural and synthetic functional food : Malaysians consumption behaviour towards natural and synthetic functional food
by: Phuah, Kit Teng
Published: (2016)

APPLIED Calculus : for business, social sciences, and life sciences
Published: (1996)

Vector calculus
by: Lovric
Published: (2007)

Number theory with computer applications
by: KUMANDURI
Published: (1998)

Fundamentals of machine elements
by: HAMROCK
Published: (1999)

Machine elements in mechanical design
by: Mott
Published: (2014)