Otsing - TalTech teadusportaal

kuva

reasta

51

artikkel kogumikus

Experimenting with graded monads: certified grading-based program transformationsTalvik, Tõnn; Uustalu, Tarmo24th International Conference on Types for Proofs and Programs : TYPES 2018, Braga, Portugal, 18-21 June, 2018 : abstracts2018 / p. 82-83 https://types2018.projj.eu/book-of-abstracts/

artikkel kogumikus

52

artikkel kogumikus

Formal specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, Marc7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings2014 / [10] p. : ill

artikkel kogumikus

53

artikkel kogumikus

Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 20202020 / p. 270–283 https://doi.org/10.1145/3372885.3373814

artikkel kogumikus

54

artikkel kogumikus

Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 20202020 / p. 270-283 https://doi.org/10.1145/3372885.3373814

artikkel kogumikus

55

raamat

Fortran : lühiülevaade1986 https://www.ester.ee/record=b1231480*est

raamat

56

artikkel ajakirjas

Fortran 77Vilipõld, JüriArvutustehnika ja Andmetöötlus : A&A1988 / lk. 1-7 https://www.ester.ee/record=b1071940*est

artikkel ajakirjas

57

raamat

Fortran 77 : metoodiline juhend1988 https://www.ester.ee/record=b1240231*est

raamat

58

raamat

Fortran 77 : metoodiline juhend1987 https://www.ester.ee/record=b1263081*est

raamat

59

artikkel kogumikus

Fortran-programmide teisendajaRemmel, V.; Raiend, Kullo; Uibo, ErikXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 94-95 https://www.ester.ee/record=b1322611*est

artikkel kogumikus

60

raamat

Foundations of software science and computation structures: 26th International Conference, FoSSaCS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023, proceedings2023 https://doi.org/10.1007/978-3-031-30829-1

raamat

61

artikkel kogumikus EST / artikkel kogumikus ENG

Freely combining partial knowledge in multiple dimensions (extended abstract)Draheim, DirkFuture Data and Security Engineering : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28–30, 2018, Proceedings2018 / p. 3-11 https://doi.org/10.1007/978-3-030-03192-3_1 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

62

artikkel kogumikus EST / artikkel kogumikus ENG

Generating representative executions : extended abstractMaarand, Hendrik; Uustalu, Tarmo10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 20172017 / p. 39-48 : ill https://doi.org/10.4204/EPTCS.246.8 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

63

artikkel ajakirjas

Graafide korrastamisest J-keele abilVõhandu, LeoA & A2001 / 5, lk. 51-56 ; 6, lk. 38-44

artikkel ajakirjas

64

artikkel ajakirjas

Hasartmängud J-keelesVõhandu, LeoArvutimaailm2000 / 1, 43-45 https://artiklid.elnet.ee/record=b1003028*est

artikkel ajakirjas

65

artikkel kogumikus

Higher-order attribute semantics of flat declarative languagesGrigorenko, Pavel20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts2008 / p. 37-39 : ill https://artiklid.elnet.ee/record=b1072901*est

artikkel kogumikus

66

artikkel kogumikus

High-level design error diagnosis using backtrace on decision diagramsRaik, Jaan; Repinski, Urmas; Ubar, Raimund-Johannes; Jenihhin, Maksim; Tšepurov, Anton28th Norchip Conference : Tampere, Finland, 15-16 November 2010 : conference program and papers2010 / [4] p. : ill http://dx.doi.org/10.1109/NORCHIP.2010.5669486

artikkel kogumikus

67

artikkel ajakirjas EST / artikkel ajakirjas ENG

Implementation and evaluation of the DAOM framework and tool support for designing blockchain decentralized applicationsUdokwu, Chibuzor; Brandtner, Patrick; Norta, Alexander; Kormiltsõn, Aleksandr; Matulevičius, RaimundasInternational journal of law and information technology2021 / p. 2245−2263 : ill https://doi.org/10.1007/s41870-021-00816-6 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

68

artikkel kogumikus

An implementation in Agda of Sutner's decision algorithms for injectivity and surjectivity of one-dimensional cellular automataCapobianco, Silvio; Veltri, NiccoloProceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)2016 / p. 27-29 http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf

artikkel kogumikus

69

artikkel ajakirjas

Improving response time of task and Adaboost classifiers in mobile fog computingDarbanian, Elham; Rahbari, Dadmehr; Ghanizadeh, Roghayeh; Nickray, MohsenJordanian journal of computers and information technology2020 / p. 345−360 https://www.ejmanager.com/mnstemps/71/71-1590557276.pdf?t=1608030630

artikkel ajakirjas

70

raamat

Infotehnoloogia. Sõnastik. Osa 15, ProgrammikeeledHanson, Vello; Tavast, Arvi; Kalja, Ahto; Võhandu, Leo2001 https://www.ester.ee/record=b1536049*est

raamat

71

artikkel ajakirjas

Integrated application of program generators and application packagesTamm, Boris, inform.Tutkimus ja tekniikka1979 / p. 38-43 : ill

artikkel ajakirjas

72

artikkel ajakirjas EST / artikkel ajakirjas ENG

Integration of ‘Central’ and ‘Peripheral’ Nervous Systems in Scrub Nurse Robot and Comparison Between ‘Voluntary’ and ‘Reflex’ MovementsMiyawaki, Fujio; Suzuki, Miho; Anier, Aivo; Vain, JüriIFAC-PapersOnLine2019 / p. 229-234 : ill https://doi.org/10.1016/j.ifacol.2019.12.103 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

73

raamat

Introduction to the IOT (Internet of Things) : coursebookSell, Raivo; Puks, Rim; Kingsepp, Mallor; Nikitenko, Agris; Berkolds, Karlis; Vagale, Anete; Rumba, Rudolfs; Czekalski, Piotr; Tokarz, Krzysztof; Läll, Karl2025 https://ebooks.rtu.lv/product/introduction-to-the-iot-second-edition/?lang=en#tab-id-1

raamat

74

artikkel kogumikus EST / artikkel kogumikus ENG

Is Amazon Kinesis Data Analytics suitable as core for an event processing network model?Koschel, Arne; Astrova, Irina; Pakosch, Anna; Gerner, Christian; Schulze, Christin; Tyca, MatthiasProceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART,2024 / p. 1036 - 1043 https://doi.org/10.5220/0012432800003636 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

75

artikkel ajakirjas

Java fenomenTõugu, EnnA & A1998 / 2, lk. 4-7 https://artiklid.elnet.ee/record=b2003493*est

artikkel ajakirjas

programmeerimiskeeled (märksõna)

teaviku laadid

märksõna 1