Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
A theory of type polymorphism in programmingMilner, RobinJournal of computer and system sciences, 1978-01, Vol.17 (3), p.348-375 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithmsBooth, Kellogg S. ; Lueker, George S.Journal of computer and system sciences, 1976-12, Vol.13 (3), p.335-379 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
3 |
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 |
4 |
Material Type: Artigo
|
![]() |
Algorithms for the Longest Common Subsequence ProblemHirschberg, Daniel S.Journal of the ACM, 1977-10, Vol.24 (4), p.664-675 [Periódico revisado por pares]Texto completo disponível |
5 |
Material Type: Artigo
|
![]() |
A Branch and Bound Algorithm for Feature Subset SelectionNarendra ; FukunagaIEEE transactions on computers, 1977-09, Vol.C-26 (9), p.917-922 [Periódico revisado por pares]IEEETexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
The Complexity of Some Problems on Subsequences and SupersequencesMaier, DavidJournal of the ACM, 1978-04, Vol.25 (2), p.322-336 [Periódico revisado por pares]Texto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Binary Decision DiagramsAkersIEEE transactions on computers, 1978-06, Vol.C-27 (6), p.509-516 [Periódico revisado por pares]IEEETexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
An Algorithm for Subgraph IsomorphismUllmann, J RJournal of the ACM, 1976-01, Vol.23 (1), p.31-42 [Periódico revisado por pares]Texto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Application of Fuzzy Logic to Approximate Reasoning Using Linguistic SynthesisMamdaniIEEE transactions on computers, 1977-12, Vol.C-26 (12), p.1182-1191 [Periódico revisado por pares]IEEETexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
NP-complete scheduling problemsUllman, J.D.Journal of computer and system sciences, 1975-01, Vol.10 (3), p.384-393 [Periódico revisado por pares]Elsevier IncTexto completo disponível |