Search results
- Type-Driven Development with Idris / aut. Edwin Brady
Brady Edwin
New York: Manning, 2017 . - 453 s.
ISBN 978-1-61729-302-3
Idris input data output data programming pattern matching
monografiaFaculty Available Inaccesible Issued For Request Only SVF 0 1 0 0 - Dôsledky nekvalitného IG prieskumu na inžinierske rozhodovania
Turček Peter ; V150
Zakládání staveb - Brno 2011 : . s.7-12
input data investigation kvalita prieskumu prieskum quality of investigation sadanie konštrukcie settlement of structure vstupné údaje
článok zo zborníka
AFC - Reports at international scientific conferences
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka