Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

Mathematical structures in computer science (allikas)

—

—

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 5
Vaata veel.. (2/87)
Ekspordi

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

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel ajakirjas

Automata and coalgebras in categories of speciesLoregian, FoscoMathematical structures in computer science2025 / 48 p https://doi.org/10.1017/S0960129525100364

artikkel ajakirjas
2

artikkel ajakirjas EST / artikkel ajakirjas ENG

Bicategories in univalent foundationsAhrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolo; Weide, Niels van derMathematical Structures in Computer Science2022 https://doi.org/10.1017/S0960129522000032 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
3

artikkel ajakirjas EST / artikkel ajakirjas ENG

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccoloMathematical structures in computer science2019 / p. 67-92 https://doi.org/10.1017/s0960129517000184 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
4

artikkel ajakirjas EST / artikkel ajakirjas ENG

String diagram rewrite theory II : rewriting with symmetric monoidal structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 511 - 541 https://doi.org/10.1017/S0960129522000317 Journal at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
5

artikkel ajakirjas EST / artikkel ajakirjas ENG

String diagram rewrite theory III : confluence with and without FrobeniusBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 829-869 https://doi.org/10.1017/S0960129522000123 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Kirjeid leitud 5, kuvan 1 - 5

1. mathematical structures in functional programming
2. computer science
3. computer science basics
4. computer science education
5. logic in computer science
6. lower limb mathematical modeling
7. mathematical analysis
8. mathematical description
9. mathematical discovery
10. mathematical logic
11. Mathematical methods
12. mathematical model
13. mathematical modeling
14. mathematical modelling
15. mathematical models
16. mathematical models for economic problems
17. mathematical optimization
18. Mathematical Physics
19. mathematical programming
20. mathematical proof
21. mathematical representation
22. Mathematical simulation
23. mathematical techniques
24. multi-pole mathematical model
25. amyloid structures
26. atomic structures
27. Baltic onshore and offshore structures
28. bipolar transistor structures
29. cable structures
30. cellular structures
31. coastal structures
32. composite structures
33. concrete structures
34. conjoined structures
35. data structures
36. decision structures
37. disordered and β-structures
38. drying of structures
39. durability and resilience of structures
40. Elongated submesoscale structures - stripes
41. endolymphatic structures
42. environmental impact of marine structures
43. existing structures
44. fibre concrete structures
45. fire resistance of timber structures
46. floating structures
47. geological structures
48. helical structures
49. hierarchical structures
50. highly insulated structures
51. historic structures
52. hydraulic structures
53. IIR tapped lattice and DF-II filter structures
54. Lagrangian Coherent Structures
55. Lattice Structures
56. layered structures
57. mesoporous structures
58. nuclear structures
59. Oichnusembedment structures
60. organisational structures
61. oriented structures
62. p-i-n structures
63. porous lattice structures
64. protein structures
65. quantum structures
66. random structures
67. road structures
68. root structures
69. sandwich structures
70. ship structures
71. soft-sediment deformation structures
72. solitonic structures
73. steel structures
74. structures
75. structures and materials
76. Structures below ground
77. submesoscale structures
78. sub-mesoscale structures
79. supramolecular structures
80. thin-walled structures
81. Timber composite structures
82. timber structures
83. tree-like data structures
84. tubular structures
85. virus structures
86. X-ray structures

1. Estonian Summer School on Computer and Systems Science, 2023

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