skip to main content
Results 1 2 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Software engineering concepts
Material Type:
Book
Add to e-Shelf

Software engineering concepts

R. E. Fairley 1937- (Richard E.)

New York McGraw-Hill c1985

Available at ICMC - Inst. Ciên. Mat. Computação    (68N30.01 F172s e.1 ) and other locations(GetIt)

2
Software engineering with Ada
Material Type:
Book
Add to e-Shelf

Software engineering with Ada

Grady Booch

Menlo Park, Calif. Benjamin/Cummings c1983

Available at EPBC - Esc. Politécnica-Bib Central    (004.43 ADA B644s )(GetIt)

3
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Material Type:
Book
Add to e-Shelf

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Degano, Pierpaolo Degano, Pierpaolo

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Full text available

4
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings
Material Type:
Book
Add to e-Shelf

Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings

Hentenryck, Pascal Van Van Hentenryck, Pascal

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Full text available

5
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings
Material Type:
Book
Add to e-Shelf

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Damm, Werner ; Olderog, Ernst -Rüdiger Damm, Werner ; Olderog, Ernst -Rüdiger

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Full text available

6
UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings
Material Type:
Book
Add to e-Shelf

UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings

Jézéquel, Jean-Marc ; Hussmann, Heinrich ; Cook, Stephen Cook, Stephen ; Hussmann, Heinrich ; Jézéquel, Jean-Marc

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Full text available

7
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
Material Type:
Book
Add to e-Shelf

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Geuvers, Herman ; Wiedijk, Freek Geuvers, Herman ; Wiedijk, Freek

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Full text available

8
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
Material Type:
Book
Add to e-Shelf

Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp

Norvig, Peter

San Francisco: Elsevier Science & Technology 1991

Full text available

9
Cooperative Interfaces to Information Systems
Material Type:
Book
Add to e-Shelf

Cooperative Interfaces to Information Systems

Bolc, Leonard ; Jarke, Matthias Jarke, Matthias ; Bolc, Leonard

Berlin, Heidelberg: Springer Berlin / Heidelberg 1986

Full text available

10
Fundamental Approaches to Software Engineering: 6th International Conference, FASE 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Material Type:
Book
Add to e-Shelf

Fundamental Approaches to Software Engineering: 6th International Conference, FASE 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Pezze, Mauro Pezzè, Mauro

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Full text available

Results 1 2 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Author/Creator 

  1. Fairley, R  (1)
  2. Booch, G  (1)
  3. More options open sub menu

Creation Date 

From To
  1. Before1985  (5)
  2. 1985To1991  (6)
  3. 1992To1996  (6)
  4. 1997To2006  (18)
  5. After 2006  (3)
  6. More options open sub menu

Suggested New Searches

Ignore my query and look for everything

by this author/creator:

  1. Fairley, R
  2. Booch, G

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far