Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Capítulo de Livro
|
Tinnitus features according to caffeine consumptionSchlee, Winfried ; Langguth, Berthold ; Kleinjung, Tobias ; Vanneste, Sven ; De Ridder, DirkProgress in brain research, 2021, Vol.262, p.335-344 [Periódico revisado por pares]The Netherlands: ElsevierTexto completo disponível |
|
12 |
Material Type: Capítulo de Livro
|
Completeness and Incompleteness in Nominal Kleene AlgebraKozen, Dexter ; Mamouras, Konstantinos ; Silva, AlexandraRelational and Algebraic Methods in Computer Science, p.51-66 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
13 |
Material Type: Capítulo de Livro
|
An Interactive Tangram Game for Children with AutismTraum, David ; Swartout, William ; Khooshabeh, Peter ; Kopp, Stefan ; Scherer, Stefan ; Leuski, AntonIntelligent Virtual Agents, 2016, Vol.10011, p.500-504 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
14 |
Material Type: Capítulo de Livro
|
Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic PerspectiveDahlqvist, Fredrik ; Pym, DavidRelational and Algebraic Methods in Computer Science, p.119-135 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
15 |
Material Type: Capítulo de Livro
|
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIVGlück, Roland ; Krebs, Florian BenediktRelational and Algebraic Methods in Computer Science, p.241-256 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
16 |
Material Type: Capítulo de Livro
|
Towards Antichain AlgebraMöller, BernhardRelational and Algebraic Methods in Computer Science, p.344-361 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
17 |
Material Type: Capítulo de Livro
|
Connections between Relation Algebras and Cylindric AlgebrasHodkinson, IanRelational and Algebraic Methods in Computer Science, p.27-42 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
18 |
Material Type: Capítulo de Livro
|
Fat Percentage Equation for Children with Cerebral Palsy: A Novel ApproachNeves, E.B ; Ripka, W.L ; Rosário, B.R ; Pol, S ; Krueger, E ; Oliveira, M.C.NXIII Mediterranean Conference on Medical and Biological Engineering and Computing 2013, 2014, Vol.41, p.121-124Cham: Springer International PublishingTexto completo disponível |
|
19 |
Material Type: Capítulo de Livro
|
Prevention in Addiction: Using Serious Games to (re)train Cognition in Dutch AdolescentsBoendermaker, Wouter J. ; Prins, Pier J. M. ; Wiers, Reinout W.Serious Games, p.173-178 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
20 |
Material Type: Capítulo de Livro
|
Virginia Woolf’s Reception and Impact on Brazilian Women’s LiteratureMaria A. de Oliveira Paulina Pająk ; Celiese Lypka ; Catherine W. Hollis ; Vara Neverow ; Jeanne DubinoThe Edinburgh Companion to Virginia Woolf and Contemporary Global Literature, 2021, p.246Edinburgh University PressTexto completo disponível |