SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

Web Online Public Access Catalog - Use the search options to find documents quickly
Found 5 from your keywords:
Subject : "Sequential Machine Theory"
Query took 1.99005 second(s) to complete
Formal languages and automata theory
Author(s) : Anuradha, K - Vijayalata, Y -
Edition :
Call Number : 511.3 ANU
Record Detail
Applied computation theory
Author(s) : Yeh, Raymond T. -
Edition :
Call Number : 629.891 YEH
Record Detail
Buchi's monadic second order successor arithmetic
Author(s) : Siefkes, Dirk -
Edition :
Call Number : 511.65 STE
Record Detail
Mathematical foundations of computer science
Author(s) : Blikle, A. -
Edition :
Call Number : 519.4 MAT
Record Detail
Currents in the theory of computing
Author(s) : Aho, Alfred V. -
Edition :
Call Number : 001.64 AHO
Record Detail




Select Language

Advanced Search

Title :
Author(s) :
  • SEARCHING...

Subject(s) :
  • SEARCHING...

Call # :
ISBN/ISSN :
GMD : Collection Type : Location :

Developed By

Computer Centre, Q.A.U