Resultados de 1 a 10 de 272 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 (243)
- Revistas revisadas por pares (201)
- Disponível na Biblioteca (5)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
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 |
| 2 |
Material Type: Livro
|
|
Category Theory and Computer SciencePitt P. T Johnstone; David H Pitt; David E RydeheardSpringer Berlin Heidelberg 1995Acesso online |
| 3 |
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 |
| 4 |
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) |
| 5 |
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) |
| 6 |
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 |
| 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
|
|
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 |
| 9 |
Material Type: Resenha
|
|
Pitt, D.; Abramsky, S.; Poigné, A.; Rydeheard, D. (eds.), Category Theory and Computer Programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985, Proceedings. Berlin etc., Springer-Verlag 1986. VII, 519 S., DM 66.-. ISBN 3-540-17162-2 (Lecture Notes in Computer Science 240)Richter, D.ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 1988, Vol.68 (1), p.62-62 [Periódico revisado por pares]Berlin: WILEY-VCH VerlagSem texto completo |
| 10 |
Material Type: Artigo
|
|
A Bi-Intuitionistic Modal Logic: Foundations and AutomationStell, JG ; Schmidt, RA ; Rydeheard, DElsevier 2016-06Texto completo disponível |
Resultados de 1 a 10 de 272 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 (243)
- Revistas revisadas por pares (201)
- Disponível na Biblioteca (5)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (184)
- Anais de Congresso (42)
- Book Chapters (28)
- Livros (12)
- Newsletter Articles (2)
- Verbetes (2)
- Resenhas (1)
- magazinearticle (1)
-
Mais opções
Assunto
- Science & Technology (188)
- Computer Science (179)
- Technology (170)
- Computer Science, Theory & Methods (102)
- Computer Science, Software Engineering (64)
- Mathematics (61)
- Physical Sciences (39)
- Runtime Verification (36)
- Exact Sciences And Technology (35)
- Mathematics, Applied (34)
- Applied Sciences (33)
- Computer Science; Control Theory; Systems (32)
- Software Engineering (31)
- Logic (29)
- Software Engineering/programming And Operating Systems (27)
- Software (26)
- Theoretical Computing (25)
- Monitoring (22)
- Theory Of Computation (22)
- Category Theory (21)
- Teoria Da Computação (5)
- Ciência Da Computação (2)
-
Mais opções
Autor/Criador
- Pitt, D (6)
- Rydeheard, D (5)
- Poigne, A (3)
- Workshop on Category Theory and Computer Science (3)
- Johnstone, P (2)
- Workshop on Category Theory and Computer Programming (2)
- Pitts, A (2)
- Curien, P (1)
- Dybjer, P (1)
- Pitt (1)
- Abramsky, S (1)
-
Mais opções
Data de Publicação
- Antes de1991 (30)
- 1991Até1998 (27)
- 1999Até2006 (49)
- 2007Até2015 (90)
- Após 2015 (81)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (138)
- EZB Free E-Journals (67)
- ScienceDirect - Connect here FIRST to enable access (62)
- Springer Nature - Complete Springer Journals (59)
- Springer Nature - Springer Journals All 2022 (55)
- EBSCOhost Computers and Applied Sciences Complete (49)
- SpringerLINK Lecture Notes in Computer Science (2015) (43)
- Lecture Notes in Computer Science Archive (through to 1996) (41)
- ACM Digital Library Complete (30)
- Journals@Ovid Complete (25)
- Academic OneFile (23)
- ROAD: Directory of Open Access Scholarly Resources (21)
- Cambridge University Press Journals Complete (17)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (13)
- Springer Books (13)
- EBSCOhost Academic Search Premier (12)
- SpringerOpen (11)
- DOAJ Directory of Open Access Journals (11)
- IEEE Electronic Library (IEL) Conference Proceedings (10)
- EBSCOhost Business Source Complete (9)
-
Mais opções
Idioma
- Inglês (271)
- Japonês (15)
- Ndongo (2)
- Português (1)
-
Mais opções
Nome da Publicação
- International Journal On Software Tools For Technology Transfer (16)
- Theoretical Computer Science (13)
- Mathematical Structures In Computer Science (12)
- Electronic Notes In Theoretical Computer Science (11)
- Information And Computation (9)
- Journal Of Symbolic Computation (6)
- Formal Methods In System Design (5)
- Automated Software Engineering (4)
- Formal Aspects Of Computing (3)
- Journal Of Logic And Computation (3)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 