Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus

A quality model of metamodeling systemsSgirka, Rünno; Eessaar, ErkiEmerging trends in computing, informatics, systems sciences, and engineering2013 / p. 543-555

artikkel kogumikus

2

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

artikkel kogumikus

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 textual domain specific language for user interface modellingKaru, MartEmerging trends in computing, informatics, systems sciences, and engineering2013 / p. 985-996

artikkel kogumikus

8

artikkel kogumikus

A tool-supported approach for introducing aspects in UPPAAL timed automataTruscan, Dragos; Vain, Jüri; Koskinen, Martin; Iqbal, JunaidSoftware technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers2015 / p. 349-364 https://doi.org/10.1007/978-3-319-25579-8_20

artikkel kogumikus

9

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

10

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

11

artikkel kogumikus

A versioning subsystem of metamodeling systemSgirka, RünnoInnovations and advances in computer, information, systems sciences, and engineering2013 / p. 305-317

artikkel kogumikus

12

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

13

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

14

artikkel kogumikus

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

artikkel kogumikus

15

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

16

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

17

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

18

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

19

artikkel kogumikus

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

artikkel kogumikus

20

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

21

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

22

raamat

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

raamat

23

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

24

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

25

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

Springer (kirjastus/väljaandja)

teaviku laadid