Resultados de 1 a 10 de 1.052 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
- Recursos Online (1.001)
- Revistas revisadas por pares (805)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Handling Algebraic EffectsPlotkin, Gordon D ; Pretnar, MatijaLogical methods in computer science, 2013-12, Vol.9, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Forward Analysis for WSTS, Part II: Complete WSTSFinkel, Alain ; Goubault-Larrecq, JeanLogical methods in computer science, 2012-09, Vol.8, Issue 3 (3) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Pebble Games, Proof Complexity, and Time-Space Trade-offsNordstrom, JakobLogical methods in computer science, 2013-09, Vol.9, Issue 3 (3), p.15 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Relating coalgebraic notions of bisimulationStaton, SamLogical methods in computer science, , Vol.7, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
The degree structure of Weihrauch-reducibilityHiguchi, Kojiro ; Pauly, ArnoLogical methods in computer science, 2013-04, Vol.9, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Total RepresentationsSelivanov, VictorLogical methods in computer science, 2013-06, Vol.9, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Well-Pointed CoalgebrasAdámek, Jiří ; Milius, Stefan ; Moss, Lawrence S ; Sousa, LurdesLogical methods in computer science, 2013-08, Vol.9, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Polynomial Path OrdersAvanzini, Martin ; Moser, GeorgLogical methods in computer science, , Vol.9, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Satisfiability Games for Branching-Time LogicsFriedmann, Oliver ; Lange, Martin ; Latte, MarkusLogical methods in computer science, 2013-10, Vol.9, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Adaptable processesBravetti, Mario ; Di Giusto, Cinzia ; Perez, Jorge A ; Zavattaro, GianluigiLogical methods in computer science, 2012-01, Vol.8, Issue 4 (4:13), p.1-71 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
Resultados de 1 a 10 de 1.052 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
- Recursos Online (1.001)
- Revistas revisadas por pares (805)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (800)
- Anais de Congresso (216)
- magazinearticle (14)
- Book Chapters (12)
- Livros (10)
-
Mais opções
Assunto
- Science & Technology (1.007)
- Technology (915)
- Computer Science (742)
- Engineering (494)
- Engineering, Electrical & Electronic (434)
- Exact Sciences And Technology (284)
- Software (274)
- Applied Sciences (249)
- Logic (237)
- Electrical And Electronic Engineering (231)
- Computer Science, Theory & Methods (228)
- Logic Gates (224)
- Computer Science Applications (217)
- Fuzzy Logic (212)
- Artificial Intelligence (206)
- Computer Science, Artificial Intelligence (193)
- Physical Sciences (184)
- Algorithms (153)
- Computer Science, Hardware & Architecture (149)
- Mathematical Models (146)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (746)
- IEEE Electronic Library (IEL) Journals (288)
- ANTE: Abstracts in New Technology & Engineering (217)
- ScienceDirect (Online service) (173)
- Elektronische Zeitschriftenbibliothek - Freely accessible e-journals (164)
- IngentaConnect Journals (136)
- Aerospace Database (87)
- SpringerLink (Online service) (82)
- DOAJ Directory of Open Access Journals (80)
- IEEE Electronic Library (IEL) Conference Proceedings (79)
- Materials Research Database (75)
- ACM Digital Library (74)
- Springer Nature - Springer Journals All 2022 (72)
- Computers & Applied Sciences Complete - EBSCO (72)
- ROAD: Directory of Open Access Scholarly Resources (62)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (61)
- METADEX (59)
- Academic OneFile (57)
- Engineered Materials Abstracts (56)
- J-STAGE Free (56)
-
Mais opções
Idioma
- Chinês (3)
- Alemão (2)
-
Mais opções
Nome da Publicação
- Ieice Transactions On Information And Systems (37)
- Expert Systems With Applications (30)
- Ieee Transactions On Very Large Scale Integration (28)
- Ieee Transactions On Nanotechnology (25)
- Logical Methods In Computer Science (24)
- Ieee Transactions On Electron Devices (21)
- Soft Computing (16)
- Ieice Transactions On Fundamentals Of Electronics, Communications And Computer Sciences (16)
- Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems (12)
- Fuzzy Sets And Systems (12)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 