Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Clustering Methodologies in Exploratory Data AnalysisDubes, Richard ; Jain, A.K.Advances In Computers, 1980, Vol.19, p.113-228 [Periódico revisado por pares]United States: Elsevier Science & TechnologyTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
The Structure of Parallel AlgorithmsKung, H.T.Advances In Computers, 1980, Vol.19, p.65-112 [Periódico revisado por pares]United States: Elsevier Science & TechnologyTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Propagation Characteristics of Boolean FunctionsPreneel, Bart ; Van Leekwijck, Werner ; Van Linden, Luc ; Govaerts, René ; Vandewalle, Joos Damgård, Ivan BjerreAdvances in Cryptology — EUROCRYPT ’90, p.161-173 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
Linear Inverse and III-Posed ProblemsBertero, M.Advances In Electronics And Electron Physics, 1989, Vol.75, p.1-120United States: Elsevier Science & TechnologyTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
An industrial course in Software Quality AssuranceHunter, R B Ford, Gary A.Software Engineering Education, 1988, p.45-54 [Periódico revisado por pares]New York, NY: Springer New YorkTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
A final coalgebra theoremAczel, Peter ; Mendler, Nax Rydeheard, David E. ; Dybjer, Peter ; Pitt, David H. ; Poigné, Axel ; Pitts, Andrew M.Category Theory and Computer Science, 1989, p.357-365 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
Undergraduate software engineering educationRichardson, William E. Ford, Gary A.Software Engineering Education, 1988, p.121-144 [Periódico revisado por pares]New York, NY: Springer New YorkTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Using partial orders to improve automatic verification methodsGodefroid, Patrice Clarke, Edmund M. ; Kurshan, Robert P.Computer-Aided Verification, 1991, p.176-185 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Software process machines: A framework for future software development environmentsArmenise, Pasquale Ghezzi, C. ; McDermid, J. A.ESEC '89, 1989, p.118-139 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Software engineering as part of an undergraduate computer science programJones, Lawrence G. ; Richardson, William E. Gibbs, Norman E.Software Engineering Education, 1989, p.275-279 [Periódico revisado por pares]New York, NY: Springer New YorkTexto completo disponível |