Resultados de 1 a 10 de 6.493 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (6.477)
- Revistas revisadas por pares (19)
- 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: Revista
|
|
|
| 2 |
Material Type: Artigo
|
|
PrefaceBrookes, Steve ; Main, Michael ; Melton, Austin ; Mislove, MichaelElectronic notes in theoretical computer science, 1995, Vol.1, p.557-558Texto completo disponível |
| 3 |
Material Type: Artigo
|
|
Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda CalculusMaraist, John ; Odersky, Martin ; Turner, David N. ; Wadler, PhilipElectronic notes in theoretical computer science, 1995, Vol.1, p.370-392Elsevier B.VTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Hypergraph Rewriting Using ConformismsMonserrat, M. ; Rosselló, F. ; Torrens, J. ; Valiente, G.Electronic notes in theoretical computer science, 1995, Vol.2, p.207-214Elsevier B.VTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Fixing the Semantics of Some Concurrent Object-Oriented Concepts: Extended AbstractJones, C.B.Electronic notes in theoretical computer science, 1995, Vol.1, p.307-312Elsevier B.VTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Operational Semantics of a Focusing DebuggerBernstein, Karen L. ; Stark, Eugene W.Electronic notes in theoretical computer science, 1995, Vol.1, p.13-31Elsevier B.VTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Solutions of Functorial and Non-Functorial Metric Domain EquationsAlessi, F. ; Baldan, P. ; Bellè, G. ; Rutten, J.J.M.M.Electronic notes in theoretical computer science, 1995, Vol.1, p.1-12Elsevier B.VTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Domain Theory in Learning ProcessesEdalat, A.Electronic notes in theoretical computer science, 1995, Vol.1, p.114-131Elsevier B.VTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Generalizing Coherence Spaces and HypercoherencesLamarche, FrançoisElectronic notes in theoretical computer science, 1995, Vol.1, p.355-369Elsevier B.VTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Model-Checking of Infinite Kripke Structures Defined by Simple Graph GrammarsQuemener, Yves-Marie ; Jéron, ThierryElectronic notes in theoretical computer science, 1995, Vol.2, p.222-229Elsevier B.VTexto completo disponível |
Resultados de 1 a 10 de 6.493 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr 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 (6.477)
- Revistas revisadas por pares (19)
- Disponível na Biblioteca (16)
Assunto
- Computer Science (3.523)
- Technology (3.465)
- Computer Science, Theory & Methods (3.458)
- Science & Technology (3.458)
- Model Checking (172)
- Verification (116)
- Theoretical Computer Science (106)
- General Computer Science (106)
- Formal Methods (81)
- Process Algebra (76)
- Concurrency (72)
- Refinement (70)
- Logic In Computer Science (67)
- Coalgebra (67)
- Abstract Interpretation (66)
- Static Analysis (66)
- Formal Verification (64)
- Maude (56)
- Graph Transformation (55)
- Modal Logic (54)
- Java (40)
- 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 (343)
- 1999Até2003 (1.799)
- 2004Até2008 (2.584)
- 2009Até2014 (1.234)
- Após 2014 (533)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- ScienceDirect (6.472)
- Free E-Journal (出版社公開部分のみ） (6.472)
- ROAD (6.471)
- DOAJ Directory of Open Access Journals (11)
- Opus: University of Bath's Eprints IR (10)
- IngentaConnect Journals (4)
- Emerald Journals (4)
- Lirias (KU Leuven Association) (4)
- Recercat (4)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (2)
- HEAL-Link subscriptions: Lippincott Williams & Wilkins (1)
- Leiden University Repository (1)
- Journals@Ovid Full Text (1)
-
Mais opções
Idioma
- Inglês (6.469)
- Japonês (130)
- Português (24)
- 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)
- 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)
- A&a Practice (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: 