Searching - TalTech Research Portal

display

sort

15126

journal article

Diagnostika säästab elektrimasinate tervistVaimann, Toomas; Kilk, AleksanderKeskkonnatehnika2011 / 5, lk. 31-32 : ill https://artiklid.elnet.ee/record=b2426053*est

journal article

15127

book article

DIAGNOZER : a laboratory tool for teaching research in diagnosis of electronic systems [Electronic resource]Ubar, Raimund-Johannes; Kostin, Sergei; Jutman, Artur; Raik, Jaan; Wuttke, Heinz-Dietrich2009 IEEE International Conference on Microelectronic Systems Education MSE '09 : 25-27 July 2009, San Francisco, California : [proceedings]2009 / p. 12-15 : ill. [CD-ROM] http://dx.doi.org/10.1109/MSE.2009.5270842

book article

15128

book

Diagramm ja kommentaar : näidiseid diagrammide koostamiseks ja kommenteerimiseks1982 https://www.ester.ee/record=b1223701*est

book

15129

book article EST / book article ENG

A diagrammatic algebra for program logicsBonchi, Filippo; Di Giorgio, Alessandro; Di Lavore, ElenaFoundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, Ontario, Canada, May 3–8, 2025, Proceedings2025 / p. 308-330 https://doi.org/10.1007/978-3-031-90897-2_15 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

15130

book article EST / book article ENG

Diagrammatic algebra of first order logicBonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaLICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science2024 / art. 16, p. 1-15 : ill https://doi.org/10.1145/3661814.3662078 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika

15131

journal article

Diagrammatic algebra of first order logic : [preprint]Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaarXiv.org2024 / 34 p. : ill https://doi.org/10.48550/arXiv.2401.07055

journal article

15132

book article EST / book article ENG

Diagrammatic autarchy : linear diagrams in the 17th and 18th centuriesBellucci, Francesco; Moktefi, Amirouche; Pietarinen, Ahti-VeikkoDLAC 2013 : Diagrams, Logic and Cognition : proceedings of the First International Workshop on Diagrams, Logic and Cognition : Kolkata, India, October 28-29, 20132013 / p. 26-30 : ill https://www.researchgate.net/publication/280098290_Diagrammatic_Autarchy_Linear_diagrams_in_the_17th_and_18th_centuries Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

15133

book article EST / book article ENG

Diagrammatic polyhedral algebraBonchi, Filippo; Di Giorgio, Alessandro; Sobocinski, Pawel Maria41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 40:1-40:18 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.40 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

15134

journal article

Diagrammatic reasoning : some notes on Charles S. Peirce and Friedrich A. LangeBellucci, FrancescoHistory and philosophy of logic2013 / p. 293-305

journal article

15135

book article

Diagrammatic reasoning : the end of scepticism? [Online resource]Moktefi, AmiroucheCommunication – Culture – Consciousness : 8th Budapest Visual Leaning Conference : abstracts2018 / p. 48-49 http://www.vll.bme.hu/wp-content/uploads/2018/04/VLC8_abstracts_booklet.pdf

book article

15136

book

Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018 : proceedings2018 https://doi.org/10.1007/978-3-319-91376-6

book

15137

book

Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 https://doi.org/10.1007/978-3-030-54249-8

book

15138

journal article

Diagrammatikus érvelés - a kétkedés vége? = Diagrammatic Reasoning : The End of Scepticism?Moktefi, AmiroucheMagyar Tudomany2019 / p. 970–978 http://dx.doi.org/10.1556/2065.180.2019.7.4

journal article

15139

journal article

Diagramme põlevkivi suitsu jaoksMaltenek, E.Tehnika Ajakiri1934 / lk. 139-142 : joon

journal article

15140

book article

Diagrams as scientific instrumentsMoktefi, AmiroucheVirtual reality - real visuality : virtual, visual, veridical2017 / p. 81-89

book article

15141

book article

Diagrams or rubbishPietarinen, Ahti-VeikkoCharles Sanders Peirce in his own words : 100 years of semiotics, communication and cognition2014 / p. 115-120

book article

15142

book article

Dialect adaptation and data augmentation for low-resource ASR: Taltech systems for the MADASR 2023 ChallengeAlumäe, Tanel; Kong, Jiaming; Robnikov, Daniil2023 IEEE Automatic Speech Recognition and Understanding Workshop (ASRU), 16-20 Dec. 2023, Taipei, Taiwan2023 / p. 1-7 https://doi.org/10.1109/ASRU57964.2023.10389668

book article

15143

journal article EST / journal article ENG

Dialectica Petri netsDi Lavore, Elena; Leal, Wilmer; de Paiva, ValeriaFundamenta Informaticae2025 / art. 4 https://doi.org/10.46298/fi.13125

journal article EST / journal article ENG

15144

journal article

Dialektika ja teadusMaasik, VoldemarHorisont1969 / lk. 1-6 : ill https://www.ester.ee/record=b1072243*est http://www.digar.ee/id/nlib-digar:288338

journal article

15145

book

Dialektiline ja ajalooline materialism : kontrolltööde temaatika kaugüliõpilasteleEller, Arnold1978 https://www.ester.ee/record=b2646933*est

book

15146

book

Dialektiline ja ajalooline materialism : metoodiline juhend ja kontrolltööde temaatika kaugüliõpilastele1969 https://www.ester.ee/record=b1333901*est

book

15147

journal article

Dialektiline materialism ja looduseteadusJürisson, N.Tehnika ja Teadus1933 / lk. 13-17

journal article

15148

newspaper article

Dialoog arvutiga : [rubriigis "Lugejaga vestleb..."]Lageda, PeeterEdasi : EKP Tartu Linnakomitee, EKP Tartu Rajoonikomitee, Tartu Linna RSN ja Tartu Rajooni RSN häälekandja1980 / lk. [?] https://www.ester.ee/record=b1271061*est

newspaper article

15149

newspaper article

Dialoog autoteedestPihlak, IlmarNoorte Hääl : ELKNÜ Keskkomitee häälekandja1971 / lk. 2 https://www.ester.ee/record=b1320792*est

newspaper article

15150

book article

Dialoog PlatonigaMägi, MargusLoogika ja mõtlemine1994 / lk. 3-14 https://www.ester.ee/record=b1067802*est

book article

types of item