Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
A Review, Timeline, and Categorization of Learning Design ToolsCelik, Dilek ; Magoulas, George D.Advances in Web-Based Learning – ICWL 2016, p.3-13 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Discovering Prerequisite Relationships Among Learning Objects: A Coursera-Driven ApproachDe Medio, Carlo ; Gasparetti, Fabio ; Limongelli, Carla ; Lombardi, Matteo ; Marani, Alessandro ; Sciarrone, Filippo ; Temperini, MarcoAdvances in Web-Based Learning – ICWL 2016, p.261-265 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
A Multiple Constraints Framework for Collaborative Learning Flow OrchestrationManathunga, Kalpani ; Hernández-Leo, DaviniaAdvances in Web-Based Learning – ICWL 2016, 2016, p.225-235 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
An approach to class reasoning in symbolic computationCioni, Gianna ; Colagrossi, Attilio ; Temperini, MarcoDesign and Implementation of Symbolic Computation Systems, 1996, p.240-251 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
Uniform representation of basic algebraic structures in computer algebraLimongelli, Carla ; Malerba, Giuseppina ; Temperini, MarcoDesign and Implementation of Symbolic Computation Systems, 1996, p.202-203 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
The uniform representation of mathematical objects by truncated power seriesLimongelli, C. ; Temperini, M.Advances in the Design of Symbolic Computation Systems, p.32-52Vienna: Springer ViennaTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
On subtyping in languages for symbolic computation systemsDi Blasio, P. ; Temperini, M.Advances in the Design of Symbolic Computation Systems, p.164-178Vienna: Springer ViennaTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Enhanced strict inheritance in TASSO-LDi Blasio, P. ; Temperini, M. ; Terlizzi, P.Advances in the Design of Symbolic Computation Systems, p.179-195Vienna: Springer ViennaTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Automated deduction by connection method in an object-oriented environmentCioni, G. ; Patrizi, G. ; Temperini, M.Advances in the Design of Symbolic Computation Systems, p.230-244Vienna: Springer ViennaTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Biochemical Systematics: Methods and PrinciplesAparecida, M. ; Cagnin, H. ; Gomes, Ceres M. R. ; Gottlieb, Otto R. ; Marx, M. Claudia ; da Rocha, A. Imbiriba ; das G. F. Da Silva, M. Fátima ; Temperini, J. AparícioFlowering Plants, p.53-76Vienna: Springer ViennaTexto completo disponível |