Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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) |
|
2 |
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) |
|
3 |
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) |
|
4 |
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 |
|
5 |
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 |
|
6 |
Material Type: Artigo
|
Listing closed sets of strongly accessible set systems with applications to data miningBoley, Mario ; Horváth, Tamás ; Poigné, Axel ; Wrobel, StefanTheoretical computer science, 2010-01, Vol.411 (3), p.691-700 [Periódico revisado por pares]Oxford: Elsevier B.VTexto completo disponível |
|
7 |
Material Type: Livro
|
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 ProceedingsPitt, 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 1989Texto completo disponível |
|
8 |
Material Type: Artigo
|
BioVeL: a virtual laboratory for data analysis and modelling in biodiversity science and ecologyHardisty, 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, PelinBMC ecology, 2016-10, Vol.16 (1), p.49-49, Article 49 [Periódico revisado por pares]England: BioMed Central LtdTexto completo disponível |
|
9 |
Material Type: Artigo
|
Evaluation of a "Smart" Pedestrian Counting System Based on Echo State NetworksMathews, Emi ; Poigné, AxelEURASIP journal on embedded systems, 2009, Vol.2009 (1), p.352172 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
10 |
Material Type: Livro
|
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 ProceedingsPitt, David ; Abramsky, Samson ; Poigné, Axel ; Rydeheard, David Poigné, Axel ; Pitt, David ; Rydeheard, David ; Abramsky, SamsonBerlin, Heidelberg: Springer Berlin Heidelberg 1986Texto completo disponível |