SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

Web Online Public Access Catalog - Use the search options to find documents quickly
Found 1067 from your keywords:
Subject : "Programming"
You currently on page 24 of 107 page(s)
Query took 2.23939 second(s) to complete
 First Page   Previous   21   22   23   24   25   Next   Last Page 
The use of formal specification of software
Author(s) : Berg, H.K. - Giloi, W.K. -
Edition :
Call Number : 001.642 USE
Record Detail
Formalization of programming concepts
Author(s) : Diaz, J. - Ramos, I. -
Edition :
Call Number : 001.642 FOR
Record Detail
International symposium on theoretical programming
Author(s) : Ershov, Andrei - Nepomniaschy, Valery A. -
Edition :
Call Number : 001.642 INT
Record Detail
Automata, languages and programming
Author(s) : Bakker, J. W. de. - Leeuwen, J. van. -
Edition :
Call Number : 005.31 AUT
Record Detail
International symposium on programming
Author(s) : Robinet, B. -
Edition :
Call Number : 001.642 INT
Record Detail
Mathematical foundations of computer science 1980
Author(s) : Dembinski, P. -
Edition :
Call Number : 511.3 MAT
Record Detail
Computer programs for spelling correction
Author(s) : Peterson, James L. -
Edition :
Call Number : 001.6425 PET
Record Detail
Integer programming and related areas
Author(s) : Hausmann, Dirk -
Edition :
Call Number : 016.51977 INT
Record Detail
Simple program schemes and formal languages
Author(s) : Engelfriet, Joost -
Edition :
Call Number : 001.6424 ENG
Record Detail
Assignment and matching problems
Author(s) : Burkard, Raine E. - Derigs, Ulrich -
Edition :
Call Number : 001642 BUR
Record Detail
 First Page   Previous   21   22   23   24   25   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