1
|
Material Type: Livro
|
|
Computer operating systems
D. W. Barron 1935- (David William)
London Chapman and Hall 1971
Localização:
FEA - Fac. Econ. Adm. Contab. e Atuária
(510.783 B277c ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Distributed computing
Fred B Chambers; David A Duce; Gillian P Jones
London Orlando Academic Press 1984
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004.75 C355d ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Stepwise refinement of distributed systems models, formalisms, correctness
Workshop on Stepwise Refinement of Distributed Systems, Mook, 1989 J W Bakker
Berlin Springer 1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.430 e.1 ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
Engenharia de software
Roger S Pressman
São Paulo Makron Books 1995
Localização:
EEL - Biotecnologia e Química
(004.4 So55sP 6ed. ) e outros locais(Acessar)
|
5
|
Material Type: Livro
|
|
Software requirements & specifications a lexicon of practice, principles, and prejudices
Michael J. Jackson (Michael James)
New York ACM Press Wokingham, England Reading, Mass. Addison-Wesley Pub. Co. c1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N30.05 J13sr e.1 )(Acessar)
|
6
|
Material Type: Livro
|
|
Office 97 word - excel - powerpoint
Rio de Janeiro Infobook 1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68U40 O32 e.1 )(Acessar)
|
7
|
Material Type: Livro
|
|
Theoretical aspects of computer software 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings
TACS 2001 (2001 Sendai-shi, Miyagi-ken, Japan) Naoki Kobayashi; Benjamin C Pierce
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2215 ) e outros locais(Acessar)
|
8
|
Material Type: Livro
|
|
Object-oriented technology ECOOP 2001 Workshop Reader : ECOOP 2001 workshops, panels, and posters : Budapest, Hungary, June 18-22, 2001 : proceedings
ECOOP 2001 (2001 Budapest, Hungary) Ákos Frohner
Berlin Springer New York c2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2323 ) e outros locais(Acessar)
|
9
|
Material Type: Livro
|
|
Interactive Markov chains and the quest for quantified quality
Holger Hermanns 1967-
Berlin Springer New York c2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2428 )(Acessar)
|
10
|
Material Type: Livro
|
|
Applied semantics international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures
Gilles Barthe 1967-
Berlin Springer New York c2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2395 ) e outros locais(Acessar)
|