Search Results
 
  Search result  Your search for [subject]Computer programming -- Congresses returned 2 records.  
 
Sort by:  
 
     
  Book Proof technology and computation.

Washington, DC: IOS Press, 2006.

Subject: Automatic theorem proving -- Congresses; Computer programming -- Congresses; Computer software -- Development -- Congresses.

  
     
Relevance: 17.01%
 
     
  Book Automata, languages and programming : 21st international colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994 : proceedings.

Berlin: Springer-Verlag, 1994.

Subject: Machine theory -- Congresses; Formal languages -- Congresses; Computer programming -- Congresses.

  
     
Relevance: 15.64%
 
     
 
         
         
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