Otsing - TalTech teadusportaal

kuva

reasta

15126

artikkel kogumikus

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

artikkel kogumikus

15127

raamat

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

raamat

15128

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

15129

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

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

15130

artikkel ajakirjas

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

artikkel ajakirjas

15131

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

15132

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

15133

artikkel ajakirjas

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

artikkel ajakirjas

15134

artikkel kogumikus

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

artikkel kogumikus

15135

raamat

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

raamat

15136

raamat

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

raamat

15137

artikkel ajakirjas

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

artikkel ajakirjas

15138

artikkel ajakirjas

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

artikkel ajakirjas

15139

artikkel kogumikus

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

artikkel kogumikus

15140

artikkel kogumikus

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

artikkel kogumikus

15141

artikkel kogumikus

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

artikkel kogumikus

15142

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

15143

artikkel ajakirjas

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

artikkel ajakirjas

15144

raamat

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

raamat

15145

raamat

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

raamat

15146

artikkel ajakirjas

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

artikkel ajakirjas

15147

artikkel ajalehes

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

artikkel ajalehes

15148

artikkel ajalehes

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

artikkel ajalehes

15149

artikkel kogumikus

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

artikkel kogumikus

15150

artikkel ajakirjas

Dialoogi ergutavad suhtlemistehnikadElenurm, TaimiPersonali Praktik : Pp2013 / lk. 19

artikkel ajakirjas

teaviku laadid