Resultados de 1 a 10 de 28 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: 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 |
| 7 |
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 |
| 8 |
Material Type: Artigo
|
|
Rule Systems for Run-time Monitoring: from Eagle to RuleRBarringer, Howard ; Rydeheard, David ; Havelund, KlausJournal of logic and computation, 2010-06, Vol.20 (3), p.675-706 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Modelling evolvable component systems: Part I: A logical frameworkBarringer, H. ; Gabbay, D. ; Rydeheard, D.Logic journal of the IGPL, 2009-12, Vol.17 (6), p.631-696 [Periódico revisado por pares]Texto completo disponível |
| 10 |
Material Type: Artigo
|
|
The Semantic Processing of Continuous Quantities for Discrete Terms in OntologiesWang, Shenghui ; Rydeheard, David ; Pan, Jeff Z.Journal of logic and computation, 2008-06, Vol.18 (3), p.341-359 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
Resultados de 1 a 10 de 28 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
- Livros (10)
- Anais de Congresso (7)
- Artigos (6)
- Book Chapters (5)
-
Mais opções
Assunto
- Computer Science (13)
- Science & Technology (12)
- Technology (9)
- Category Theory (8)
- Mathematics (7)
- Computer Science, Theory & Methods (7)
- Logic, Symbolic And Mathematical (5)
- Congresses (5)
- Computer Science Logic And Foundations Of Programming (5)
- Logics And Meanings Of Programs (5)
- Mathematical Logic (5)
- Electronic Digital Computers (5)
- Categories (5)
- Computer Logic (5)
- Programming (5)
- Logic Design (5)
- Computer Science Logic (5)
- Categorieën (4)
- Teoria Da Computação (4)
- Catégories (4)
- Algebra Of Logic (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 de1987 (7)
- 1987Até1992 (5)
- 1993Até2006 (11)
- 2007Até2010 (5)
- Após 2010 (3)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (14)
- Lecture Notes in Computer Science Archive (through to 1996) (14)
- Science Citation Index Expanded (Web of Science) (9)
- SpringerLink Books Lecture Notes in Computer Science Archive (7)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (7)
- Springer Books Online Archive (7)
- Springer Books (7)
- EBSCOhost Computers and Applied Sciences Complete (4)
- Oxford Journals (3)
- White Rose Research Repository (3)
- IngentaConnect Journals (1)
- Nature Journals Online (1)
- IEEE Electronic Library (IEL) Conference Proceedings (1)
- EZB Free E-Journals (1)
- Journals@Ovid Complete (1)
- Academic OneFile (1)
- ACM Digital Library Complete (1)
- EBSCOhost Business Source Complete (1)
- EBSCOhost Academic Search Premier (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 