Resultados de 11 a 20 de 328 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
tipo de recurso:
magazinearticle
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 11 |
Material Type: magazinearticle
|
|
Concurrency annotations for reusable softwareLohr, Klaus-PeterCommunications of the ACM, 1993-09, Vol.36 (9), p.81-89New York: Association for Computing Machinery, IncTexto completo disponível |
| 12 |
Material Type: magazinearticle
|
|
Introducing concurrency to a sequential languageKaraorman, Murat ; Bruno, JohnCommunications of the ACM, 1993-09, Vol.36 (9), p.103-115New York: Association for Computing Machinery, IncTexto completo disponível |
| 13 |
Material Type: magazinearticle
|
|
Co-Developing Programs and Their Proof of CorrectnessChapman, Roderick ; Dross, Claire ; Matthews, Stuart ; Moy, YannickCommunications of the ACM, 2024-03, Vol.67 (3), p.84-94New York, NY, USA: ACMTexto completo disponível |
| 14 |
Material Type: magazinearticle
|
|
The DOWL distributed object-oriented languageAchauer, BrunoCommunications of the ACM, 1993-09, Vol.36 (9), p.48-55New York: Association for Computing Machinery, IncTexto completo disponível |
| 15 |
Material Type: magazinearticle
|
|
Specification and Verification: The Spec# ExperienceBARNETT, Mike ; FÄHNDRICH, Manuel ; LEINO, K. Rustan M ; MÜLLER, Peter ; SCHULTE, Wolfram ; VENTER, HermanCommunications of the ACM, 2011-06, Vol.54 (6), p.81-91New York, NY: Association for Computing MachineryTexto completo disponível |
| 16 |
Material Type: magazinearticle
|
|
DOCASE: a methodic approach to distributed programmingMühlhäuser, Max ; Gerteis, Wolfgang ; Heuser, LutzCommunications of the ACM, 1993-09, Vol.36 (9), p.127-138New York: Association for Computing Machinery, IncTexto completo disponível |
| 17 |
Material Type: magazinearticle
|
|
COOL: system support for distributed programmingLea, Rodger ; Jacquemot, Christian ; Pillevesse, EricCommunications of the ACM, 1993-09, Vol.36 (9), p.37-46New York: Association for Computing Machinery, IncTexto completo disponível |
| 18 |
Material Type: magazinearticle
|
|
The ObjectStore database systemLAMB, C ; LANDIS, G ; ORENSTEIN, J ; WEINRED, DCommunications of the ACM, 1991-10, Vol.34 (10), p.50-63New York, NY: Association for Computing MachineryTexto completo disponível |
| 19 |
Material Type: magazinearticle
|
|
From object-oriented to goal-oriented requirements analysisMylopoulos, John ; Chung, Lawrence ; Yu, EricCommunications of the ACM, 1999-01, Vol.42 (1), p.31-37New York: Association for Computing Machinery, IncTexto completo disponível |
| 20 |
Material Type: magazinearticle
|
|
OBJECT BEHAVIOR ANALYSISRUBIN, KS ; GOLDBERG, ACommunications of the ACM, 1992-09, Vol.35 (9), p.48-62NEW YORK: Assoc Computing MachineryTexto completo disponível |
Resultados de 11 a 20 de 328 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Object Oriented Programming (299)
- Science & Technology (295)
- Technology (294)
- Computer Science (282)
- Computer Science, Software Engineering (257)
- Software (157)
- Computer Science, Hardware & Architecture (151)
- Computer Science, Theory & Methods (143)
- Programming Languages (87)
- Design (56)
- Object-Oriented Programming (49)
- Computer Programming (48)
- Systems Development (44)
- Java (44)
- Exact Sciences And Technology (43)
- Applied Sciences (42)
- Engineering (41)
- Systems Design (40)
- Interfaces (39)
- Methods (38)
-
Mais opções
Data de Publicação
- Antes de1991 (8)
- 1991Até1996 (135)
- 1997Até2002 (138)
- 2003Até2009 (34)
- Após 2009 (14)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (291)
- Gale Academic OneFile Select (229)
- EBSCOhost Business Source Complete (191)
- Computers & Applied Sciences Complete (178)
- ACM Digital Library Complete (157)
- Publisher website (126)
- Materials Business File (120)
- Materials Research Database (120)
- ANTE: Abstracts in New Technology & Engineering (34)
- IEEE Electronic Library (IEL) Journals (23)
- EBSCO_Academic Search Premier (20)
- EZB Electronic Journals Library (13)
- Aerospace Database (5)
- METADEX (3)
- EBSCOhost Library, Information Science & Technology Abstracts with full text(LISTA) (2)
- ASME Transactions Journals (Current) (2)
- Jstor Complete Legacy (2)
- Engineered Materials Abstracts (1)
- Wiley Online Library - AutoHoldings Journals (1)
- Aluminium Industry Abstracts (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 