Zobrazeno 1 - 9 of 9 pro vyhledávání: '"Mark Aagaard"'
2
Elektronická kniha
Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
Autor: Mark Aagaard, John Harrison
This volume is the proceedings of the 13th International Conference on Theo­ rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each of the 55 papers submitted in the full rese­ arch category was refer
Zobrazit plný text záznamu
3
Succesfuld ledelse af implementering
Autor: Trine Damsgaard Eriksen, Anders Mark Aagaard, Søren Smedegaard
Publikováno v: University of Southern Denmark
Damsgaard Eriksen, T, Aagaard, A M & Smedegaard, S 2017, ' Succesfuld ledelse af implementering ', MOV:E, bind 2017, nr. Særnummer, s. 82-88 . < https://pub.publify.dk/catalogues/move#page/1 >
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d522bfd008972efd89eed82d254943d5
https://portal.findresearcher.sdu.dk/en/publications/cbcf70f7-2b2e-47cc-b8fe-da416255ac39
Zobrazit plný text záznamu
4
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
5
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
6
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
7
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
8
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
9
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání

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