Search Results
 
  Search result  Your search for [subject]Electronic digital computers -- Programming -- Congresses returned 4 records.  
 
Sort by:  
 
     
  Book Software engineering.

New York: Academic Press, 1980.

Subject: Electronic digital computers --Programming congresses.

  
     
Relevance: 26.40%
 
     
  Book Formal development of programs and proofs.

Reading, Mass.: Addison-Wesley, 1990.

Subject: Electronic digital computers -- Programming -- Congresses.

  
     
Relevance: 26.40%
 
     
  Book Theory and formal methods : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 _ Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate, England).

London: Springer-Verlag, 1993.

Subject: Electronic digital computers -- Programming -- Congresses.

  
     
Relevance: 26.40%
 
     
  Book Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings _ Biennial Conference on Category Theory and Computer Science (6th : 1995 : Cambridge, England).

Berlin: Springer, 1995.

Subject: Electronic digital computers -- Programming -- Congresses; Categories (Mathematics) -- Congresses.

  
     
Relevance: 25.96%
 
     
 
         
         
Online Catalog
Basic Search
Advanced Search
Browse Subjects
Book Cart
 
         

Text Size:
S  -  M  -  L
Copyright © 2004-2024. Philippine eLib Project
Host: U.P. Diliman University Library