Your search returned 32 results.

Not what you expected? Check for suggestions
BOOKS
Complex Systems Dynamics Automata Networks (Introduction to-)

by Weisbuch, Gerard.

Series: Santa Fe Institute Studies in the Sciences of Complexity,LN2Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Redwood City ; Addison-Wesley ; 1991Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 50, Shelf No: 2 Call number: 681.3.06 WEI.

BOOKS
Automata Theory Languages and Computation, Introduction to-

by Hopcroft, John E | Motwani, Rajeev | Ullman, Jeffrey D.

Edition: 1st & 2ndMaterial type: Text Text;Language: ; Format: print Publication details: USA ; Addison Wesley ; 1979; 2001Availability: Items available for loan: IMSc Library (4). Location(s): Second Floor, Rack No: 49 Shelf No: 38 Call number: 681.3.06 HOP.

BOOKS
Foundations of Computer Science: 43rd annual IEEE symposium: vancouver, BC, Canada November 2002 proceedings

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; IEEE Computer Society ; 2002Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 4 Call number: 681.3 IEEE.

BOOKS
Introduction to mathematical mechaine theory

by Ginsburg, Seymour.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Addison-wesley publishing company inc ; 1962Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 48 Call number: 681.3 GIN.

BOOKS
Lectures on linear sequential mechines

by Harrison, Michael A.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Academic press ; 1969Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 2 Call number: 681.3 HAR.

BOOKS
Collected Works of J.Richard Buchi

by Buchi, J. Richard | Mac Lane, Saunders, Ed | Siefkes, Dirk, Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 12, Shelf No: 4 Call number: 51(081) BUC.

BOOKS
Finite Transition Systems : Semantics of Communicating Systems

by Arnold, Andre.

Series: Prentice Hall International Series in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Masson ; Prentice-Hall ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 ARN.

BOOKS
Automata and Computability

by Kozen, Dexter C.

Series: Undergraduate Texts in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 42 Call number: 681.3.06 KOZ.

BOOKS
Language of Machines : Introduction to Computability and Formal Languages

by Floyd, Robert W | Beigel, Richard.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Freeman ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 35 Call number: 681.3.06 FLO.

BOOKS
Tree automata and languages (SCSAI - Vol. 10)

by Nivat, Maurice. Ed | Podelski, Andreas. Ed.

Series: Studies in computer science and artificial intelligence ; 10Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Elsevier ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 28 Call number: 681.3.02 NIV.

BOOKS
Unknowable : (SSDMTCS)

by Chaitin, Gregory J.

Series: Springer Series in Discrete Maths. and Theo.Comp.ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:28 Shelf No:43 Call number: 511.3 CHAI.

BOOKS
Classical and Quantum Computation : (GSM 47)

by Kitaev, A Yu | Shen, A H | Vyalyi, M N.

Series: Graduate Studies in Mathematics, Vol. 47Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:39 Shelf No:19 Call number: 530.145 KIT.

BOOKS
Semigroups, algorithms, automata, and languages Coimbra, Portugal, May-July 2001

by Gomes,Gracinda M S | Pin, JEan-Eric | Silva, Pedro V Eds.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: River Edge, NJ ; World Scientific ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 48 Call number: 681.3 GOM.

BOOKS
Word processing in groups

by Epstein, D. B. A.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Jones and Bartlett Publishers ; c1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 8 Call number: 681.326 EPS.

BOOKS
Automata theory and its applications

by Khoussainov, Bakhadyr | Nerode, Anil.

Series: Progress in computer science and applied logic ; v. 21Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkh�user ; c2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 40 Call number: 681.3.06 KHO.

BOOKS
Automata implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers

by Raymond, Darrell | Wood, Derick | Yu, Sheng Eds.

Series: Lecture notes in computer science ; 01260Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS.

BOOKS
Introduction to process algebra

by Fokkink, Wan.

Series: Texts in theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin, New York : ; Springer ; c2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 FOK.

BOOKS
Computability, complexity, and languages fundamentals of theoretical computer science

by Davis, Martin D | Sigal, Ron | Weyuker, Elaine J.

Series: Computer science and scientific computingEdition: 2nd. ed.Material type: Text Text;Language: ; Format: print Publication details: Boston ; Academic Press ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 44 Call number: 681.3 DAV.

BOOKS
Algebraic theory of automata and languages

by Ito, Masami.

Material type: Text Text;Language: ; Format: print Publication details: River Edge, N.J. ; World Scientific ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 5 Call number: 681.3 ITO.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha