Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book
|
![]() |
Software engineering conceptsR. E. Fairley 1937- (Richard E.)New York McGraw-Hill c1985Available at ICMC - Inst. Ciên. Mat. Computação (68N30.01 F172s e.1 ) and other locations(GetIt) |
2 |
Material Type: Book
|
![]() |
Software engineering with AdaGrady BoochMenlo Park, Calif. Benjamin/Cummings c1983Available at EPBC - Esc. Politécnica-Bib Central (004.43 ADA B644s )(GetIt) |
3 |
Material Type: Book
|
![]() |
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, ProceedingsDegano, Pierpaolo Degano, PierpaoloBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Full text available |
4 |
Material Type: Book
|
![]() |
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, ProceedingsHentenryck, Pascal Van Van Hentenryck, PascalBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Full text available |
5 |
Material Type: Book
|
![]() |
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 ProceedingsDamm, Werner ; Olderog, Ernst -Rüdiger Damm, Werner ; Olderog, Ernst -RüdigerBerlin, Heidelberg: Springer Berlin Heidelberg 2002Full text available |
6 |
Material Type: Book
|
![]() |
UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 ProceedingsJézéquel, Jean-Marc ; Hussmann, Heinrich ; Cook, Stephen Cook, Stephen ; Hussmann, Heinrich ; Jézéquel, Jean-MarcBerlin, Heidelberg: Springer Berlin Heidelberg 2002Full text available |
7 |
Material Type: Book
|
![]() |
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected PapersGeuvers, Herman ; Wiedijk, Freek Geuvers, Herman ; Wiedijk, FreekBerlin, Heidelberg: Springer Berlin Heidelberg 2003Full text available |
8 |
Material Type: Book
|
![]() |
Paradigms of Artificial Intelligence Programming: Case Studies in Common LispNorvig, PeterSan Francisco: Elsevier Science & Technology 1991Full text available |
9 |
Material Type: Book
|
![]() |
Cooperative Interfaces to Information SystemsBolc, Leonard ; Jarke, Matthias Jarke, Matthias ; Bolc, LeonardBerlin, Heidelberg: Springer Berlin / Heidelberg 1986Full text available |
10 |
Material Type: Book
|
![]() |
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, ProceedingsPezze, Mauro Pezzè, MauroBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Full text available |