Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Categorical logic and type theoryBart JacobsAmsterdam New York Elsevier Science 2001Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (511.03 J17c ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
|
|
3 |
Material Type: Livro
|
Introduction to Coalgebra: Towards Mathematics of States and ObservationBart JacobsCambridge University Press 2017Acesso online |
|
4 |
Material Type: Livro
|
Foundations of Software Science and Computation StructuresChristof Löding Bart Jacobs Christof LödingSpringer Berlin Heidelberg 2016Acesso online |
|
5 |
Material Type: Livro
|
Formal Methods for Open Object-Based Distributed Systems VBart Rensink, Arend Jacobs Arend RensinkSpringer US 2002Acesso online |
|
6 |
Material Type: Artigo
|
Modifying the Medical Research Council grading system through Rasch analysesEls K. Vanhoutte Catharina G Faber; Sonja I. van Nes; Bart Casper Jacobs; Pieter Antoon van Doorn; Rinske van Koningsveld; David Reid Cornblath; Anneke Jelly van der Kooi; Elisabeth Aviva Cats; Leonard Hendrik van den Berg; Nicolette Claudia Notermans; Willem Lodewijk van der Pol; Mieke Catharina Elisabeth Hermans; Nadine Anna Maria Elisabeth van der Beek; Kenneth Craig Gorson; Marijke Eurelings; Jeroen Engelsman; Hendrik Boot; Ronaldus Jacobus Meijer; Giuseppe Lauria; Alan Tennant; Ingemar S. J Merkies; Amilton Antunes Barreira; PeriNomS Study GroupBrain: a Journal of Neurology Oxford v. 135, pt. 5, p. 1639\20131649, 2012Oxford 2012Localização: FMRP - Fac. Medicina de Ribeirão Preto (pcd 2483646 Estantes Deslizantes )(Acessar) |
|
7 |
Material Type: Livro
|
By the Grace of GodJef Jacobs Bart Veldhoen; Kenny Veldhoen; Barend VerkerkLeiden University Press 2021Acesso online |
|
8 |
Material Type: Livro
|
A guide to demand-driven agricultural research the client-oriented research management approach ; rural service delivery for agricultural developmentWillem Heemskerk; Jacob Kampem; Ninatubu Lema; Doré Guindo; Chira Shouten; Zainab Semgalawe; Hugo Verkuijl; Bart de Steenhuijsen Piters; Petra Pennikhoff; Institut D'economie Rurale, Mali; Department of Research and Development, TanzaniaAmsterdam Royal Tropical Institute, KIT Publishers 2003Localização: ESALQ - Biblioteca LES (630.72 H458g 85943 )(Acessar) |
|
9 |
Material Type: Artigo
|
The Mathematics of Changing One’s Mind, via Jeffrey’s or via Pearl’s Update RuleJacobs, BartThe Journal of artificial intelligence research, 2019-01, Vol.65, p.783-806 [Periódico revisado por pares]San Francisco: AI Access FoundationTexto completo disponível |
|
10 |
Material Type: Livro
|
Introduction to Coalgebra: Towards Mathematics of States and ObservationJacobs, BartCambridge: Cambridge University Press 2016Sem texto completo |