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