Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Time-Dependent Error-Detection Rate Model for Software Reliability and Other Performance MeasuresGoel, Amrit L. ; Okumoto, KazuIEEE transactions on reliability, , Vol.R-28 (3), p.206-211 [Periódico revisado por pares]IEEETexto completo disponível |
2 |
Material Type: Livro
|
![]() |
Theoretical Computer Science: 5th GI-Conference Karlsruhe, March 23–25, 1981Deussen, PeterBerlin, Heidelberg: Springer Berlin Heidelberg 1981Texto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Performance Analysis Using Stochastic Petri NetsMolloyIEEE transactions on computers, , Vol.C-31 (9), p.913-917 [Periódico revisado por pares]IEEETexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Hints on Test Data Selection: Help for the Practicing ProgrammerDeMillo, R.A. ; Lipton, R.J. ; Sayward, F.G.Computer (Long Beach, Calif.), 1978-04, Vol.11 (4), p.34-41 [Periódico revisado por pares]IEEETexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Efficient Algorithms for Shortest Paths in Sparse NetworksJohnson, Donald BJournal of the ACM, 1977-01, Vol.24 (1), p.1-13 [Periódico revisado por pares]Texto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Application of Fuzzy Logic to Approximate Reasoning Using Linguistic SynthesisMamdaniIEEE transactions on computers, , Vol.C-26 (12), p.1182-1191 [Periódico revisado por pares]IEEETexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
A Transformation System for Developing Recursive ProgramsBurstall, R M ; Darlington, JohnJournal of the ACM, 1977-01, Vol.24 (1), p.44-67 [Periódico revisado por pares]Texto completo disponível |
8 |
Material Type: Artigo
|
![]() |
P-Complete Approximation ProblemsSahni, Sartaj ; Gonzalez, TeofiloJournal of the ACM, 1976-07, Vol.23 (3), p.555-565 [Periódico revisado por pares]Texto completo disponível |
9 |
Material Type: Artigo
|
![]() |
A Space-Economical Suffix Tree Construction AlgorithmMcCreight, Edward MJournal of the ACM, 1976-04, Vol.23 (2), p.262-272 [Periódico revisado por pares]Texto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Numerical Inversion of Laplace Transforms Using a Fourier Series ApproximationCrump, Kenny SJournal of the ACM, 1976-01, Vol.23 (1), p.89-96 [Periódico revisado por pares]Texto completo disponível |