Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

Mathematical structures in computer science (allikas)

—

—

—

—

Lisa tingimus Liitotsing 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/74)
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. conjoined structures
29. decision structures
30. disordered and β-structures
31. drying of structures
32. Elongated submesoscale structures - stripes
33. endolymphatic structures
34. environmental impact of marine structures
35. existing structures
36. fibre concrete structures
37. fire resistance of timber structures
38. floating structures
39. helical structures
40. hierarchical structures
41. highly insulated structures
42. historic structures
43. hydraulic structures
44. IIR tapped lattice and DF-II filter structures
45. Lagrangian Coherent Structures
46. Lattice Structures
47. layered structures
48. mesoporous structures
49. nuclear structures
50. Oichnusembedment structures
51. organisational structures
52. p-i-n structures
53. porous lattice structures
54. protein structures
55. quantum structures
56. road structures
57. root structures
58. sandwich structures
59. soft-sediment deformation structures
60. solitonic structures
61. steel structures
62. structures
63. structures and materials
64. Structures below ground
65. submesoscale structures
66. sub-mesoscale structures
67. supramolecular structures
68. thin-walled structures
69. Timber composite structures
70. timber structures
71. tree-like data structures
72. tubular structures
73. 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