SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

Web Online Public Access Catalog - Use the search options to find documents quickly
Found 56 from your keywords:
Subject : "Machine theory"
You currently on page 2 of 6 page(s)
Query took 4.06786 second(s) to complete
 First Page   Previous   1   2   3   4   5   Next   Last Page 
Applied computation theory
Author(s) : Yeh, Raymond T. -
Edition :
Call Number : 629.891 YEH
Record Detail
A concise introduction to languages and machines
Author(s) : Parkes, Alan P. -
Edition :
Call Number : 511.3 PAR
Record Detail
Formal languages and automate theory
Author(s) : Sunitha, K.V.N. - Kalyani, N. -
Edition :
Call Number : 005.131 SUN
Record Detail
Buchi's monadic second order successor arithmetic
Author(s) : Siefkes, Dirk -
Edition :
Call Number : 511.65 STE
Record Detail
Net theory and applications
Author(s) : Brauer, Wilfried -
Edition :
Call Number : 001.535 NET
Record Detail
Automata, languages and programming
Author(s) : Loeckx, Jacques -
Edition :
Call Number : 005.131 AUT
Record Detail
Automata, languages and programming
Author(s) : Bakker, J. W. de. - Leeuwen, J. van. -
Edition :
Call Number : 005.31 AUT
Record Detail
Mathematical foundations of computer science 1980
Author(s) : Dembinski, P. -
Edition :
Call Number : 511.3 MAT
Record Detail
Mathematical foundations of computer science 1977
Author(s) : Gruska, J. -
Edition :
Call Number : 001.131 MAT
Record Detail
Automata, languages and programming
Author(s) : Even, S. - Kariv, O. -
Edition :
Call Number : 005.131 AUT
Record Detail
 First Page   Previous   1   2   3   4   5   Next   Last Page 




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