Resultados 1 - 10 de 22 para Búsqueda General
Mostrar solo
Refinado por:
materia:
Programming Languages
Computer Science, Hardware & Architecture
Computer Programming
Academic OneFile
materia:
Software Engineering
Computer Science, Hardware & Architecture
Computer Programming
Academic OneFile
materia:
Software Engineering
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artículo
|
|
The benefits of relaxing punctualityALUR, R ; FEDER, T ; HENZINGER, T. AJournal of the ACM, 1996, Vol.43 (1), p.116-146 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
| 2 |
Material Type: magazinearticle
|
|
How do Java mutation tools differ?Amalfitano, Domenico ; Paiva, Ana C. R. ; Inquel, Alexis ; Pinto, Luís ; Fasolino, Anna Rita ; Just, RenéCommunications of the ACM, 2022-12, Vol.65 (12), p.74-89New York, NY, USA: ACMTexto completo disponible |
| 3 |
Material Type: Artículo
|
|
Bisimulation can't be tracedBLOOM, B ; ISTRAIL, S ; MEYER, A. RJournal of the ACM, 1995-01, Vol.42 (1), p.232-268 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
| 4 |
Material Type: magazinearticle
|
|
Software as artBond, Gregory WCommunications of the ACM, 2005-08, Vol.48 (8), p.118-124New York: Association for Computing MachineryTexto completo disponible |
| 5 |
Material Type: magazinearticle
|
|
Building objects out of Plato: applying philosophy, symbolism, and analogy to software designGiguette, RayCommunications of the ACM, 2006-10, Vol.49 (10), p.66-71New York: Association for Computing MachineryTexto completo disponible |
| 6 |
Material Type: magazinearticle
|
|
Java Security Architecture RevisitedGong, LiCommunications of the ACM, 2011-11, Vol.54 (11), p.48-52New York, NY: Association for Computing MachineryTexto completo disponible |
| 7 |
Material Type: magazinearticle
|
|
Spreadsheet Data Manipulation Using ExamplesGULWANI, Sumit ; HARRIS, William R ; SINGH, RishabhCommunications of the ACM, 2012-08, Vol.55 (8), p.97-105New York, NY: Association for Computing MachineryTexto completo disponible |
| 8 |
Material Type: magazinearticle
|
|
C in the first course considered harmfulJohnson, L FCommunications of the ACM, 1995-05, Vol.38 (5), p.99-101New York: Association for Computing Machinery, IncTexto completo disponible |
| 9 |
Material Type: magazinearticle
|
|
The Hyperdimensional Tar PitKAMP, Poul-HenningCommunications of the ACM, 2012-03, Vol.55 (3), p.52-53New York, NY: Association for Computing MachineryTexto completo disponible |
| 10 |
Material Type: magazinearticle
|
|
Formal Verification of a Realistic CompilerLEROY, XavierCommunications of the ACM, 2009-07, Vol.52 (7), p.107-115New York, NY: Association for Computing MachineryTexto completo disponible |
Resultados 1 - 10 de 22 para Búsqueda General
Personalizar los resultados
Refine Search Results
Ampliar mis resultados
Mostrar solo
Materia
- Computer Science, Theory & Methods (20)
- Software (15)
- Applied Sciences (12)
- Exact Sciences And Technology (12)
- Computer Science; Control Theory; Systems (12)
- Semantics (8)
- Studies (7)
- Theoretical Computing (6)
- Algorithms (6)
- Mathematical Models (6)
- Computer Science, Information Systems (5)
- Design (4)
-
Más opciones
Fecha de Publicación
- Antes de1995 (3)
- 1995Hasta1996 (5)
- 1997Hasta2005 (2)
- 2006Hasta2011 (4)
- Después de 2011 (9)
-
Más opciones
Base de Datos/Biblioteca
- Gale Academic OneFile (22)
- ACM Digital Library Complete (20)
- EBSCOhost Business Source Complete (20)
- Science Citation Index Expanded (Web of Science) (20)
- EBSCOhost Computers and Applied Sciences Complete (20)
- Springer Nature - Complete Springer Journals (2)
- Springer Nature - Springer Journals All 2022 (2)
- Materials Business File (1)
- Materials Research Database (1)
-
Más opciones
Título revista
Página de Inicio
RSS
Feed
Pol��ticas
Hable con Nosotros-
Realización:
Logos de Redes Sociales: 