Skip to main content
Anna Centenary Library
Lists
Public lists
கணினி1
View all
Your cookies
Search history
Clear
Search the Library Catalogue
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Accession No.
Go
Advanced search
Search
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Go
Advanced search
Authority search
Tag cloud
Library
Log in to your account
×
Login:
Password:
Home
Advanced search
Results of search for 'su:"Machine theory"'
Refine your search
Availability
Limit to records with available items
Authors
Allouche, Jean-Paul
Anderson, James A
Berstel, Jean
Carbone, Alessandra
Chaitin, Gregory J
Chaitin, Gregory. J
Frey, Gerhard
Head, Thomas J
Jha, Niraj K
Kohavi, Zhi
Kohavi, Zvi
Kuroki, Nobuaki
Martin, John C
Milner, R
Rich, Elaine
Rozenberg, Grzegorz
Semmes, Stephen
Shallit, Jeffrey Out...
Tremblay, Jean-Paul
Xavier, S. P. Eugene
Show more
Show less
Item types
English Books
Reference
Locations
3RD FLOOR, A WING
Topics
Algebra, Abstract
Automata theory
Automatentheorie
Communication - Netw...
Computable functions
Computational comple...
Computer software - ...
Electronic data proc...
Formal languages
Graph theory
Group theory
LISP (Computer progr...
Machine theory
Mathematics, Electro...
Nets (Mathematics)
Semigroups
Sequential machine t...
Stochastic processes
Switching theory
Telecommunication sy...
Show more
Show less
Your search returned 47 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
[ New list ]
Results
1.
Meta maths the quest for omega
Gregory J Chaitin
by
Chaitin, Gregory. J
Publication details:
London
Atlantic Press
2005
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
519.23 CHA
.
2.
Modeling software with finite state machines : a practical approach
Ferdinand Wagner ... [et al.]
by
Wagner, Ferdinand
Publication details:
Boca Raton, FL
Auerbach
2006
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.1 WAG
.
3.
Modelling, state observation, and diagnosis of quantised systems
Jochen Schröder
by
Schröder, Jochen
Publication details:
Berlin
Springer
2003
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
003 SCH
.
4.
The unknowable
by Gregory J. Chaitin
by
Chaitin, Gregory J
Publication details:
Berlin
Springer
c1999
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.3 CHA
.
5.
Theory of automata, formal languages and computation
S.P. Eugene Xavier
by
Xavier, S. P. Eugene
Edition:
1st ed
Publication details:
New Delhi
New Age international ( P) Limited, Publishers
2004
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.35 XAV
.
6.
Theory of automata, formal languages and computation : strictly as per U.P. Tech. syllabus
S.P. Eugene Xavier
by
Xavier, S. P. Eugene
Edition:
1st ed
Publication details:
New Delhi
New Age international ( P) Limited, Publishers
2005
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.35 XAV
.
7.
Codes and automata
Jean Berstel, Dominique Perrin, Christophe Reutenauer
by
Berstel, Jean
Perrin, Dominique
Reutenauer, Christophe
Publication details:
Cambridge
Cambridge University Press
2010
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
003.54 BER
.
8.
Computation and automata
Arto Salomaa
by
Salomaa, Arto
Publication details:
Cambridge
Cambridge University Press
1985
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
510.5 SAL
.
9.
Computation engineering : applied automata theory and logic
Ganesh Gopalakrishnan
by
Gopalakrishnan, Ganesh
Edition:
Springer International ed
Publication details:
New Delhi
Springer (India)
c2006
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
004.0151 GOP
.
10.
Digital logic and state machine design
David J. Comer
by
Comer, David J
Edition:
3rd ed
Publication details:
Ft. Worth
Saunders College Pub
2002
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
62 3815372 COM
.
11.
Discrete mathematical structures with applications to computer science
Jean-Paul Tremblay; R Manohar
by
Tremblay, Jean-Paul
Manohar, R
Publication details:
New Delhi
Tata McGraw-Hill
2010
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
510.240901 TRE
.
12.
Elements of automata theory
Jacques Sakarovitch ; translated by Reuben Thomas
by
Sakarovitch, Jacques
Publication details:
Cambridge
Cambridge University Press
2009
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.35 SAK
.
13.
Elements of the theory of computation
Harry R. Lewis, Christos H. Papadimitriou
by
Lewis, Harry R
Papadimitriou, Christos H
Edition:
2nd ed
Publication details:
New Delhi
PHI Learning Private Limited
c1998
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.3 LEW
.
14.
Exploring randomness
Gregory J. Chaitin
by
Chaitin, Gregory J
Publication details:
Berlin
Springer
c2001
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.3 CHA
.
15.
No cover image available
Feasible computations and provable complexity properties
Juris Hartmanis
by
Hartmanis, Juris
Publication details:
Philadelphia, PA
Society for Industrial and Applied Mathematics
1989
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
519.4 HAR
.
16.
Fuzzy semigroups
John N. Mordeson, Davender S. Malik, Nobuaki Kuroki
by
Mordeson, John N
Kuroki, Nobuaki
Malik, D. S
Publication details:
Berlin
Springer
2003
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
512.2 MOR
.
17.
No cover image available
Graph algebras and automata
Andrei Kelarev
by
Kelarev, A. V
Publication details:
New York
Marcel Dekker
c2003
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
512 KEL
.
18.
Handbook of elliptic and hyperelliptic curve cryptography
[editors], Henri Cohen, Gerhard Frey ; [authors], Roberto Avanzi ... [et al.]
by
Avanzi, Roberto
Cohen, Henri
Frey, Gerhard
Edition:
1st ed
Publication details:
London ; Boca Raton, FL
Chapman & Hall, CRC Press
2006
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
516.352 COH
.
19.
Information and randomness : an algorithmic perspective
Cristian S. Calude ; forewords by Gregory J. Chaitin and Arto Salomaa
by
Calude, Cristian S
Edition:
2nd ed., rev. and extended
Publication details:
Berlin
Springer
2002
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
616.92 CAL
.
20.
Introducing the theory of computation
Wayne Goddard
by
Goddard, Wayne
Edition:
1st Indian ed
Publication details:
New Delhi
Jones and Bartlett India
2010
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.35 GOD
.
21.
Introduction to languages, machines and logic : computable languages, abstract machines and formal logic
Alan P. Parkes
by
Parkes, Alan
Publication details:
Berlin
Springer
c2002
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.3 PAR
.
22.
JFLAP-an interactive formal languages and automata package
Susan H. Rodger, Thomas W. Finley
by
Rodger, Susan H
Finley, Thomas W
Edition:
1st ed
Publication details:
Sudbury, MA
Jones and Bartlett
c2006
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.3 ROD
.
23.
Lectures on concurrency and Petri nets : advances in Petri nets
Joerg Desel, Wolfgang Reisig, Grzegorz Rozenberg, (editors)
by
Desel, Jörg
Reisig, Wolfgang
Rozenberg, Grzegorz
Publication details:
New York, NY
Springer-Verlag Berlin Heidelberg
2004
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
004.0151 DES
.
24.
Automata theory with modern applications
James A. Anderson ; with contributions by Tom Head
by
Anderson, James A
Head, Thomas J
Publication details:
Cambridge
Cambridge University Press
c2006
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
006.3 AND
.
25.
Automata theory with modern applications
James A. Anderson ; with contributions by Tom Head
by
Anderson, James A
Head, Thomas J
Publication details:
Cambridge
Cambridge University Press
c2006
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
006.3 AND
.
26.
Introduction to automata theory, languages, and computation
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
by
Hopcroft, John E
Motwani, Rajeev
Ullman, Jeffrey D
Edition:
3rd ed
Publication details:
New Delhi
Dorling Kindersley (India) Pvt Ltd, Pearson Education
2008
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.35 HOP
.
27.
Introduction to languages and the theory of computation
John C. Martin
by
Martin, John C
Edition:
4th ed
Publication details:
New York
[publisher not identified]
©2011
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.35 MAR
.
28.
Introduction to languages and the theory of computation
John C. Martin
by
Martin, John C
Edition:
3rd ed
Publication details:
Boston
McGraw-Hill
c2003
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.3 MAR
.
29.
Switching and finite automata theory
Zhi Kohavi
by
Kohavi, Zhi
Edition:
2nd ed
Publication details:
New Delhi
Tata McGraw Hill Education
1978
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.35 KOH
.
30.
Switching and finite automata theory
Zvi Kohavi, Niraj K. Jha
by
Kohavi, Zvi
Jha, Niraj K
Edition:
3rd ed
Publication details:
Cambridge
Cambridge University Press
2010
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.35 KOH
.
31.
The space and motion of communicating agents
Robin Milner
by
Milner, R
Edition:
1st ed
Publication details:
Cambridge
Cambridge University Press
2009
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
514.223 MIL
.
32.
The space and motion of communicating agents
Robin Milner
by
Milner, R
Edition:
1st ed
Publication details:
Cambridge
Cambridge University Press
2009
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
514.223 MIL
.
33.
A graphic apology for symmetry and implicitness
Alessandra Carbone and Stephen Semmes
by
Carbone, Alessandra
Semmes, Stephen
Edition:
1st ed
Publication details:
Oxford
Oxford University Press
2000
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.3 CAR
.
34.
A graphic apology for symmetry and implicitness
Alessandra Carbone and Stephen Semmes
by
Carbone, Alessandra
Semmes, Stephen
Edition:
1st ed
Publication details:
Oxford
Oxford University Press
2000
Availability:
No items available.
35.
A second course in formal languages and automata theory
Jeffrey Shallit
by
Shallit, Jeffrey Outlaw
Publication details:
Cambridge
Cambridge Univeristy Press
2009
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 SHA
.
36.
Algebraic theory of automata networks : an introduction
Pál Dömösi and Chrystopher L. Nehaniv
by
Dömösi, Pál
Nehaniv, Chrystopher L
Publication details:
Philadelphia
Society for Industrial and Applied Mathematics
c2005
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
004.6 DOM
.
37.
Algorithmic information theory
Gregory J. Chaitin
by
Chaitin, Gregory J
Edition:
1st ed
Publication details:
Cambridge
Cambridge Univeristy Press
c2004
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.1 CHA
.
38.
An introduction to formal languages and automata
Peter Linz
by
Linz, Peter
Edition:
4th ed
Publication details:
Sudbury, MA
Jones and Bartlett Publishers
c2006
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 LIN
.
39.
Automata, computability and complexity : theory and applications
Elaine Rich
by
Rich, Elaine
Publication details:
Upper Saddle River, NJ
Pearson Prentice Hall
c2008
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.3 RIC
.
40.
Automatic sequences : theory, applications, generalizations
Jean-Paul Allouche, Jeffrey Shallit
by
Allouche, Jean-Paul
Shallit, Jeffrey Outlaw
Publication details:
Cambridge
Cambridge University Press
2003
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
515.24 ALL
.
41.
Switching and finite automata theory
Zhi Kohavi
by
Kohavi, Zhi
Edition:
2nd ed
Publication details:
New Delhi
Tata McGraw Hill Education
1978
Availability:
No items available.
42.
Switching and finite automata theory
Zvi Kohavi, Niraj K. Jha
by
Kohavi, Zvi
Jha, Niraj K
Edition:
3rd ed
Publication details:
Cambridge
Cambridge University Press
2010
Availability:
No items available.
43.
The space and motion of communicating agents
Robin Milner
by
Milner, R
Edition:
1st ed
Publication details:
Cambridge
Cambridge University Press
2009
Availability:
No items available.
44.
The space and motion of communicating agents
Robin Milner
by
Milner, R
Edition:
1st ed
Publication details:
Cambridge
Cambridge University Press
2009
Availability:
No items available.
45.
The space and motion of communicating agents
Robin Milner
by
Milner, R
Edition:
1st ed
Publication details:
Cambridge
Cambridge University Press
2009
Availability:
No items available.
46.
The space and motion of communicating agents
Robin Milner
by
Milner, R
Edition:
1st ed
Publication details:
Cambridge
Cambridge University Press
2009
Availability:
No items available.
47.
Beginning Azure Iot Edge Computing: Extending the Cloud to the Intelligent Edge
/David Jensen
by
Jensen, David
Publication details:
Apress,
c2019
Availability:
Items available for loan:
Anna Centenary Library
(2)
Call number:
004.678 JEN, ..
.
Pages
Find us on the map
Powered by
Koha