Composition of Web services on large service models = Veebiteenuste kompositsioon suurtel teenustemudelitelMaigre, Riina2011 Higher-order attribute semantics of flat languages = Lamedate keelte kõrgemat järku atribuutsemantikaGrigorenko, Pavel2010 https://digi.lib.ttu.ee/i/?510 https://www.ester.ee/record=b2637394*est Logics for low-level code and proof-preserving program transformations = Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendusedSaabas, Ando2008 https://www.ester.ee/record=b2431341*est Software technology for cyber security simulations = Tarkvaratehnika küberturbe simulatsioonide jaoksOjamaa, Andres2016 http://www.ester.ee/record=b4640099*est Исследование и разработка пакетов программ для расчета и моделирования гидромеханических систем : автореферат ... кандидата технических наук (05.13.01 ; 05.13.12)Pahapill, Jaak1985 https://www.ester.ee/record=b1261579*est Исследование и разработка пакетов программ для расчета и моделирования гидромеханических систем : диссертация на соискание ученой степени кандидата технических наукPahapill, Jaak1985 https://www.ester.ee/record=b4634914*est Организация вычислений в объектно-ориентированной системе программирования с автоматическим синтезом программ : автореферат ... кандидата технических наук (05.13.11)Urbaitis, Kestutis1988 https://www.ester.ee/record=b1217721*est Организация вычислений в объектно-ориентированной системе программирования с автоматическим синтезом программ : диссертация на соискание ученой степени кандидата технических наукUrbaitis, Kestutis1988 https://www.ester.ee/record=b4636174*est Реализация функциональных моделей баз данных : автореферат ... кандидата технических наук (05.13.11)Haav, Hele-Mai1989 https://www.ester.ee/record=b1225612*est Реализация функциональных моделей баз данных : диссертация на соискание ученой степени кандитата технических наукHaav, Hele-Mai1989 https://www.ester.ee/record=b4636199*est