Resultados de 1 a 10 de 45 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
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Category Theory and Computer SciencePitt P. T Johnstone; David H Pitt; David E RydeheardSpringer Berlin Heidelberg 1995Acesso online |
| 2 |
Material Type: Livro
|
|
Category theory and computer science proceedingsWorkshop on Category Theory and Computer Science (1987 : Edinburgh, UK) David H Pitt; Axel Poigne; David E RydeheardBerlin Springer 1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.283 ex.1 ) e outros locais(Acessar) |
| 3 |
Material Type: Livro
|
|
Category theory and computer science proceedingsWorkshop on Category Theory and Computer Science (6. : 1995 : Cambridge, UK) David H Pitt; David E Rydeheard; Peter T JohnstoneBerlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.953 e.1 ) e outros locais(Acessar) |
| 4 |
Material Type: Livro
|
|
Category theory and computer science proceedingsWorkshop on Category Theory and Computer Programming (4. : 1991 : Paris, FR) David H Pitt; A. M Pitts (Andrew M.); David E Rydeheard; Axel Poigne; Samson Abramsky 1953-; Pierre -Louis CurienBerlin Springer 1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.530 e.1 ) e outros locais(Acessar) |
| 5 |
Material Type: Livro
|
|
Category theory and computer science proceedingsWorkshop on Category Theory and Computer Science (3. : 1989 : Manchester, UK) David H Pitt; Peter Dybjer; A. M Pitts (Andrew M.); Axel Poigne; David E RydeheardBerlin Springer 1989Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.389 ex.1 ) e outros locais(Acessar) |
| 6 |
Material Type: Ata de Congresso
|
|
Quantified Event Automata: Towards Expressive and Efficient Runtime MonitorsBarringer, Howard ; Falcone, Yliès ; Havelund, Klaus ; Reger, Giles ; Rydeheard, DavidFM 2012: Formal Methods, 2012, Vol.7436, p.68-84 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 7 |
Material Type: Livro
|
|
Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 ProceedingsPitt, David ; Rydeheard, David E ; Johnstone, Peter Rydeheard, David E. ; Johnstone, Peter ; Pitt, DavidBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Category Theory and Computer Science: Paris, France, September 3–6, 1991 ProceedingsPitt, David H ; Curien, Pierre-Louis ; Abramsky, Samson ; Pitts, Andrew M ; Poigné, Axel ; Rydeheard, David E Curien, Pierre-Louis ; Pitt, David H. ; Poigné, Axel ; Abramsky, Samson ; Pitts, Andrew M. ; Rydeheard, David E.Berlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
| 9 |
Material Type: Artigo
|
|
A bi-intuitionistic modal logic: Foundations and automationStell, John G. ; Schmidt, Renate A. ; Rydeheard, DavidJournal of logical and algebraic methods in programming, 2016-06, Vol.85 (4), p.500-519 [Periódico revisado por pares]Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 ProceedingsPitt, David H ; Poigné, Axel ; Rydeheard, David E Poigné, Axel ; Rydeheard, David E. ; Pitt, David H.Berlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
Resultados de 1 a 10 de 45 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
Refinar Meus Resultados
Tipo de Recurso
- Anais de Congresso (13)
- Artigos (13)
- Livros (10)
- Book Chapters (7)
- Dissertações (2)
-
Mais opções
Assunto
- Computer Science (22)
- Science & Technology (18)
- Technology (16)
- Computer Science, Theory & Methods (13)
- Mathematics (7)
- Computer Science, Software Engineering (6)
- Programming (6)
- Category Theory (6)
- Logic, Symbolic And Mathematical (5)
- Congresses (5)
- Computer Science Logic And Foundations Of Programming (5)
- Logics And Meanings Of Programs (5)
- Runtime Verification (5)
- Mathematical Logic (5)
- Electronic Digital Computers (5)
- Categories (5)
- Computer Logic (5)
- Logic (5)
- Logic Design (5)
- Computer Science Logic (5)
- Teoria Da Computação (4)
- Ciência Da Computação (1)
-
Mais opções
Autor/Criador
- Pitt, D (5)
- Rydeheard, D (5)
- Poigne, A (3)
- Workshop on Category Theory and Computer Science (3)
- Johnstone, P (2)
- Pitts, A (2)
- Curien, P (1)
- Dybjer, P (1)
- Pitt (1)
- Workshop on Category Theory and Computer Programming (1)
- Abramsky, S (1)
-
Mais opções
Data de Publicação
- Antes de1989 (6)
- 1989Até1994 (5)
- 1995Até2006 (11)
- 2007Até2012 (14)
- Após 2012 (13)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (21)
- Lecture Notes in Computer Science Archive (through to 1996) (19)
- EBSCOhost Computers and Applied Sciences Complete (8)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (8)
- Springer Books (8)
- Science Citation Index Expanded (Web of Science) (7)
- SpringerLink Books Lecture Notes in Computer Science Archive (6)
- Springer Books Online Archive (6)
- Manchester University Research Explorer (5)
- Oxford Journals (5)
- ACM Digital Library Complete (5)
- Oxford University Press Journals Current (5)
- SpringerNature Journals (3)
- EBSCOhost Business Source Complete (3)
- IEEE Electronic Library (IEL) Conference Proceedings (2)
- EZB Electronic Journals Library (2)
- NASA Technical Reports Server (1)
- Springer Nature - Springer Journals All 2022 (1)
- Academic Search Premier (EB_SDU_P3) (1)
- SpringerOpen (1)
-
Mais opções
Nome da Publicação
- Formal Aspects Of Computing (2)
- Logic Journal Of The Igpl (2)
- Journal Of Logic And Computation (2)
- Mathematical Structures In Computer Science (1)
- Fundamenta Informaticae (1)
- International Journal On Software Tools For Technology Transfer (1)
- Journal Of Logical And Algebraic Methods In Programming (1)
- Language, Culture, Computation. Computing - Theory And Technology (1)
- Lecture Notes In Computer Science (1)
- Acm Sigsoft Software Engineering Notes (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 