SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES


Quick Search :

Web Online Public Access Catalog - Use the search options to find documents quickly
Found 3 from your keywords:
Subject : "Computer programming - congresses"
Query took 2.11926 second(s) to complete
The use of formal specification of software
Author(s) : Berg, H.K. - Giloi, W.K. -
Edition :
Call Number : 001.642 USE
Formalization of programming concepts
Author(s) : Diaz, J. - Ramos, I. -
Edition :
Call Number : 001.642 FOR
International symposium on theoretical programming
Author(s) : Ershov, Andrei - Nepomniaschy, Valery A. -
Edition :
Call Number : 001.642 INT




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