Search Results
 
  Search result  Your search for [subject]Computer software -- Development -- Congresses returned 8 records.  
 
Sort by:  
 
     
  Book Software quality and productivity : theory, practice, education and training.

London: Chapman & Hall on behalf of the International Federation for Information Processing, 1995.

Subject: Software productivity -- Congresses; Computer software -- Quality control -- Congresses; Computer software -- Development -- Congresses.

  
     
Relevance: 22.83%
 
     
  Book Proof technology and computation.

Washington, DC: IOS Press, 2006.

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

  
     
Relevance: 20.54%
 
     
  Book TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : M.C. Gaudel, J.-P. Jouannaud, eds. _ Colloquium on Trees in Algebra and Programming (1993 : Orsay, France) Colloquium on Formal Approaches of Software Engineering (1993 : Orsay, France) _ International Joint Conference on Theory and Practice of Software Development (4th : 1993 : Orsay, France).

Berlin: Springer-Verlag, 1993.

Subject: Computer software -- Development -- Congresses.

  
     
Relevance: 18.79%
 
     
  Book Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings.

Berlin: Springer, 1995.

Subject: Computer software -- Development -- Congresses.

  
     
Relevance: 18.79%
 
     
  Book FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings.

Berlin: Springer-Verlag, 1994.

Subject: Computer software -- Development -- Congresses.

  
     
Relevance: 18.79%
 
     
  Book TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings _ Colloquium on Trees in Algebra and Programming (1995 : Aarhus, Denmark) _ Colloquium on Formal Approaches of Software Engineering (1995 : Aarhus, Denmark).

Berlin: Springer-Verlag, 1995.

Subject: Computer software -- Development -- Congresses.

  
     
Relevance: 18.79%
 
     
  Book Object technologies for advanced software : first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings _ International Symposium on Object Technologies for Advanced Software (1993 : Kanazawa-shi, Japan).

Berlin: Springer-Verlag, 1993.

Subject: Object-oriented programming (Computer science) -- Congresses; Computer software -- Development -- Congresses; Object-oriented databases -- Congresses.

  
     
Relevance: 18.38%
 
     
  Book Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers.

Berlin: Springer, 1995.

Subject: System design -- Congresses; Computer software -- Development -- Congresses; Electronic data processing -- Distributed processing -- Congress.

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