Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

dependently typed programming (võtmesõna)

—

—

Lisa tingimus Lihtotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 4
Vaata veel.. (1/63)
Ekspordi

ekspordi kõik päringu tulemused (4)
Salvesta TXT fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel ajakirjas

Certified CYK parsing of context-free languagesFirsov, Denis; Uustalu, TarmoJournal of logical and algebraic methods in programming2014 / p. 459-468

artikkel ajakirjas
2

artikkel ajakirjas EST / artikkel ajakirjas ENG

Distributive laws of directed containersAhman, Danel; Uustalu, TarmoProgress in Informatics2013 / p. 3-18 https://doi.org/10.2201/NiiPi.2013.10.2 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG
3

artikkel kogumikus EST / artikkel kogumikus ENG

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccoloTheoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings2015 / p. 110 - 125 https://doi.org/10.1007/978-3-319-25150-9_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
4

artikkel ajakirjas EST / artikkel ajakirjas ENG

When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoLogical methods in computer science2014 / p. 1-48 : ill https://doi.org/10.2168/LMCS-10(3:14)2014 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Kirjeid leitud 4, kuvan 1 - 4

1. dependently typed programming
2. adaptive programming
3. advanced programming and software
4. API (Application Programming Interface)
5. automatic programming
6. C++ programming language
7. chance-constrained programming
8. computer programming
9. computer programming languages
10. computer systems programming
11. constraint logic programming
12. constraint logic programming (LP) (CLP)
13. constraint programming
14. convex programming
15. dataflow programming
16. degenerate and infeasible linear programming problems
17. discrete-convex programming
18. dynamic programming
19. Extreme Programming
20. functional programming
21. functional reactive programming
22. game programming
23. generative programming
24. genetic programming
25. hardware close programming
26. Inductive logic programming
27. initial solution to the linear programming problem
28. in-system programming
29. integer linear programming
30. integer linear programming (ILP)
31. integrated programming system
32. intelligent programming environment
33. linear integer programming
34. linear programming
35. logarithmic fuzzy preference programming (LFPP)
36. mathematical programming
37. mathematical structures in functional programming
38. mixed integer linear programming
39. mixed integer linear programming (MILP)
40. mixed integer nonlinear programming
41. mixed-integer linear programming
42. multi-objective nonlinear programming
43. Nc-programming
44. object-oriented programming
45. object-oriented programming languages
46. pair-programming
47. problem-oriented programming languages
48. programming
49. programming and vision
50. programming basics
51. programming education
52. programming languages
53. programming time
54. quadratic programming
55. robot programming
56. semantics of programming languages
57. skills assessment of programming and mathematics
58. software tools for robot programming
59. solving linear programming problems
60. stochastic dynamic programming
61. stochastic programming
62. structured programming
63. wireless programming

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu