Resultados de 1 a 10 de 162 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 (158)
- Revistas revisadas por pares (73)
- Disponível na Biblioteca (6)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Logics of ProgramsKozenSpringer Berlin Heidelberg 1982Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
|
| 3 |
Material Type: Livro
|
|
Automata and computabilityDexter Kozen 1951-New York Springer c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68Q15.01 k88ac e.1 ) e outros locais(Acessar) |
| 4 |
Material Type: Livro
|
|
The design and analysis of algorithmsDexter Kozen 1951-New York Springer-Verlag c1992Localização: IME - Inst. Matemática e Estatística (QA758 K88d )(Acessar) |
| 5 |
Material Type: Livro
|
|
Mathematics of Program ConstructionMPC 2004 Dexter Kozen; Carron ShanklandSpringer Berlin / Heidelberg 2004Acesso online |
| 6 |
Material Type: Livro
|
|
Mathematics of program construction 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14 2004 : proceedingsMPC 2004 (2004 (Stirling, Stirling, Scotland) Dexter Kozen 1951Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Livro
|
|
Automata and ComputabilityKozen Dexter C Kozen; Fred B SchneiderSpringer New York 1997Acesso online |
| 8 |
Material Type: Livro
|
|
Dynamic logicDavid Harel 1950- Dexter Kozen 1951-; Jerzy TiurynCambridge, Mass MIT Press 2000Localização: IME - Inst. Matemática e Estatística (QA860 H275d )(Acessar) |
| 9 |
Material Type: Livro
|
|
Logics of programs proceedingsWorkshop on Logic of Programs, Pittsburgh, 1983 Edmund Clarke; Dexter KozenBerlin Springer 1984Localização: IME - Inst. Matemática e Estatística (S L471c v.164 )(Acessar) |
| 10 |
Material Type: Livro
|
|
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983Clarke, Edmund ; Kozen, Dexter Clarke, Edmund ; Kozen, DexterBerlin, Heidelberg: Springer Berlin Heidelberg 1984Texto completo disponível |
Resultados de 1 a 10 de 162 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 (158)
- Revistas revisadas por pares (73)
- Disponível na Biblioteca (6)
Refinar Meus Resultados
Tipo de Recurso
- Anais de Congresso (74)
- Artigos (57)
- Book Chapters (19)
- Livros (12)
-
Mais opções
Assunto
- Science & Technology (119)
- Technology (116)
- Computer Science (114)
- Computer Science, Theory & Methods (98)
- Physical Sciences (41)
- Mathematics (39)
- Exact Sciences And Technology (33)
- Applied Sciences (31)
- Computer Science; Control Theory; Systems (30)
- Theoretical Computing (26)
- Computer Science, Software Engineering (26)
- Logic (25)
- Software (24)
- Software Engineering (20)
- Programming Theory (19)
- Mathematics, Applied (14)
- Automata (13)
- Logic Programming (13)
- Calculus (13)
- Algebra (11)
- Computer Programming (3)
- Computer Algorithms (1)
- Computable Functions (1)
- Computable Functions (1)
- Lógica Simbólica (1)
- Computer Logic (1)
- Math Ematique Discr Ete (1)
- Programmation (Informatique) (1)
- Computer Programming (1)
- Informatique (1)
- Linguagens Formais (1)
- Computadores (1)
- Logique Informatique (1)
- Dynamische Logik (1)
- Semântica De Programação (Congressos) (1)
- Lógica Matemática (1)
- Programmatuurtechniek (1)
- Teoria Dos Autômatos (1)
- Algoritmos E Estruturas De Dados (1)
- M Ethodes Formelles (Informatique) (1)
- Computer Logic (1)
- Formal Methods (Computer Science) (1)
-
Mais opções
Autor/Criador
- Kozen, D (9)
- Kozen (3)
- MPC 2004 (2)
- Schneider, F (1)
- Harel, D (1)
- Clarke, E (1)
- Tiuryn, J (1)
- Shankland, C (1)
- Workshop on Logic of Programs, P (1)
- Logics of Programs Workshop (1)
-
Mais opções
Data de Publicação
- Antes de1986 (18)
- 1986Até1995 (63)
- 1996Até2002 (25)
- 2003Até2013 (38)
- Após 2013 (20)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (64)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (32)
- SpringerLINK Lecture Notes in Computer Science (2015) (31)
- ScienceDirect (29)
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals (26)
- UCL Discovery (11)
- IEEE Electronic Library (IEL) Conference Proceedings (8)
- Single Journals (8)
- American Institute of Physics (AIP) Publications (8)
- ACM Digital Library (6)
- SpringerLink Books Lecture Notes in Computer Science Archive (5)
- Springer Books Online Archive (5)
- Springer Books (5)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (4)
- Computers & Applied Sciences Complete (4)
- JSTOR (3)
- Institute of Physics Open Access Journal Titles (3)
- Institute of Physics IOPscience extra (3)
- IOP Publishing Journals (3)
- EBSCOhost Business Source Complete (3)
-
Mais opções
Nome da Publicação
- Information And Computation (6)
- Theoretical Computer Science (6)
- Journal Of Vacuum Science & Technology. A, Vacuum, Surfaces, And Films (5)
- Journal Of Computer And System Sciences (5)
- Meeting Abstracts (3)
- Applied Physics Letters (3)
- Journal Of Symbolic Computation (2)
- Information And Control (2)
- Acm Transactions On Programming Languages And Systems (1)
- Acm Transactions On Computational Logic (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 