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

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

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel ajakirjas EST / artikkel ajakirjas ENG

Bicategories in univalent foundationsAhrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; 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
2

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
3

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
4

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 4, kuvan 1 - 4

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. Elongated submesoscale structures - stripes
40. endolymphatic structures
41. environmental impact of marine structures
42. existing structures
43. fibre concrete structures
44. fire resistance of timber structures
45. floating structures
46. helical structures
47. hierarchical structures
48. highly insulated structures
49. historic structures
50. hydraulic structures
51. IIR tapped lattice and DF-II filter structures
52. Lagrangian Coherent Structures
53. Lattice Structures
54. layered structures
55. mesoporous structures
56. nuclear structures
57. Oichnusembedment structures
58. organisational structures
59. oriented structures
60. p-i-n structures
61. porous lattice structures
62. protein structures
63. quantum structures
64. random structures
65. road structures
66. root structures
67. sandwich structures
68. soft-sediment deformation structures
69. solitonic structures
70. steel structures
71. structures
72. structures and materials
73. Structures below ground
74. submesoscale structures
75. sub-mesoscale structures
76. supramolecular structures
77. thin-walled structures
78. Timber composite structures
79. timber structures
80. tree-like data structures
81. tubular structures
82. 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