Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Mathematical foundations of computer science 2000 25th international symposium, MFCS 2000, Bratislava, Sovakia, August 28 - September 1, 2000 : proceedingsSymposium on Mathematical Foundations of Computer Science (25th 2000 Bratislava) M Nielsen (Mogens) 1949-; B Rovan (Branislav)Berlin Springer 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1893 ) e outros locais(Acessar) |
|
2 |
Material Type: Artigo
|
Sparse representations in unions of basesGribonval, R. ; Nielsen, M.IEEE transactions on information theory, 2003-12, Vol.49 (12), p.3320-3325 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
3 |
Material Type: Artigo
|
Older patients’ use of technology for a post-discharge nutritional intervention – A mixed-methods feasibility studyLindhardt, T ; Nielsen, M.HInternational journal of medical informatics (Shannon, Ireland), 2017-01, Vol.97, p.312-321 [Periódico revisado por pares]Ireland: Elsevier Ireland LtdTexto completo disponível |
|
4 |
Material Type: Livro
|
Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002. Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, ProceedingsNielsen, Mogens ; Engberg, Uffe Nielsen, Mogens ; Engberg, UffeBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
5 |
Material Type: Artigo
|
The Physiome Model Repository 2YU, Tommy ; LLOYD, Catherine M ; NIELSEN, Poul M. F ; NICKERSON, David P ; COOLING, Michael T ; MILLET, Andrew K ; GARNY, Alan ; TERKILDSEN, Jonna R ; LAWSON, James ; BRITTEN, Randall D ; HUNTER, Peter JBioinformatics (Oxford, England), 2011-03, Vol.27 (5), p.743-744 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
|
6 |
Material Type: Livro
|
Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected PapersNielsen, Mogens ; Thomas, Wolfgang Nielsen, Mogens ; Thomas, WolfgangBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
|
7 |
Material Type: Livro
|
Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 ProceedingsNielsen, Mogens ; Rovan, Branislav Nielsen, Mogens ; Rovan, BranislavBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
8 |
Material Type: Livro
|
Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12-16 1982Nielsen, M ; Schmidt, E. M Nielsen, Mogens ; Schmidt, Erik MeinecheBerlin, Heidelberg: Springer Berlin / Heidelberg 1982Texto completo disponível |
|
9 |
Material Type: Livro
|
CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 ProceedingsLarsen, Kim G ; Nielsen, Mogens Nielsen, Mogens ; Larsen, Kim G.Berlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
|
10 |
Material Type: Livro
|
Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 ProceedingsNielsen, Mogens ; Simpson, Dan Nielsen, Mogens ; Simpson, DanBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |