Zobrazeno 1 - 10 of 111 pro vyhledávání: '"Softwaretechnologie"'
2
Typed Contracts for Functional Programming
Autor: Hinze, R., Jeuring, J.T., Löh, A., Wadler, P., Hagiya, M., Softwaretechnologie, Dep Informatica
Publikováno v: Proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, 208. Springer
STARTPAGE=208;TITLE=Proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::e0c9c721ea66904bbf06a30fd4d325bb
https://dspace.library.uu.nl/handle/1874/20795
Zobrazit plný text záznamu
3
Feedback in an interactive equation solver
Autor: Passier, H., Jeuring, J.T., Seppälä, M., Xambo, S., Caprotti, O., Softwaretechnologie, Dep Informatica
Publikováno v: Proceedings of the Web Advanced Learning Conference and Exhibition, WebALT 2006, 53. Oy WebALT Inc.
STARTPAGE=53;TITLE=Proceedings of the Web Advanced Learning Conference and Exhibition, WebALT 2006
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::4175de24e235aa0c070e787f096fa7f9
https://dspace.library.uu.nl/handle/1874/20793
Zobrazit plný text záznamu
5
Using Schema Analysis for Feedback in Authoring Tools for Learning Environments
Autor: Passier, H., Jeuring, J.T., Cristea, A., Carro, R., Garzotto, F., Softwaretechnologie, Dep Informatica
Publikováno v: Proceedings of the Third International Workshop on Authoring of Adaptive and Adaptable Educational Hypermedia, A3EH 2005, 13
STARTPAGE=13;TITLE=Proceedings of the Third International Workshop on Authoring of Adaptive and Adaptable Educational Hypermedia, A3EH 2005
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::c02289ac7ebd40797ff320a0175e6c74
https://dspace.library.uu.nl/handle/1874/20789
Zobrazit plný text záznamu
6
Ontology Based Feedback Generation in Design-Orientated e-Learning Systems
Autor: Passier, H., Jeuring, J.T., Isaias, P., Kommers, P., McPherson, M., Softwaretechnologie, Dep Informatica
Publikováno v: Proceedings of the IADIS International Conference, e-Society 2004., 992
STARTPAGE=992;TITLE=Proceedings of the IADIS International Conference, e-Society 2004.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::95b46848f004aa61c2ea4acaf4a5f78c
https://dspace.library.uu.nl/handle/1874/20866
Zobrazit plný text záznamu
8
UUXML: A Type-Preserving XML Schema-Haskell Data Binding
Autor: Atanassow, F., Clarke, D.G., Jeuring, J.T., Softwaretechnologie, Dep Informatica
Publikováno v: Proceedings 6th International Symposium on Practical Aspects of Declarative Languages., 71. Springer
STARTPAGE=71;TITLE=Proceedings 6th International Symposium on Practical Aspects of Declarative Languages.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::626e98f6809d506493dad4498ac204bb
https://dspace.library.uu.nl/handle/1874/20864
Zobrazit plný text záznamu
9
Inferring Type Isomorphisms Generically
Autor: Atanassow, F., Jeuring, J.T., Kozen, D., Softwaretechnologie, Dep Informatica
Publikováno v: Proceedings of the 7th International Conference on Mathematics of Program Construction., 32. Springer
STARTPAGE=32;TITLE=Proceedings of the 7th International Conference on Mathematics of Program Construction.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::fdfc1db6f92e27cb5683025f33b856fa
https://dspace.library.uu.nl/handle/1874/20863
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje