skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Category theory and computer science proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Category theory and computer science proceedings

Workshop on Category Theory and Computer Science (1987 : Edinburgh, UK) David H Pitt; Axel Poigne; David E Rydeheard

Berlin Springer 1987

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.283 ex.1 ) e outros locais(Acessar)

2
Material Type:
Livro
Adicionar ao Meu Espaço

Category theory and computer science proceedings

Workshop 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 Curien

Berlin Springer 1991

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.530 e.1 ) e outros locais(Acessar)

3
Category theory and computer science proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Category theory and computer science proceedings

Workshop on Category Theory and Computer Science (3. : 1989 : Manchester, UK) David H Pitt; Peter Dybjer; A. M Pitts (Andrew M.); Axel Poigne; David E Rydeheard

Berlin Springer 1989

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.389 ex.1 ) e outros locais(Acessar)

4
Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings

Pitt, David H ; Poigné, Axel ; Rydeheard, David E Poigné, Axel ; Rydeheard, David E. ; Pitt, David H.

Berlin, Heidelberg: Springer Berlin Heidelberg 1987

Texto completo disponível

5
Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Pitt, 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 1991

Texto completo disponível

6
Listing closed sets of strongly accessible set systems with applications to data mining
Material Type:
Artigo
Adicionar ao Meu Espaço

Listing closed sets of strongly accessible set systems with applications to data mining

Boley, Mario ; Horváth, Tamás ; Poigné, Axel ; Wrobel, Stefan

Theoretical computer science, 2010-01, Vol.411 (3), p.691-700 [Periódico revisado por pares]

Oxford: Elsevier B.V

Texto completo disponível

7
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

Pitt, David H ; Rydeheard, David E ; Dybjer, Peter ; Pitts, Andrew M ; Poigné, Axel Rydeheard, David E. ; Dybjer, Peter ; Pitt, David H. ; Poigné, Axel ; Pitts, Andrew M. ; Dybjer, Peter ; Pitt, D. H. ; Rydeheard, D.E. ; Poign, A. ; Pitts, A. M.

Berlin, Heidelberg: Springer Berlin Heidelberg 1989

Texto completo disponível

8
BioVeL: a virtual laboratory for data analysis and modelling in biodiversity science and ecology
Material Type:
Artigo
Adicionar ao Meu Espaço

BioVeL: a virtual laboratory for data analysis and modelling in biodiversity science and ecology

Hardisty, Alex R ; Bacall, Finn ; Beard, Niall ; Balcázar-Vargas, Maria-Paula ; Balech, Bachir ; Barcza, Zoltán ; Bourlat, Sarah J ; De Giovanni, Renato ; de Jong, Yde ; De Leo, Francesca ; Dobor, Laura ; Donvito, Giacinto ; Fellows, Donal ; Guerra, Antonio Fernandez ; Ferreira, Nuno ; Fetyukova, Yuliya ; Fosso, Bruno ; Giddy, Jonathan ; Goble, Carole ; Güntsch, Anton ; Haines, Robert ; Ernst, Vera Hernández ; Hettling, Hannes ; Hidy, Dóra ; Horváth, Ferenc ; Ittzés, Dóra ; Ittzés, Péter ; Jones, Andrew ; Kottmann, Renzo ; Kulawik, Robert ; Leidenberger, Sonja ; Lyytikäinen-Saarenmaa, Päivi ; Mathew, Cherian ; Morrison, Norman ; Nenadic, Aleksandra ; de la Hidalga, Abraham Nieva ; Obst, Matthias ; Oostermeijer, Gerard ; Paymal, Elisabeth ; Pesole, Graziano ; Pinto, Salvatore ; Poigné, Axel ; Fernandez, Francisco Quevedo ; Santamaria, Monica ; Saarenmaa, Hannu ; Sipos, Gergely ; Sylla, Karl-Heinz ; Tähtinen, Marko ; Vicario, Saverio ; Vos, Rutger Aldo ; Williams, Alan R ; Yilmaz, Pelin

BMC ecology, 2016-10, Vol.16 (1), p.49-49, Article 49 [Periódico revisado por pares]

England: BioMed Central Ltd

Texto completo disponível

9
Evaluation of a "Smart" Pedestrian Counting System Based on Echo State Networks
Material Type:
Artigo
Adicionar ao Meu Espaço

Evaluation of a "Smart" Pedestrian Counting System Based on Echo State Networks

Mathews, Emi ; Poigné, Axel

EURASIP journal on embedded systems, 2009, Vol.2009 (1), p.352172 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

10
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings

Pitt, David ; Abramsky, Samson ; Poigné, Axel ; Rydeheard, David Poigné, Axel ; Pitt, David ; Rydeheard, David ; Abramsky, Samson

Berlin, Heidelberg: Springer Berlin Heidelberg 1986

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (26)
  2. Artigos  (15)
  3. Anais de Congresso  (9)
  4. Conjunto de Dados  (9)
  5. Livros  (7)
  6. Reports  (3)
  7. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1986  (7)
  2. 1986Até1990  (15)
  3. 1991Até2001  (6)
  4. 2002Até2008  (23)
  5. Após 2008  (17)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (67)
  2. Alemão  (3)
  3. Japonês  (1)
  4. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.