Resultados de 1 a 10 de 7.791 para Busca Geral
Mostrar Somente
- Revistas revisadas por pares (3.657)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: magazinearticle
|
|
Trespass, nuisance, and spam: 11th century common law meets the internetAALBERTS, Robert J ; POON, Percy S ; THISTLE, Paul DCommunications of the ACM, 2007-12, Vol.50 (12), p.40-45New York, NY: Association for Computing MachineryTexto completo disponível |
| 2 |
Material Type: magazinearticle
|
|
Quantum MoneyAARONSON, Scott ; FARHI, Edward ; GOSSET, David ; HASSIDIM, Avinatan ; KELNER, Jonathan ; LUTOMIRSKI, AndrewCommunications of the ACM, 2012-08, Vol.55 (8), p.84-92New York, NY: Association for Computing MachineryTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Aurora: a new model and architecture for data stream managementABADI, Daniel J ; CARNEY, Don ; CETINTEMEL, Ugur ; CHERNIACK, Mitch ; CONVEY, Christian ; SANGDON LEE ; STONEBRAKER, Michael ; TATBUL, Nesime ; ZDONIK, StanThe VLDB journal, 2003-08, Vol.12 (2), p.120-139Heidelberg: SpringerTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Nonclausal deduction in first-order temporal logicABADI, M ; MANNA, ZJournal of the ACM, 1990-04, Vol.37 (2), p.279-317 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Semantics of transactional memory and automatic mutual exclusionAbadi, Martín ; Birrell, Andrew ; Harris, Tim ; Isard, MichaelSIGPLAN notices, 2008-01, Vol.43 (1), p.63-74Texto completo disponível |
| 6 |
Material Type: Artigo
|
|
Semantics of Transactional Memory and Automatic Mutual ExclusionABADI, Martín ; BIRRELL, Andrew ; HARRIS, Tim ; ISARD, MichaelACM transactions on programming languages and systems, 2011, Vol.33 (1), p.1-50 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Analyzing security protocols with secrecy types and logic programsABADI, Martin ; BLANCHET, BrunoJournal of the ACM, 2005, Vol.52 (1), p.102-146 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
Computer-assisted verification of a protocol for certified emailAbadi, Martín ; Blanchet, Bruno Cousot, RadhiaLecture notes in computer science, 2003, p.316-335 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
A calculus for access control in distributed systemsAbadi, Martín ; Burrows, Michael ; Lampson, Butler ; Plotkin, GordonACM transactions on programming languages and systems, 1993-09, Vol.15 (4), p.706-734 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
On subtyping and matchingAbadi, Martín ; Cardelli, LucaACM transactions on programming languages and systems, 1996-07, Vol.18 (4), p.401-423 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
Resultados de 1 a 10 de 7.791 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Revistas revisadas por pares (3.657)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (4.900)
- magazinearticle (1.531)
- Anais de Congresso (1.353)
- Book Chapters (7)
-
Mais opções
Assunto
- Science & Technology (7.720)
- Technology (7.720)
- Applied Sciences (7.564)
- Computer Science; Control Theory; Systems (7.154)
- Software (6.175)
- Computer Science, Software Engineering (5.568)
- Computer Science, Theory & Methods (3.194)
- Computer Science, Hardware & Architecture (3.020)
- Computer Science, Information Systems (2.422)
- Computer Systems And Distributed Systems. User Interface (2.382)
- Memory Organisation. Data Processing (2.088)
- Theoretical Computing (1.372)
- Information Systems. Data Bases (1.347)
- Programming Languages (1.186)
- Studies (1.121)
- Software Engineering (1.095)
- Algorithms (1.021)
- Mathematics (975)
-
Mais opções
Data de Publicação
- Antes de1988 (766)
- 1988Até1993 (999)
- 1994Até1999 (840)
- 2000Até2006 (1.646)
- Após 2006 (3.543)
-
Mais opções
Base de Dados/Biblioteca
- ACM Digital Library Complete (7.791)
- Science Citation Index Expanded (Web of Science) (6.774)
- EBSCOhost Computers and Applied Sciences Complete (4.798)
- Gale Academic OneFile (4.138)
- Business Source Complete (3.721)
- IEEE Electronic Library (IEL) Conference Proceedings (879)
- SpringerLink Journals - AutoHoldings (877)
- Springer Nature - Springer Journals All 2022 (754)
- IngentaConnect Journals (411)
- Journals@Ovid Complete (297)
- SpringerLINK Lecture Notes in Computer Science (2015) (292)
- Springer Nature – Springer Lecture Notes in Computer Science Archive eBooks 1973-1996 (292)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (291)
- Springer Books (291)
- SpringerLink Books Lecture Notes in Computer Science Archive (290)
- Springer Books Online Archive (290)
- EZB Free E-Journals (123)
- Single Journals (34)
- IEEE Electronic Library (IEL) Journals (25)
- Aerospace Database (20)
-
Mais opções
Nome da Publicação
- Communications Of The Acm (1.481)
- Sigplan Notices (1.134)
- Acm Sigplan Notices (968)
- Journal Of The Acm (732)
- Journal Of The Association For Computing Machinery (510)
- Acm Transactions On Programming Languages And Systems (506)
- Acm Transactions On Database Systems (483)
- Acm Transactions On Mathematical Software (417)
- The Vldb Journal (384)
- Acm Computing Surveys (300)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 