Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
140421
Look more..
Export
export all inquiry results
(1000*)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
15126
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-Dietrich
2009 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
15127
book
Diagramm ja kommentaar : näidiseid diagrammide koostamiseks ja kommenteerimiseks
1982
https://www.ester.ee/record=b1223701*est
book
15128
book article EST
/
book article ENG
A diagrammatic algebra for program logics
Bonchi, Filippo
;
Di Giorgio, Alessandro
;
Di Lavore, Elena
Foundations 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, Proceedings
2025
/
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
15129
book article EST
/
book article ENG
Diagrammatic algebra of first order logic
Bonchi, Filippo
;
Di Giorgio, Alessandro
;
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
LICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science
2024
/
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
15130
journal article
Diagrammatic algebra of first order logic : [preprint]
Bonchi, Filippo
;
Di Giorgio, Alessandro
;
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
arXiv.org
2024
/
34 p. : ill
https://doi.org/10.48550/arXiv.2401.07055
journal article
15131
book article EST
/
book article ENG
Diagrammatic autarchy : linear diagrams in the 17th and 18th centuries
Bellucci, Francesco
;
Moktefi, Amirouche
;
Pietarinen, Ahti-Veikko
DLAC 2013 : Diagrams, Logic and Cognition : proceedings of the First International Workshop on Diagrams, Logic and Cognition : Kolkata, India, October 28-29, 2013
2013
/
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
15132
book article EST
/
book article ENG
Diagrammatic polyhedral algebra
Bonchi, Filippo
;
Di Giorgio, Alessandro
;
Sobocinski, Pawel Maria
41st 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
15133
journal article
Diagrammatic reasoning : some notes on Charles S. Peirce and Friedrich A. Lange
Bellucci, Francesco
History and philosophy of logic
2013
/
p. 293-305
journal article
15134
book article
Diagrammatic reasoning : the end of scepticism? [Online resource]
Moktefi, Amirouche
Communication – Culture – Consciousness : 8th Budapest Visual Leaning Conference : abstracts
2018
/
p. 48-49
http://www.vll.bme.hu/wp-content/uploads/2018/04/VLC8_abstracts_booklet.pdf
book article
15135
book
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018 : proceedings
2018
https://doi.org/10.1007/978-3-319-91376-6
book
15136
book
Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
https://doi.org/10.1007/978-3-030-54249-8
book
15137
journal article
Diagrammatikus érvelés - a kétkedés vége? = Diagrammatic Reasoning : The End of Scepticism?
Moktefi, Amirouche
Magyar Tudomany
2019
/
p. 970–978
http://dx.doi.org/10.1556/2065.180.2019.7.4
journal article
15138
journal article
Diagramme põlevkivi suitsu jaoks
Maltenek, E.
Tehnika Ajakiri
1934
/
lk. 139-142 : joon
journal article
15139
book article
Diagrams as scientific instruments
Moktefi, Amirouche
Virtual reality - real visuality : virtual, visual, veridical
2017
/
p. 81-89
book article
15140
book article
Diagrams or rubbish
Pietarinen, Ahti-Veikko
Charles Sanders Peirce in his own words : 100 years of semiotics, communication and cognition
2014
/
p. 115-120
book article
15141
book article
Dialect adaptation and data augmentation for low-resource ASR: Taltech systems for the MADASR 2023 Challenge
Alumäe, Tanel
;
Kong, Jiaming
;
Robnikov, Daniil
2023 IEEE Automatic Speech Recognition and Understanding Workshop (ASRU), 16-20 Dec. 2023, Taipei, Taiwan
2023
/
p. 1-7
https://doi.org/10.1109/ASRU57964.2023.10389668
book article
15142
journal article EST
/
journal article ENG
Dialectica Petri nets
Di Lavore, Elena
;
Leal, Wilmer
;
de Paiva, Valeria
Fundamenta Informaticae
2025
/
art. 4
https://doi.org/10.46298/fi.13125
journal article EST
/
journal article ENG
15143
journal article
Dialektika ja teadus
Maasik, Voldemar
Horisont
1969
/
lk. 1-6 : ill
https://www.ester.ee/record=b1072243*est
http://www.digar.ee/id/nlib-digar:288338
journal article
15144
book
Dialektiline ja ajalooline materialism : kontrolltööde temaatika kaugüliõpilastele
Eller, Arnold
1978
https://www.ester.ee/record=b2646933*est
book
15145
book
Dialektiline ja ajalooline materialism : metoodiline juhend ja kontrolltööde temaatika kaugüliõpilastele
1969
https://www.ester.ee/record=b1333901*est
book
15146
journal article
Dialektiline materialism ja looduseteadus
Jürisson, N.
Tehnika ja Teadus
1933
/
lk. 13-17
journal article
15147
newspaper article
Dialoog arvutiga : [rubriigis "Lugejaga vestleb..."]
Lageda, Peeter
Edasi : EKP Tartu Linnakomitee, EKP Tartu Rajoonikomitee, Tartu Linna RSN ja Tartu Rajooni RSN häälekandja
1980
/
lk. [?]
https://www.ester.ee/record=b1271061*est
newspaper article
15148
newspaper article
Dialoog autoteedest
Pihlak, Ilmar
Noorte Hääl : ELKNÜ Keskkomitee häälekandja
1971
/
lk. 2
https://www.ester.ee/record=b1320792*est
newspaper article
15149
book article
Dialoog Platoniga
Mägi, Margus
Loogika ja mõtlemine
1994
/
lk. 3-14
https://www.ester.ee/record=b1067802*est
book article
15150
journal article
Dialoogi ergutavad suhtlemistehnikad
Elenurm, Taimi
Personali Praktik : Pp
2013
/
lk. 19
journal article
Number of records 140421, displaying
15126 - 15150
previous
602
603
604
605
606
607
608
609
610
611
next
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT