Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Software architecture: first European workshop, EWSA 2004, St Andrews, UK, May 21-22 2004 : proceedingsOquendo, Flavio ; Warboys, Brian ; Morrison, RonSpringer 1900Texto completo disponível |
2 |
Material Type: Artigo
|
![]() |
A Computing Procedure for Quantification TheoryDavis, Martin ; Putnam, HilaryJournal of the ACM, 1960-07, Vol.7 (3), p.201-215 [Periódico revisado por pares]Texto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Integer Programming Formulation of Traveling Salesman ProblemsMiller, C. E. ; Tucker, A. W. ; Zemlin, R. A.Journal of the ACM, 1960-10, Vol.7 (4), p.326-329 [Periódico revisado por pares]Texto completo disponível |
4 |
Material Type: Artigo
|
![]() |
On Relevance, Probabilistic Indexing and Information RetrievalMaron, M. E. ; Kuhns, J. L.Journal of the ACM, 1960-07, Vol.7 (3), p.216-244 [Periódico revisado por pares]Texto completo disponível |
5 |
Material Type: magazinearticle
|
![]() |
Some thoughts on parallel processingYarbrough, Lynn D.Communications of the ACM, 1960-10, Vol.3 (10), p.539New York, NY, USA: ACMTexto completo disponível |
6 |
Material Type: magazinearticle
|
![]() |
Programming compatibility in a family of closely related digital computersLuebbert, William F.Communications of the ACM, 1960-07, Vol.3 (7), p.420-429New York, NY, USA: ACMTexto completo disponível |
7 |
Material Type: magazinearticle
|
![]() |
Combining ALGOL statement analysis with validity checkingMcIsaac, PaulCommunications of the ACM, 1960-07, Vol.3 (7), p.418-419New York, NY, USA: ACMTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Some Studies in Machine Learning Using the Game of CheckersSamuel, A. L.IBM journal of research and development, 1959-07, Vol.3 (3), p.210-229 [Periódico revisado por pares]Texto completo disponível |
9 |
Material Type: Artigo
|
![]() |
An Automatic Method for Finding the Greatest or Least Value of a FunctionRosenbrock, H. H.Computer journal, 1960-03, Vol.3 (3), p.175-184 [Periódico revisado por pares]Texto completo disponível |
10 |
Material Type: magazinearticle
|
![]() |
Macro instruction extensions of compiler languagesMcIlroy, M. DouglasCommunications of the ACM, 1960-04, Vol.3 (4), p.214-220New York, NY, USA: ACMTexto completo disponível |