Your search returned 3 results.

Not what you expected? Check for suggestions
BOOKS
Automata logics and infinite games: guide to current research

by Gradel, Erich | Thomas, Wolgang | Wilke, Thomas Eds.

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

E-BOOKS
Automata Logics, and Infinite Games [electronic resource] : A Guide to Current Research / edited by Erich Grädel, Wolfgang Thomas, Thomas Wilke.

by Grädel, Erich [editor.] | Thomas, Wolfgang [editor.] | Wilke, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2500Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

BOOKS
Logic and Automata History and Perspectives

by Flum, Jorg | Gradel, Erich Ed | Wilke, Thomas, Ed.

Series: Texts in Logic and Games ; 2Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Amsterdam University Press 2008Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 6813 FLU.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha