Resultados de 1 a 10 de 6.516 para Busca Geral
Mostrar Somente
- Recursos Online (6.500)
- Revistas revisadas por pares (18)
- Disponível na Biblioteca (16)
Refinado por:
Nome da Publicação:
Electronic Notes In Theoretical Computer Science
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Coordinating Aspects and ObjectsAaltonen, Timo ; Helin, Joni ; Katara, Mika ; Kellomäki, Pertti ; Mikkonen, TommiElectronic notes in theoretical computer science, 2003-03, Vol.68 (3), p.248-267Elsevier B.VTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Access Control in a Core Calculus of DependencyAbadi, MartínElectronic notes in theoretical computer science, 2007-04, Vol.172, p.5-31Elsevier B.VTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Secrecy in Programming-Language SemanticsAbadi, MartínElectronic notes in theoretical computer science, 1999, Vol.20, p.80-94Elsevier B.VTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Secure Implementation of Channel Abstractions (Abstract)Abadi, Martín ; Fournet, Cédric ; Gonthier, GeorgesElectronic notes in theoretical computer science, 1998, Vol.10, p.202-203Elsevier B.VTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Layout Randomization and NondeterminismAbadi, Martín ; Planul, Jérémy ; Plotkin, GordonElectronic notes in theoretical computer science, 2013-11, Vol.298, p.29-50Elsevier B.VTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Approximation Metrics Based on Probabilistic Bisimulations for General State-Space Markov Processes: A SurveyAbate, AlessandroElectronic notes in theoretical computer science, 2013-12, Vol.297, p.3-25Elsevier B.VTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
The Tableau WorkbenchAbate, Pietro ; Goré, RajeevElectronic notes in theoretical computer science, 2009-03, Vol.231, p.55-67Elsevier B.VTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
An On-the-fly Tableau-based Decision Procedure for PDL-satisfiabilityAbate, Pietro ; Goré, Rajeev ; Widmann, FlorianElectronic notes in theoretical computer science, 2009-03, Vol.231, p.191-209Elsevier B.VTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
A Domain-Theoretic Model Of Nominally-Typed Object-Oriented ProgrammingAbdelGawad, Moez A.Electronic notes in theoretical computer science, 2014-02, Vol.301, p.3-19Elsevier B.VTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
JACK:: A Java Constraint KitAbdennadher, Slim ; Krämer, Ekkerhard ; Saft, Matthias ; Schmauss, MatthiasElectronic notes in theoretical computer science, 2002-09, Vol.64, p.1-17Elsevier B.VTexto completo disponível |
Resultados de 1 a 10 de 6.516 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (6.500)
- Revistas revisadas por pares (18)
- Disponível na Biblioteca (16)
Assunto
- Computer Science (3.516)
- Technology (3.457)
- Computer Science, Theory & Methods (3.450)
- Science & Technology (3.450)
- Model Checking (172)
- Verification (119)
- Theoretical Computer Science (117)
- General Computer Science (117)
- Formal Methods (81)
- Process Algebra (75)
- Concurrency (72)
- Refinement (71)
- Abstract Interpretation (67)
- Logic In Computer Science (67)
- Coalgebra (65)
- Formal Verification (65)
- Static Analysis (64)
- Simulation (56)
- Maude (56)
- Graph Transformation (55)
- Java (38)
- Teoria Dos Grafos (3)
- Lógica Formal (3)
- Inteligência Artificial (3)
- Programação Matemática (2)
- Ciência Da Computação (1)
- Semântica (1)
- Modelos Matemáticos (1)
- Lógica Modal (1)
- Teoria Dos Conjuntos (1)
- Workshop on Logical and Semantic Frameworks - LSFA (8. 2013 São Paulo, Brazil) (1)
- Modelos De Processo De Software (1)
- Web Semântica (1)
- Computabilidade E Complexidade (1)
- Representação De Conhecimento (1)
- Teoria Dos Autômatos (1)
- Java (1)
- Variedades Complexas (1)
-
Mais opções
Autor/Criador
- Finger, M (6)
- Latin and American Algorithms, G (4)
- Melo, A (3)
- Brazilian Symposium on Formal Methods - SBMF (2)
- Coutinho, G (2)
- Workshop on Logic, L (2)
- Workshop on Logical and Semantic Frameworks (2)
- Fernandes, C (2)
- Monard, M (2)
- Spolaôr, N (2)
- Cherman, E (2)
- Mota, G (1)
- Botler, F (1)
- Brazilian Workshop on Formal Methods - WMF (1)
- Urrutia, S (1)
- Lintzmayer, C (1)
- Tomás, J (1)
- Lee, O (1)
- Lee, H (1)
- Silva, P (1)
-
Mais opções
Data de Publicação
- Antes de1999 (351)
- 1999Até2003 (1.815)
- 2004Até2008 (2.580)
- 2009Até2014 (1.235)
- Após 2014 (535)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- EZB Electronic Journals Library (6.495)
- ScienceDirect - Connect here FIRST to enable access (6.495)
- Directory of Open Access Scholarly Resources (ROAD) (6.494)
- DOAJ Directory of Open Access Journals (11)
- Opus: University of Bath's Eprints IR (10)
- IngentaConnect Journals (4)
- Emerald Management Extra (4)
- Lirias (KU Leuven Association) (4)
- Recercat (4)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (2)
- Leiden University Repository (1)
-
Mais opções
Idioma
- Inglês (6.490)
- Japonês (130)
- Português (26)
- Francês (2)
-
Mais opções
Nome da Publicação
- Proceedings Of The 5th International Conference On Computability And Complexity In Analysis, Cca 2008 (23)
- Electronic Proceedings In Theoretical Computer Science (10)
- Society And Business Review (4)
- Electronical Notes In Theoretical Computer Science (3)
- Coalgebraic Methods In Computer Science (1)
- Arxiv (1)
- 4th International Workshop On Rule-Based Programming (1)
- Coalgebraic Methods In Computer Science Cmcs-2000,2000 (1)
- Calculemus Workshop Of Floc'99 (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 