Resultados de 1 a 10 de 9.570 para Busca Geral
Mostrar Somente
- Revistas revisadas por pares (5.410)
Refinado por:
assunto:
Computer Science, Theory & Methods
Computer Science, Hardware & Architecture
assunto:
Software
Computer Science, Hardware & Architecture
assunto:
Software
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Impact of Denial of Service Attacks on Ad Hoc NetworksAad, I. ; Hubaux, J.-P. ; Knightly, E.W.IEEE/ACM transactions on networking, 2008-08, Vol.16 (4), p.791-802 [Periódico revisado por pares]New York: IEEETexto completo disponível |
| 2 |
Material Type: Capítulo de Livro
|
|
A Hazards-Based Correctness Statement for Pipelined CircuitsAagaard, Mark D.Correct Hardware Design and Verification Methods, 2003, p.66-80 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
Relating Multi-step and Single-Step Microprocessor Correctness StatementsAagaard, Mark D. ; Day, Nancy A. ; Lou, MengFormal Methods in Computer-Aided Design, 2002, p.123-141 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 4 |
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 |
| 5 |
Material Type: magazinearticle
|
|
The threat of long-arm jurisdiction to electronic commerceAalberts, Robert J ; Townsend, Anthony M ; Whitman, Michael ECommunications of the ACM, 1998-12, Vol.41 (12), p.15-20New York: Association for Computing MachineryTexto completo disponível |
| 6 |
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 |
| 7 |
Material Type: magazinearticle
|
|
Designing concurrent and distributed control systemsAarsten, Amund ; Brugali, Davide ; Menga, GiuseppeCommunications of the ACM, 1996-10, Vol.39 (10), p.50-58New York: Association for Computing MachineryTexto completo disponível |
| 8 |
Material Type: Capítulo de Livro
|
|
Exploring Potential Benefits of 3D FPGA IntegrationAbabei, Cristinel ; Maidee, Pongstorn ; Bazargan, KiaField Programmable Logic and Application, 2004, p.874-880 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
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 |
| 10 |
Material Type: Artigo
|
|
Secrecy by typing in security protocolsAbadi, MartinJournal of the ACM, 1999-09, Vol.46 (5), p.749-786 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |
Resultados de 1 a 10 de 9.570 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Revistas revisadas por pares (5.410)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (5.326)
- magazinearticle (2.252)
- Anais de Congresso (1.598)
- Book Chapters (394)
-
Mais opções
Assunto
- Exact Sciences And Technology (5.734)
- Applied Sciences (5.710)
- Computer Science; Control Theory; Systems (5.578)
- Computer Science, Software Engineering (4.986)
- Engineering (2.851)
- Engineering, Electrical & Electronic (2.792)
- Computer Systems And Distributed Systems. User Interface (2.253)
- Computer Science, Information Systems (2.233)
- Artificial Intelligence (2.089)
- Algorithms (1.548)
- Computer Networks And Communications (1.532)
- Memory Organisation. Data Processing (1.503)
- Computer Science Applications (1.343)
- Computer Science, Artificial Intelligence (1.328)
-
Mais opções
Data de Publicação
- Antes de1969 (58)
- 1969Até1981 (101)
- 1982Até1994 (1.766)
- 1995Até2008 (4.383)
- Após 2008 (3.278)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (8.610)
- EBSCOhost Computers and Applied Sciences Complete (3.696)
- ACM Digital Library Complete (3.687)
- Gale Academic OneFile (3.121)
- Business Source Complete (2.866)
- IEEE Electronic Library (IEL) Journals (2.019)
- ANTE: Abstracts in New Technology & Engineering (1.742)
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (1.360)
- SpringerLINK Lecture Notes in Computer Science (2015) (1.360)
- Materials Research Database (978)
- Materials Business File (964)
- Aerospace Database (910)
- Engineered Materials Abstracts (879)
- METADEX (878)
- Aluminium Industry Abstracts (868)
- Springer Nature - Springer Journals All 2022 (774)
- Springer Journals (774)
- Academic Search Premier (732)
- Oxford Journals (726)
- Oxford University Press Full Collection 2022 (726)
-
Mais opções
Idioma
- Japonês (2.563)
- Espanhol (6)
- Sueco (1)
-
Mais opções
Nome da Publicação
- Communications Of The Acm (2.139)
- Journal Of The Acm (730)
- Computer Journal (726)
- Ieee Transactions On Neural Networks (666)
- Ieee/acm Transactions On Networking (646)
- Ieee Transaction On Neural Networks And Learning Systems (578)
- The Journal Of Supercomputing (573)
- Ieee (545)
- Ieee Transactions On Neural Networks And Learning Systems (321)
- Performance Evaluation (221)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 