2 Resultados 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
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ata de Congresso
|
|
Metaverse: a SIP/SIMPLE IP telephony and instant messaging compliant systemSantos, Gelson Dias ; Roesler, ValterACM International Conference Proceeding Series; Vol. 192: Proceedings of the 12th Brazilian symposium on Multimedia and the web; 19-22 Nov. 2006, 2006, p.213-222New York, NY, USA: ACMTexto completo disponível |
| 2 |
Material Type: Ata de Congresso
|
|
A fast SAT solver algorithm best suited to reconfigurable hardwareZuim, Romanelli ; de Sousa, José T. ; Coelho, Claudionor N.Proceedings of the 19th annual symposium on Integrated circuits and systems design, 2006, p.131-136New York, NY, USA: ACMTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Telefonia Ip (1)
- Computing Methodologies -- Artificial Intelligence -- Search Methodologies (1)
- Simple (1)
- Sat (1)
- Normatização (1)
- Applied Computing -- Physical Sciences And Engineering -- Engineering -- Computer-Aided Design (1)
- Mensagens Instantâneas (1)
- Formal Verification (1)
- Sip (1)
- Computing Methodologies -- Artificial Intelligence -- Search Methodologies -- Game Tree Search (1)
- Applied Computing -- Arts And Humanities -- Architecture -- Computer-Aided Design (1)
- Cnf (1)
- Voip (1)
- Computing Methodologies -- Artificial Intelligence -- Search Methodologies -- Discrete Space Search (1)
- Dpll (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 