Zobrazeno 1 - 10
of 969
pro vyhledávání: '"Vene, V."'
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.
K zobrazení výsledku je třeba se přihlásit.
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.
K zobrazení výsledku je třeba se přihlásit.
Autor:
BLAGOJEVIĆ, Miloš1 mblagojevic@vet.bg.ac.rs, NEŠIĆ, Ivana1, ĐORĐEVIĆ, Milena1, NEDIĆ, Drago2, ZDRAVKOVIĆ, Marija3, TOŠKOVIĆ, Borislav3, NIKOLIĆ, Zora1
Publikováno v:
Veterinary Journal of Republic of Srpska / Veterinarski Zurnal Republika Srpske. 2019, Vol. 19 Issue 1, p145-152. 8p.
Publikováno v:
Vene, V.; Uustalu, T. (ed.), . 5th International School on Advanced Functional Programming, AFP2004. Revised Lectures., 245-272. [S.l.] : Springer
STARTPAGE=245;ENDPAGE=272;TITLE=Vene, V.; Uustalu, T. (ed.), . 5th International School on Advanced Functional Programming, AFP2004. Revised Lectures.
Vene, V.; Uustalu, T. (ed.), . 5th International School on Advanced Functional Programming, AFP2004. Revised Lectures., pp. 245-272
ftp://ftp.cs.kun.nl/pub/Clean/papers/2004/plar2004-Esther_AFP.pdf
STARTPAGE=245;ENDPAGE=272;TITLE=Vene, V.; Uustalu, T. (ed.), . 5th International School on Advanced Functional Programming, AFP2004. Revised Lectures.
Vene, V.; Uustalu, T. (ed.), . 5th International School on Advanced Functional Programming, AFP2004. Revised Lectures., pp. 245-272
ftp://ftp.cs.kun.nl/pub/Clean/papers/2004/plar2004-Esther_AFP.pdf
Contains fulltext : 60595.pdf (author's version ) (Open Access) Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, the shell can be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::10bc1d05a0e655d7b7e488f150a8f273
https://hdl.handle.net/2066/60595
https://hdl.handle.net/2066/60595
Publikováno v:
Algebraic Methodology and Software Technology ISBN: 9783540356332
AMAST
Algebraic Methodology and Software Technology (Proceedings 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006), 248-262
STARTPAGE=248;ENDPAGE=262;TITLE=Algebraic Methodology and Software Technology (Proceedings 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006)
AMAST
Algebraic Methodology and Software Technology (Proceedings 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006), 248-262
STARTPAGE=248;ENDPAGE=262;TITLE=Algebraic Methodology and Software Technology (Proceedings 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006)
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic specifications, realizability criteria have been identified, such as non-l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::867ad02c2311a857edf29d7537e7721d
https://doi.org/10.1007/11784180_20
https://doi.org/10.1007/11784180_20
Publikováno v:
Slovenian Veterinary Research / Slovenski Veterinarski Zbornik. 2021, Vol. 58 Issue 3, p95-101. 7p.
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.
K zobrazení výsledku je třeba se přihlásit.
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.
K zobrazení výsledku je třeba se přihlásit.