Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus

A resolution theorem prover for intuitionistic logicTammet, TanelAutomated deduction - CADE 14 : proceedings : 14th International Conference on Automated Deduction : Townsville, North Queensland, Australia, July 13-17, 19971997 / p. 2-16 https://link.springer.com/chapter/10.1007/3-540-61511-3_65

artikkel kogumikus

2

artikkel ajakirjas EST / artikkel ajakirjas ENG

“A Sane Island in an Ocean of Madness” : A case of alternative organisational ethics through post-growth valuesRobra, Ben; Pazaitis, Alexandros; Levy, ArnaudJournal of business ethics2025 / art. 140351 https://doi.org/10.1007/s10551-024-05921-7

artikkel ajakirjas EST / artikkel ajakirjas ENG

3

artikkel kogumikus

A semantic-based web service composition frameworkHaav, Hele-Mai; Tammet, Tanel; Kadarpik, Vello; Kindel, Kristiina; Kääramees, MarkoAdvances in information systems development : new methods and practice for the networked society. Volume 12007 / p. 379-391 https://link.springer.com/chapter/10.1007/978-0-387-70761-7_33

artikkel kogumikus

4

artikkel kogumikus

A semiotic approach to quality in specifications of software measuresEessaar, ErkiEnterprise information systems : 10th International Conference, ICEIS 2008 : Barcelona, Spain, June 12-16, 2008 : revised selected papers2009 / p. 73-86 : ill https://link.springer.com/chapter/10.1007/978-3-642-00670-8_6

artikkel kogumikus

5

artikkel kogumikus

A set of practices for the development of data-centric information systemsEessaar, ErkiInformation system development : improving enterprise communication2014 / p. 73-84

artikkel kogumikus

6

artikkel kogumikus

A SQL database based meta-CASE system and its query subsystemEessaar, Erki; Sgirka, RünnoInnovations in computing sciences and software engineering2010 / p. 57-62 https://link.springer.com/chapter/10.1007/978-90-481-9112-3_10

artikkel kogumikus

7

artikkel kogumikus

A UML profile for developing databases that conform to the third ManifestoEessaar, ErkiInnovations in computing sciences and software engineering2010 / p. 69-74 https://ui.adsabs.harvard.edu/abs/2010iics.book...69E/abstract

artikkel kogumikus

8

artikkel kogumikus

A user interface for a game-based protocol verification toolLaud, Peeter; Tšahhirov, IljaFormal Aspects in Security and Trust : 6th International Workshop : FAST 2009, Eindhoven, Netherlands, November 5-6, 2009 : Revised Selected Papers2010 / p. 263-278 : ill https://research.cyber.ee/~peeter/research/fast09.pdf

artikkel kogumikus

9

artikkel ajakirjas EST / artikkel ajakirjas ENG

Abrasive-erosive wear of thermally sprayed coatings from experimental and commercial Cr3C2-based powdersSarjas, Heikki; Surženkov, Andrei; Juhani, Kristjan; Antonov, Maksim; Adoberg, Eron; Kulu, Priit; Viljus, Mart; Traksmaa, Rainer; Matikainen, Ville; Vuoristo, PetriJournal of thermal spray technology2017 / p. 2020-2029 : ill https://doi.org/10.1007/s11666-017-0638-2 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

10

artikkel kogumikus

Accessibility of published QSAR models : ecotoxic endpointsKahn, Iiris; Ahte, Priit; Sild, Sulev; Maran, UkoALTEX proceedings. Vol. 4, No. 22015 / p. 119

artikkel kogumikus

11

artikkel ajakirjas EST / artikkel ajakirjas ENG

Acyclicity conditions on pasting diagramsHadzihasanovic, Amar; Kessler, DianaApplied Categorical Structures2024 / art. 31 https://doi.org/10.1007/s10485-024-09784-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

12

artikkel kogumikus

Adaptive agent organisationsArgente, Estefania; Kirikal, Kristi; Taveter, KuldarAgreement technologies2013 / p. 321-353

artikkel kogumikus

13

artikkel kogumikus EST / artikkel kogumikus ENG

Adaptive controller for networked control systems subjected to random communication delaysSrinivasan, Seshadhri; Saravanakumar, G.; Subathra, B.; Kotta, ÜlleSoft computing applications : proceedings of the 7th International Workshop Soft Computing Applications (SOFA 2016). Vol. 12018 / p. 78-94 https://doi.org/10.1007/978-3-319-62521-8_8 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

14

raamat

Advanced Functional Programming : 5th International School, AFP 2004 : Tartu, Estonia, August 14-21, 2004 : revised lecturesVene, Varmo; Uustalu, Tarmo2005 https://www.ester.ee/record=b2083926*est

raamat

15

raamat

Advances in Databases and Information Systems : 9th East European Conference, ADBIS 2005 : Tallinn, Estonia, September 12-15, 2005 : proceedings2005 http://www.ester.ee/record=b2068140*est

raamat

16

artikkel ajakirjas EST / artikkel ajakirjas ENG

Advances in nonlinear wave research for hazard warning and mitigationDidenkulova, Irina; Grimshaw, Roger; Slunyaev, Alexey; Tinti, StefanoNatural hazards2016 / p. S431-S436 https://doi.org/10.1007/s11069-016-2633-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

17

artikkel kogumikus

Aflatoxins in farmed fish in EstoniaTanner, Risto; Tedersoo, ErgeCase studies in food safety and environmental health2007 / p. 81-84

artikkel kogumikus

18

artikkel ajakirjas EST / artikkel ajakirjas ENG

Age, facies, and geometry of the Sandbian/Katian (Upper Ordovician) pelmatozoan-bryozoan-receptaculitid reefs of the Vasalemma Formation, northern EstoniaKröger, Björn; Hints, Linda; Lehnert, OliverFacies2014 / p. 963-986 : ill https://doi.org/10.1007/s10347-014-0410-8 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

19

artikkel kogumikus

Agent-oriented enterprise modelling based on business rulesTaveter, Kuldar; Wagner, G.Proceedings of the 20th International Conference on Conceptual Modeling : Yokohama, Japan, November 27-30, 20012001 / ? p

artikkel kogumikus

20

artikkel kogumikus EST / artikkel kogumikus ENG

Agile software engineering methodology for information systems' integration projectsTaveter, Kuldar; Norta, AlexanderFuture Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings2017 / p. 215-230 : ill https://doi.org/10.1007/978-3-319-70004-5_15 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

21

raamat

Algebra, geometry and mathematical physics : AGMP, Mulhouse, France, October 20112014 https://www.ester.ee/record=b4425009*est

raamat

22

artikkel kogumikus EST / artikkel kogumikus ENG

Algebraic and coalgebraic perspectives on interaction lawsUustalu, Tarmo; Voorneveld, NielsProgramming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings2020 / p. 186-205 https://doi.org/10.1007/978-3-030-64437-6_10 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

23

raamat

Algebraic Methodology and Software Technology : 11th International Conference, AMAST 2006 : Kuressaare, Estonia, July 2006 : proceedingsJohnson, Michael; Vene, Varmo2006 https://www.ester.ee/record=b2160509*est

raamat

24

artikkel kogumikus EST / artikkel kogumikus ENG

Algorithm for finding zero factor free rulesLind, Grete; Kuusik, Rein, inform.Man-Machine Interactions 4 : 4th International Conference on Man-Machine Interactions, ICMMI 2015 Kocierz Pass, Poland, October 6-9, 20152016 / p. 421 - 435 https://doi.org/10.1007/978-3-319-23437-3_36 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

25

artikkel ajakirjas EST / artikkel ajakirjas ENG

Aligning the free-energy principle with Peirce’s logic of science and economy of researchBeni, Majid D.; Pietarinen, Ahti-VeikkoEuropean journal for philosophy of science2021 / art. 94, 21 p https://doi.org/10.1007/s13194-021-00408-y Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Springer (kirjastus/väljaandja)

teaviku laadid