Changed 31.12.2016

2016

Special issues

1. I. Didenkulova and others, guest eds. Natural Hazards and Earth System Sciences. Special issue "New challenges for tsunami science: understanding tsunami processes to improve mitigation and enhance early warning", 2016, 175.
   http://www.nat-hazards-earth-syst-sci.net/special_issue175.html; http://doi.org/10.5194/nhess-16-1855-2016

2. T. Uustalu, J. Vain, guest eds. Journal of Logical and Algebraic Methods in Programming. Special issue: The 25th Nordic Workshop on Programming Theory (NWPT '13), 2016, 85, 6, 1109-1318.
   http://www.sciencedirect.com/science/journal/23522208/85/6; http://dx.doi.org/10.1016/j.jlamp.2016.10.004
   

3. N. Swamy, T. Uustalu, guest eds. Journal of Functional Programming. [Special issue for 18th ACM SIGPLAN International Conference on Functional Programming, ICFP '13, Boston, MA, USA, 25-27 September 2013], 2016, 26, v. 25, articles e10, e12, e18, v. 26, articles e1, e2, e4.
   https://www.cambridge.org/core/journals/journal-of-functional-programming/collections/icfp-13-collection

Theses

1. Firsov, D. Certification of context-free grammar algorithms. Tallinn : TUT Press, 2016, 118 p.(Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering ; 116).
   http://digi.lib.ttu.ee/i/?6213

2. Kaldmäe, A. Advanced design of nonlinear discrete-time and delayed systems. Tallinn : TUT Press, 2016, 175 p.(Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering ; 112).
   http://digi.lib.ttu.ee/i/?5215
3. Laasmaa, M. Revealing aspects of cardiac function from fluorescence and electrophysiological recordings. Tallinn : TUT Press, 2016, 162 p.- . (Theses of Tallinn University of Technology. B, Thesis on natural and exact sciences ; 221).
   https://digi.lib.ttu.ee/i/?7089
   

4. Ojamaa, A. Software technology for cyber security simulations. Tallinn : TUT Press, 2016, 207 p.(Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering ; C119).
   https://digi.lib.ttu.ee/i/?7088

2015

1. Artho, C., Johnsen, E. B., Leucker, M., Nakata, K. (Eds.) Static Analysis Meets Runtime Verification : March 16-19, 2015. Tokyo : National Institute of Informatics, 2015. 1. - (NII Shonan Meeting Report ; 2015-5).
   http://shonan.nii.ac.jp/shonan/wp-content/uploads/2011/09/No.2015-5.pdf

2. Berezovski, A., Tamm, K., Peets, T. (Eds.) 28th Nordic Seminar on Computational Mechanics : 22 - 23 October, Tallinn, 2015, Proceedings of the NSCM28. Tallinn : CENS, Institute of Cybernetics at Tallinn University of Technology, 2015. 206 p.
   http://www.ester.ee/record=b4512851*est; http://www.ioc.ee/nscm28/files/Proceedings_of_NSCM28.pdf

3. Engelbrecht J. Questions about elastic waves : Springer, 2015. x, 196 p.
   http://doi.org/10.1007/978-3-319-14791-8

4. Männikus R., Torsvik T., Soomere T. Sõru sadama kai  nr 1 pikendamise mõju setete transpordile . - Tallinn : Tallinna Tehnikaülikooli Küberneetika Instituut, [Laboratory of] Wave Engineering, 2015. 24 lk.

5. Uustalu, T., ed. 21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 March 2015, Abstracts. Tallinn : Institute of Cybernetics at Tallinn University of Technology, 2015. vii, 82 p.
   http://cs.ioc.ee/types15/abstracts-book/

Special issues

1. A. Salupere, G. A. Maugin, guest eds. Proceedings of the Estonian Academy of Sciences. Special issue on complexity of nonlinear waves, 2015, 64, 3S, 323-456.
   http://www.kirj.ee/26265/

2. A. Salupere, G. A. Maugin, guest eds. Proceedings of the Estonian Academy of Sciences. Special issue on complexity of nonlinear waves, 2015, 64, 3, [201]-322.
   http://www.kirj.ee/26125/

Theses

1. Giudici, A. Quantification of spontaneous current-induced patch formation in the marine surface layer. Tallinn : TUT Press, 2015, 141 p.(Theses of Tallinn University of Technology. F, Thesis on civil engineering ; 49).
   http://digi.lib.ttu.ee/i/?1871

2. Kalda, M. Mechanoenergetics of a single cardiomyocyte. Tallinn : TUT Press, 2015, 108 p. (Theses of Tallinn University of Technology. B, Thesis on natural and exact sciences ; 197).
   http://digi.lib.ttu.ee/i/?3835

3. Karro, N. Analysis of ADP compartmentation in cardiomyocytes and its role in protection against mitochondrial permeability transition pore opening. Tallinn : TUT Press, 2015, 127 p. (Theses of Tallinn University of Technology. B, Thesis on natural and exact sciences ; 191).
   http://digi.lib.ttu.ee/i/?3423

4. Pastorelli, E. Analysis and 3D visualisation of microstructured materials on custom-built virtual reality environment. Tallinn : TUT Press, 2015, 121 p., ill.(Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering ; 102).
   http://digi.lib.ttu.ee/i/?2533
   

5. Sirts, K. Non-parametric Bayesian models for computational morphology. Tallinn : TUT Press, 2015, 223 p., ill.(Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering ; 100).
   http://digi.lib.ttu.ee/I/?2447

2014

1. Haav H.-M., Kalja A., Robal T. (Eds.) Databases and Information Systems VIII : Selected papers from the Eleventh International Baltic Conference, Baltic DB&IS 2014. Amsterdam : IOS Press, 2014. xi, 359 p. - (Frontiers in Artificial Intelligence and Applications ; 270).
   http://dx.doi.org/10.3233/978-1-61499-161-8-204

2. Ioannides, M.Quak, E. (Eds.) 3D Research Challenges in Cultural Heritage : A Roadmap in Digital Heritage Preservation. Berlin : Springer, 2014. x, 143 p. - (Lecture Notes in Computer Science ; 8355).
   http://dx.doi.org/10.1007/978-3-662-44630-0

3. Ioannides, M., Magnenat-Thalmann, N., Fink, E., Žarnic, R., Yen, A.-Y., Quak, E. (Eds.) Digital Heritage : Progress in Cultural Heritage: Documentation, Preservation, and Protection : 5th International Conference, EuroMed 2014, Limassol, Cyprus, November 3-8, 2014. Proceedings. Cham : Springer, 2014. xxi, 832 p. - (Lecture Notes in Computer Science ; 8740).
   http://doi.org/10.1007/978-3-319-13695-0

4. Janno, J. (Ed.) Eesti Matemaatika Selts. Aastaraamat 2012. Tallinn : Eesti Matemaatika Selts, 2014. 227 lk.

5. Haav H.-M., Kalja A., Robal T. (Eds.) Databases and Information Systems : Proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014, Tallinn, Estonia, 8-11 June 2014. Tallinn : Tallinn University of Technology Press, 2014. xii, 478 p.
   

6. Küngas P., Haav H.-M., Tepandi J., Tepandi L., Lauk M., Tars T. Uuring "Lingitud Eesti" lõpparuanne. - Tallinn : Majandus- ja Kommunikatsiooniministeerium, 2014. 183 lk.
   http://valitsus.ee/UserFiles/valitsus/et/riigikantselei/strateegia/poliitika-analuusid-ja-uuringud/tarkade-otsuste-fondi-uuringute-kokkuvotted/Lingitud%20Eesti%20l%C3%B5pparuanne%201.0.pdf
   

7. Родин А.А., Пелиновский Е.Н. Динамика длинных волн в прибрежной зоне моря с учетом эффектов обрушения : монография / Нижегородский государственый технический университет им. Р.Е. Алексеева; Институт прикладной физики РАН, Институт кибернетики при Таллинском технологическом университете. - Нижний Новгород, 2014, 92 с
   http://publications.hse.ru/books/137755167; http://www.hse.ru/pubs/share/direct/document/137755163

8. Salupere, A., Maugin, G. A. (Eds.) IUTAM Symposium on Complexity of Nonlinear Waves : 8-12 September, Tallinn 2014, Book of Abstracts. Tallinn : Institute of Cybernetics at Tallinn University of Technology, 2014, 162 p.
   http://www.ioc.ee/iutam2014/files/BOOK_OF_ABSTRACTS_GA12-08.pdf

9. Soomere T., Eelsalu M., Pindsoo K. Rannasetete bilanss Miidurannast Tallinna Vanasadamani. - Tallinn : Tallinna Tehnikaülikooli Küberneetika Instituuut, [Laboratory of] Wave Engineering, 2014. [i-iv], 91 lk.

Theses

1. Delpeche-Ellmann, N. Circulation patterns in the Gulf of Finland applied to environmental management of marine protected areas. Tallinn : TUT Press, 2014, 143 p.(Theses of Tallinn University of Technology. F, Thesis on civil engineering ; 48).
   http://digi.lib.ttu.ee/i/?1820

2. Eik, M. Orientation of short steel fibres in concrete: measuring and modelling. Helsinki, Finland : Aalto University School of Engineering. Department of Civil and Structural Engineering; Tallinn University of Technology , 2014, xxii, 226 p. (Aalto University publication series. Doctoral Dissertations, 28/2014; Tallinn University of Technology. Thesis on Civil Engineering F).
   http://digi.lib.ttu.ee/i/?965

3. Kartofelev, D. Nonlinear sound generation mechanisms in musical acoustics. Tallinn : TUT Press, 2014, 110 p. (Theses of Tallinn University of Technology. B, Natural and exact sciences; B174).
   http://digi.lib.ttu.ee/i/?1219

4. Maarand, H. Normalisation by evaluation for data types : Master's thesis. Tallinn : Institute of Cybernetics at TUT, 2014, [iv], 42 p.
   http://digi.lib.ttu.ee/i/?1805

5. Viikmäe, B. Optimising fairways in the Gulf of Finland using patterns of surface currents. Tallinn : TUT Press, 2014, 196 p. (Theses of Tallinn University of Technology. F, Thesis on civil engineering ; 43).
   http://digi.lib.ttu.ee/i/?962

6. Viška, M. Sediment transport patterns along the eastern coasts of the Baltic Sea. Tallinn : TUT Press, 2014, 155 p.(Theses of Tallinn University of Technology. F, Thesis on civil engineering ; 46).
   http://digi.lib.ttu.ee/i/?1310

2013

1. Hasuo, I., Nakata, K., Uustalu, T. Coinduction for computation structures and programming languages, Oct. 7-10, 2013 (to appear). Tokyo : National Institute of Informatics, 2013(NII Shonan Meeting Report; 2013-11).

2. Kotkas V., Haav H.-M., Tepandi J., Õunapuu E., Grauberg J. Uurimisprojekti „Andmeaitade (teiseste andmekogude) loomise põhimõtete väljatöötamine" lõpparuanne. - [Tallinn : TTÜ Küberneetika Instituut], 2013. 104 lk.
   http://valitsus.ee/UserFiles/valitsus/et/riigikantselei/strateegia/poliitika-analuusid-ja-uuringud/tarkade-otsuste-fondi-uuringute-kokkuvotted/L%C3%B5pparuanne.pdf

3. Morrisett, G., Uustalu, T. (Guest Eds) ICFP'13 : Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming, September 25-27, 2013, Boston, Massachusetts, USA. New York : ACM, 2013, xii, 469.
   http://dx.doi.org/10.1145/2500365

4. Soomere, T., Quak, E. (Eds.) Preventive methods for coastal protection towards the use of ocean dynamics for pollution control. Cham : Springer, 2013, xviii, 442 p.
   http://dx.doi.org/10.1007/978-3-319-00440-2

5. Uustalu, T., Vain, J. 25th Nordic Workshop on Programming Theory, NWPT 2013 : Tallinn, Estonia, 20-22 November 2013, Abstracts. - In: 25th Nordic Workshop on Programming Theory, NWPT 2013 : Tallinn, Estonia, 20-22 November 2013, Abstracts. Tallinn : Institute of Cybernetics at Tallinn University of Technology, 2013, vi, 75 p.
   http://cs.ioc.ee/nwpt13/
   

1. J. Engelbrecht and others, guest eds. Wave Motion. Special issue on Advanced Modelling of Wave Propagation in Solids, 2013, 50, 7, [ii], 1061-1174.
   http://dx.doi.org/10.1016/j.wavemoti.2013.07.001

2. R. Matthes, T. Uustalu (Guest Eds.) RAIRO - Theoretical Informatics and Applications. Special issue for 6th Workshop on Fixed Points in Computer Science, FICS 2009 : Coimbra, Portugal, 2009, 2013, 47, 1, 1-132.
   http://dx.doi.org/10.1051/ita/2012026

3. G. Morrisett, T. Uustalu, guest eds. ACM SIGPLAN Notices. Special issue: Proceedings of ICFP '13, 2013, 48, 9, xii, 469 p.-.
   http://dx.doi.org/10.1145/2544174

4. J. Penjam (Guest Ed.) Proceedings of the Estonian Academy of Sciences. Selected Papers of the 12th Symposium on Programming Languages and Software Tools, SPLST'11, 2013, 62, 1, 1-80.
   http://dx.doi.org/10.3176/proc.2013.1.01

5. E. Pelinovsky, I. Didenkulova, F. Mendez D. Rybski, S. Tinti (Guest Eds.) Natural Hazards and Earth System Sciences. Special issue "Sea hazards", 2013, 146.
   http://www.nat-hazards-earth-syst-sci.net/special_issue146.html

Theses

1. Kaparin, V. Transformation of nonlinear state equations into observer form. Tallinn : TUT Press, 2013, 203 p.(Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering ; 90).
   http://digi.lib.ttu.ee/i/?939

2. Sepp, M. Estimation of diffusion restrictions in cardiomyocytes using kinetic measurements. Tallinn : TUT Press, 2013, xiii, 96 p.(Theses of Tallinn University of Technology. B, Natural and exact sciences; B154).
   http://digi.lib.ttu.ee/i/?930

3. Zaitseva-Pärnaste, I. Wave climate and its decadal changes in the Baltic Sea derived from visual observations. Tallinn : TUT Press, 2013, 173 p.(Theses of Tallinn University of Technology. F, Thesis on civil engineering ; 42).
   http://digi.lib.ttu.ee/i/?945

2012

1. 15th European Joint Conferences on Theory and Practice of Software, ETAPS 2012 : Tallinn, Estonia, 24 March-1 April 2012, Programme. - [Tallinn] : Institute of Cybernetics at TUT, 2012. 72 p. http://tallinn.ester.ee/record=b2861058~S13*est; http://cs.ioc.ee/etaps12/programme/programme-book.pdf

2. 17th International Conference on Mathematical Modelling and Analysis : June 6-9, 2012, Tallinn, Estonia, Abstracts. - Tallinn : Tallinn University of Technology, 2012. 143 p.

3. Chapman, J., Levy, P. B., Guest Eds. Proceedings of the Fourth Workshop on Mathematically Structured Functional Programming [MSFP 2012] : Tallinn, Estonia, 25 March 2012. Open Publishing Association, 2012, ii, 177 p. (Electronic Proceedings in Theoretical Computer Science ; 76).
   http://dx.doi.org/10.4204/EPTCS.76

4. Coalgebraic Methods in Computer Science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers / Eds. D. Pattinson, L. Schröder. Heidelberg : Springer, 2012. p. - (Lecture Notes in Computer Science ; 7399).
   http://dx.doi.org/10.1007/978-3-642-32784-1
   

5. Compiler Construction : 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012, Proceedings / Ed. M. O'Boyle. - Berlin : Springer, 2012. xvi, 245 p. - (Lecture Notes in Computer Science ; 7210).
   http://dx.doi.org/10.1007/978-3-642-28652-0

6. Foundations of Software Science and Computational Structures : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings / Ed. L. Birkedal. - Berlin : Springer, 2012. xvii, 484 p. - (Lecture Notes in Computer Science ; 7213).
   http://dx.doi.org/10.1007/978-3-642-28729-9

7. Fundamental Approaches to Software Engineering : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings / Eds. J. de Lara, A. Zisman. - Berlin : Springer, 2012. xvi, 518 p. - (Lecture Notes in Computer Science ; 7212).
   http://dx.doi.org/10.1007/978-3-642-28872-2

8. Meister, E. (Ed.)XXVII Fonetiikan päivät 2012 - Phonetics Symposium 2012 : 17-18 February 2012, Tallinn, Estonia, Proceedings. - Tallinn : TUT Press, 2012. iv, 64 p.
   http://digi.lib.ttu.ee/i/?802

9. Николкина Ирина, Пелиновский Ефим. Динамика гравитационных потоков и длинных волн в жидкости : с приложениями к морским природным катастрофам. - Saarbrücken : LAP Lambert Academic Publishing, 150 с.

10. Pretor-Pinney G. Lainevaatleja käsiraamat / Ed. T. Soomere. - Tallinn : AS Äripäev, 2012. 310 p. - (Imeline teadus).
    http://tallinn.ester.ee/record=b2872388~S1*est

11. Principles of Security and Trust : First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings / Eds. P. Degano, J. D. Guttman. - Berlin : Springer, 2012. xiv, 431 p. - (Lecture Notes in Computer Science ; 7215).
    http://dx.doi.org/10.1007/978-3-642-28641-4

12. Programming Languages and Systems : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings / Ed. H. Seidl. - Berlin : Springer, 2012. xv, 602 p. - (Lecture Notes in Computer Science ; 7211).
    http://dx.doi.org/10.1007/978-3-642-28869-2

13. Seventeenth Estonian Winter School in Computer Science (EWSCS'12) : Park Hotel Palmse, Lahemaa, Estonia, February 26 - March 2, 2012 : [handouts]. - [Tallinn] : Institute of Cybernetics, 2012. 310 p. http://tallinn.ester.ee/record=b2755687~S1*est

14. Tools and Algorithms for the Construction and Analysis of Systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings / Eds. C. Flanagan, B. König. - Berlin : Springer, 2012. xix, 560 p. - (Lecture Notes in Computer Science ; 7214).
    http://dx.doi.org/10.1007/978-3-642-28756-5

Special issues

1. I. Didenkulova, S. Monserrat, S. Tinti, guest eds. Natural Hazards and Earth System Sciences. Special issue "New developments in tsunami science: from hazard to risk", 2012, 12, 8, 2507-2514.
   http://dx.doi.org/10.5194/nhess-12-2507-2012

Newspapers

1. ETAPS Daily, 2012, Issues 1-9.
   Issue 1 (Sat, 24 Mar), Issue 2 (Sun, 25 Mar), Issue 3 (Mon, 26 Mar), Issue 4 (Tue, 27 Mar), Issue 5 (Wed, 28 Mar), Issue 6 (Thu, 29 Mar), Issue 7 (Fri, 30 Mar), Issue 8 (Sat, 31 Mar), Issue 9 (Sun, 1 Apr)

Theses

1. Belikov, J. Polynomial methods for nonlinear control systems. Tallinn : TUT Press, 2012, 140 p.(Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering ; 73).
   http://digi.lib.ttu.ee/i/?732

2. Chatraee, S. A. Environmental aspects of wave impact on a sea wall. Tallinn : Tallinn University of Technology, 2012, 70 p.
3. Errapart, A. Photoelastic tomography in linear and non-linear approximation. Tallinn : TUT Press, 2012, 107 p. (Theses of Tallinn University of Technology.. B, Natural and exact sciences; B129).
   http://digi.lib.ttu.ee/i/?721
4. Illaste, A. Analysis of molecular movements in cardiac myocytes. Tallinn : TUT Press, 2012, xiv, 135 p.(Theses of Tallinn University of Technology. B, Natural and exact sciences; B124). http://digi.lib.ttu.ee/i/?648

5. Kurkina, O. Nonlinear dynamics of internal gravity waves in shallow seas. Tallinn : TUT Press, 2012, 207 p.(Theses of Tallinn University of Technology. F, Thesis on civil engineering ; 35).
   http://digi.lib.ttu.ee/i/?780
6. Schryer, D. W. Metabolic flux analysis of compartmentalized systems using dynamic isotopologue modeling. Tallinn : TUT Press, 2012, xiii, 110 p. (Theses of Tallinn University of Technology. B, Natural and exact sciences; B123). http://digi.lib.ttu.ee/i/?657

2011

1. Janno J., Engelbrecht J. Microstructured materials: inverse problems. - Berlin : Springer, 2011. ix, 169 p., ill. - (Springer Monographs in Mathematics).
   http://dx.doi.org/10.1007/978-3-642-21584-1

2. BONUS briefing. BALTICWAY - The potential of currents for environmental management of the Baltic Sea marine industry / Project coordinator: Professor Tarmo Soomere; Institute of Cybernetics at Tallinn University of Technology (Coordinating partner), 2011, 7, October, 1-4.

3. Proceedings of the 10th European Conference on Information warfare and security [ECIW] : the Institute of Cybernetics at the Tallinn University of Technology, Estonia, 7-8 July 2011 / Ed. R. Ottis : Academic Publishing Limited Reading, 2011. x, 341 p. http://academic-conferences.org/eciw/eciw2011/eciw11-home.htm

4. Research in Estonia : Present and Future / Eds. J. Engelbrecht, G. Varlamova. - Tallinn : Estonian Academy of Sciences, 2011. 477, [2] lk. http://www.akadeemia.ee/_repository/file/publikatsioonid/2011/Recearch_in_Estonia.pdf

5. Sixteenth Estonian Winter School in Computer Science (EWSCS'11) : Park Hotel Palmse, Lahemaa, Estonia, February 27 - March 4, 2011 : [handouts]. - [Tallinn] : Institute of Cybernetics, 2011. 167 p. http://tallinn.ester.ee/record=b2675473~S13*est

6. Teadusmõte Eestis (VII). Meri. Järved. Rannik / Eds. T. Soomere, T. Nõges, H.-L. Help, S. Jakobson, Ü. Rebo, G. Varlamova. - Tallinn : Eesti Teaduste Akadeemia, 2011. 230 lk. http://www.akadeemia.ee/_repository/file/publikatsioonid/2011/Raamat_veekogud.pdf

7. 12th Symposium on Programming Languages and Software Tools, SPLST'11 : Tallinn, Estonia, 5–7 October 2011, Proceedings / Ed. J. Penjam. - Tallinn : TUT Press, 2011. 272 p. http://cs.ioc.ee/splst11/index.php?page=home

8. 2011 3rd International Conference on Cyber Conflict [ICCC]: Proceedings, 7-10 June, 2011 Tallinn Estonia / Eds. C. Czosseck, E. Tyugu, T. Wingfield. - Tallinn : CCD COE Publications, 2011. xviii, 186 p. http://www.ccdcoe.org/ICCC/

9. Vibration Problems ICOVP 2011 : Supplement, The 10th International Conference on Vibration Problems, [Prague, September 5-8, 2011] / Eds. Š. Segl'a, J. Tuma, I. Petríková, L. Pešek, J. Zapomel, A. Kruisová, O. Gendelman, A. Berezovski. - Liberec : Technical University of Liberec, 2011. 546 p.

Special issues

1. S. Keevallik, T. Soomere, guest eds. Estonian Journal of Engineering. Special issue on oceanography, meteorology and coastal engineering, 2011, 17, 4, [285]-377.

Theses

1. Maigre, R. Composition of web services on large service models. Tallinn : TUT Press, 2011, 101 p.(Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering ; 65). http://digi.lib.ttu.ee/i/?607

2. Meister, L. Eesti vokaali- ja kestuskategooriad vene emakeelega keelejuhtide tajus ja häälduses. Eksperimentaalfoneetiline uurimus. Tartu : Tartu Ülikooli Kirjastus, 2011, 145 lk.(Dissertationes philologiae estonicae Universitatis Tartuensis ; 30). http://tallinn.ester.ee/record=b2719372~S1*est

3. Peets, T. Dispersion analysis of wave motion in microstructured solids. Tallinn : TUT Press, 2011, 121 p. (Theses of Tallinn University of Technology. B, Thesis on natural and exact sciences ; 117) http://digi.lib.ttu.ee/i/?626

4. Tamm, K. Wave propagation and interaction in Mindlin-type microstructured solids: numerical simulation. Tallinn : TUT Press, 2011, 183 p. (Theses of Tallinn University of Technology. B, Thesis on natural and exact sciences ; 104) http://digi.lib.ttu.ee/i/?582

2010

1. Fifteenth Estonian Winter School in Computer Science (EWSCS'10) : Park Hotel Palmse, Lahemaa, Estonia, February 28 - March 5, 2010 : [handouts]. - [Tallinn] : Institute of Cybernetics, 2010. 316 p. http://tallinn.ester.ee/record=b2562080~S1*est

2. MSFP'10 : Proceedings of the 2010 ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, September 25, 2010 Baltimore, Maryland, USA / Eds. V. Capretta, J. Chapman. - New York : ACM, 2010. vi, 56 p. http://portal.acm.org/citation.cfm?id=1863597

Special issues

1. T. Altenkirch, T. Uustalu, guest eds. Fundamenta Informaticae. Special issue on dependently typed programming, 2010, 102, 2, 145-228. http://iospress.metapress.com/content/v243257480k1/
   

2. J. Engelbrecht, A. Berezovski, T. Soomere, guest eds. Proceedings of the Estonian Academy of Sciences. Special issue devoted to the International Conference on Complexity of Nonlinear Waves, 2010, 59, 2, [61]-192 p. http://dx.doi.org/10.3176/proc.2010.2.01

3. T. Uustalu, J. Vain, guest eds. The Journal of Logic and Algebraic Programming. Special issue the 20th Nordic Workshop on Programming Theory (NWPT 2008), 2010, 79, 7, vi, 435-703. http://dx.doi.org/10.1016/j.jlap.2010.07.002

Theses

1. Berezovski, M. Numerical simulation of wave propagation in heterogeneous and microstructured materials. Tallinn : TUT Press, 2010, 142 p.(Theses of Tallinn University of Technology. B, Thesis on natural and exact sciences ; 93). http://digi.lib.ttu.ee/i/?490

2. Grigorenko, P. Higher-order attribute semantics of flat languages. Tallinn : TUT Press, 2010, 113 p. (Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering ; 57). http://digi.lib.ttu.ee/i/?510

3. Räämet, A. Spatio-temporal variability of the Baltic Sea wave fields. Tallinn : TUT Press, 2010, 169 p.(Theses of Tallinn University of Technology. F, Thesis on civil engineering ; 29). http://digi.lib.ttu.ee/i/?500

4. Randrüüt, M. Wave propagation in microstructured solids: solitary and periodic waves. Tallinn : TUT Press, 2010, 166 p.(Theses of Tallinn University of Technology. B, Thesis on natural and exact sciences ; 96). http://digi.lib.ttu.ee/i/?503

5. Tõnso, M. Computer algebra tools for modelling, analysis and synthesis for nonlinear control systems. Tallinn : TUT Press, 2010, 114 p.(Thesis of Informatics and System Engineering ; C53). http://digi.lib.ttu.ee/i/?466

2009

1. Applied Wave Mathematics : Selected Topics in Solids, Fluids, and Mathematical Methods / Eds. E. Quak, T. Soomere. - Heidelberg : Springer, 2009. xii, 471 p. http://dx.doi.org/10.1007/978-3-642-00585-5

2. Databases and Information Systems V : Selected Papers from the Eighth International Baltic Conference, DB&IS / Eds. H.-M. Haav, A. Kalja. - Amsterdam : IOS Press, 2009. xi, 311 p. - (Frontiers in Artificial Intelligence and Applications ; 187).
   http://www.booksonline.iospress.nl/Content/View.aspx?piid=11179

3. International Conference on Complexity of Nonlinear Waves : Book of Abstracts, October 5-7, 2009, Tallinn, Estonia / Eds. A. Berezovski, T. Soomere. - Tallinn : Tallinn University of Technology, 2009.http://tallinn.ester.ee/record=b2520738~S1*est

4. 6th Workshop on Fixed Points in Computer Science, FICS 2009: Coimbra, Portugal, 12-13 September 2009, Proceedings. / Eds. R. Matthes, T. Uustalu. Tallinn : Institute of Cybernetics at Tallinn University of Technology, 2009, 124 p. http://helios.nlib.ee:80/record=b2506216~S1*est
   

Special issues

1. C. McBride, T. Uustalu, guest eds. Journal of Functional Programming. [Special issue of the 1st Workshop on Mathematically Structured Functional Programming, MSFP 2006], 2009, 19, 3-4, 263-488. http://dx.doi.org/10.1017/s0956796809007242
2. N. Magnenat-Thalmann, E. Quak, guest eds. The Visual Computer. Special issue on 3D physiological human, 2009, 25, 9, 825-893. http://www.springerlink.com/content/x04345x242r9

3. T. Soomere, K. E. Parnell, S. Keevallik, guest eds. Estonian Journal of Engineering. Special issue on oceanography, meteorology and coastal engineering, 2009, 15, 3, [147]-239. http://www.kirj.ee/engineering?id=15915

4. T. Uustalu, guest ed. Science of Computer Programming. Special issue on Mathematics of Program Construction (MPC 2006), 2009, 74, 8, [495]-668. http://www.sciencedirect.com/science/journal/01676423

Theses

1. Chapman, J. Type checking and normalisation. University of Nottingham. Nottingham, 2009. iv, 112 p.

2. Ilison, L. Solitons and solitary waves in hierarchical Korteweg-de Vries type systems. Tallinn : TUT Press, 2009, 168 p.(Theses of Tallinn University of Technology. B, Thesis on natural and exact sciences ; 83). http://digi.lib.ttu.ee/i/?436
   

3. Kelpšaite, L. Changing properties of wind waves and vessel wakes on the eastern coast of the Baltic Sea. Tallinn : TUT Press, 2009, 138 p., ill.(Theses of Tallinn University of Technology. F, Thesis on civil engineering ; 23).http://digi.lib.ttu.ee/i/?451

4. Kurennoy, D. Analysis of the properties of fast ferry wakes in the context of coastal management. Tallinn : TUT Press, 2009, 164 p., ill.(Theses of Tallinn University of Technology. F, Thesis on civil engineering ; 24).http://digi.lib.ttu.ee/i/?448

2008

1. ALLEA Annual Report 2007 / Eds. J. Engelbrecht, J. J. F. Schroots. - Amsterdam : ALLEA, 2008. 76 p.
   http://www.allea.org/pdf/81.pdf

2. Berezovski A., Engelbrecht J., Maugin G. A. Numerical simulation of waves and fronts in inhomogeneous solids. - New Jersey : World Scientific, 2008. xi, 223 p. - (World Scientific Series on Nonlinear Science, Series A ; 62). http://www.worldscibooks.com/mathematics/6931.html

3. Databases and Information Systems : Proceedings of the Eighth International Baltic Conference, Baltic DB&IS 2008, Tallinn, June 2-5, 2008 / Eds. H.-M. Haav, A. Kalja. - Tallinn : Tallinn University of Technology Press, 2008. ix, 430 p. http://helios.nlib.ee:80/record=b2374996~S1*est

4. Диденкулова, И.; Пелиновский, Е. Цунамиподобные явления в российских внутренних водоемах. Нижний Новгород : ИПФ РАН, 2008. 22 c. (Препринт ИПФ РАН ; 754).
   

5. Eek A. Eesti keele foneetika. 1. / Ed. P. Teras. - Tallinn : TTÜ kirjastus, 2008. xi, 192 lk. http://helios.nlib.ee:80/record=b2347801~S13*est

6. Janno J. Arvutusmeetodid. - Tallinn : Tallinna Tehnikaülikooli Kirjastus, 2008. 182 lk. http://helios.nlib.ee:80/record=b2364618~S1*est

7. Thirteenth Estonian Winter School in Computer Science (EWSCS'08) : Park Hotel Palmse, Lahemaa, Estonia, March 2-7, 2008 : [handouts / Institute of Cybernetics at Tallinn University of Technology]. - Tallinn : Tallinn University of Technology, 2008. [360 p.]. http://helios.nlib.ee:80/record=b2356668~S13*est

8. 20th Nordic Workshop on Programming Theory, NWPT 2008 : Tallinn, Estonia, 19-21 November 2008, Abstracts / Eds. T. Uustalu, J. Vain, J. Ernits. - Tallinn : Institute of Cybernetics at Tallinn University of Technology, 2008. 106 p

Special issues

1. Special issue on oceanography, meteorology and coastal engineering. - In: Estonian Journal of Engineering / Eds. T. Soomere, S. Keevallik, 2008, 14, 193-270. http://www.kirj.ee/?id=10912

Theses

1. Anton, J. Technology of integrated photoelasticity for residual stress measurement in glass articles of axisymmetric shape. Tallinn : TUT Press, 2008, 92 p., ill.(Theses of Tallinn University of Technology. B, Thesis on natural and exact sciences ; 76). http://helios.nlib.ee:80/record=b2394498~S1*est
2. Didenkulova, I. Long wave dynamics in the coastal zone. Tallinn : TUT Press, 2008, 169 p., ill.(Theses of Tallinn University of Technology. F, Thesis on civil engineering ; 16). http://helios.nlib.ee:80/record=b2394485~S1*est

3. Saabas, A. Logics for low-level code and proof-preserving program transformations. Tallinn : TUT Press, 2008, 171 p.(Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering ; 43). http://helios.nlib.ee:80/record=b2431341~S1*est

2007

1. Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings / Eds. J. Derrick, J. Vain. - Berlin : Springer, 2007. xi, 373 p. - (Lecture Notes in Computer Science ; 4574). http://dx.doi.org/10.1007/978-3-540-73196-2

2. Geometric modelling, numerical simulation, and optimization: applied mathematics at SINTEF / Eds. G. Hasle, K.-A. Lie, E. Quak. - Heidelberg : Springer, 2007. 558 p. http://www.springer.com/west/home/math?SGWID=4-10042-22-173734113-0

3. Shkaravska O., van Kesteren R., van Eekelen M. Type checking and weak type inference for polynomial size analysis of first-order functions. - Nijmegen : Radboud Universiteit Nijmegen, 2007. 32 p. - (ICIS Technical Reports ; R07004).

4. Twelfth Estonian Winter School in Computer Science (EWSCS'07) : Park Hotel Palmse, Lahemaa, Estonia, March 4-9, 2007 : [handouts]. - Tallinn : [Institute of Cybernetics at Tallinn University of Technology], 2007. [234 p.]. http://helios.nlib.ee:80/record=b2266858~S13*est

5. Tyugu E. Algorithms and architectures of artificial intelligence. - Amsterdam : IOS Press, 2007. 1x, 171 p. - (Frontiers in Artificial Intelligence and Applications ; 159). http://www.booksonline.iospress.nl/Content/View.aspx?piid=6945
6. Twelfth Estonian Winter School in Computer Science (EWSCS'07) : Park Hotel Palmse, Lahemaa, Estonia, March 4-9, 2007 : [handouts]. - Tallinn : [Institute of CYbernetics at Tallinn University of Technology], 2007. [234 p.]. http://helios.nlib.ee:80/record=b2266858~S1*est

Special issues

1. Special issue on control and information technology 5th Junior European Meeting. - In: Proceedings of the Estonian Academy of Sciences. Physics. Mathematics / Ed. S. Nõmm, 2007, 56, 4, 374 p. http://www.kirj.ee/?id=12791

2. Special issue on non-equilibrium dynamical phenomena in inhomogeneous solids EUROMECH Colloquium 478. - In: Proceedings of the Estonian Academy of Sciences. Physics. Mathematics / Eds. J. Engelbrecht, G. A. Maugin, 2007, 56, 2, 230 p. http://www.kirj.ee/?id=11080

3. Special issue on oceanography, meteorology and coastal engineering. - In: Proceedings of the Estonian Academy of Sciences. Engineering / Eds. T. Soomere, S. Keevallik, 2007, 13, 3, 272 p. http://www.kirj.ee/?id=10912 

Theses

1. Ernits, J.-P. Two state space reduction techniques for explicit state model checking. Tallinn : TUT Press, 2007, 124 p., ill.(Theses of Tallinn University of Technology. C, Thesis on information and system engineering ; 38). http://helios.nlib.ee:80/record=b2324998~S1*est
2. Kirt, T. Concept formation in exploratory data analysis: case studies of linguistic and banking data. Tallinn : TUT Press, 2007, 122 p., ill.(Theses of TallinnUniversity of Technology. C, Thesis on informatics and system engineering ; 37). http://helios.nlib.ee:80/record=b2324671~S1*est

2006

1. 5th International Conference on Optimal [i.e. Operational] Research "Simulation and optimization in business and industry" : May 17-20, 2006, Tallinn, Estonia : Programme and Abstracts / Eds. A. Leibak, H. Pranevicius, O. Vaarmann. - [Tallinn : Tallinna University of Technology Press], 2006. vi, 55, [2] p. http://helios.nlib.ee/search*est/i?SEARCH=9985596218

2. Knowledge-Based Software Engineering : Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering / Eds. E. Tyugu, T. Yamaguchi. - Amsterdam : IOS Press, 2006. xi, 338 p. - (Frontiers in Artificial Intelligence and Applications ; 140). http://www.booksonline.iospress.nl/Content/View.aspx?piid=69

3. Algebraic methodology and software technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, proceedings / Eds. M. Johnson, V. Vene. - Berlin : Springer, 2006. xi, 387 p. - (Lecture Notes in Computer Science ; 4019). http://dx.doi.org/10.1007/11784180

5. Keeruka maailma ilu / T. Kändler, J. Engelbrecht, M. Kutser. - [Tallinn], 2006. 64 lk., ill. http://helios.nlib.ee:80/record=b2198215~S1*est

6. Semigroups and automata. Selecta Uno Kaljulaid (1941-1999) / Eds. J. Peetre, J. Penjam. - Amsterdam : IOS Press, 2006. xxiv, 472 p. http://www.iospress.nl/loadtop/load.php?isbn=1586035827

7. Simulation and Optimisation in Business and Industry : International Conference on Operational Research, May 17-20, 2006, Tallinn, Estonia / Eds. H. Pranevicius, O. Vaarmann, E. Zavadskas. - Kaunas : Technologija, 2006. vii, 271 p. : ill. http://helios.nlib.ee:80/record=b2149411~S1*est

8. Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings / Ed. T. Uustalu. - Berlin : Springer, 2006. x, 455 p. - (Lecture Notes in Computer Science ; 4014). http://dx.doi.org/10.1007/11783596

10. Workshop on Mathematically Structured Functional Programming (MSFP 2006) : Kuressaare, Estonia, 2 July 2006, proceedings / Eds. C. McBride, T. Uustalu. - Swindon : British Computer Society, 2006. - (Electronic Workshops in Computing (eWiC)). http://www.bcs.org/server.php?show=nav.00100v005003001001002

12. Workshop on Mathematically Structured Functional Programming MSFP 2006 : Kuressaare, Estonia, 2 July 2006, proceedings / Eds. C. McBride, T. Uustalu. - Tallinn : Institute of Cybernetics at Tallinn University of Technology, 2006. 131 p. http://helios.nlib.ee:80/record=b2155741~S1*est

Theses

1. Alumäe, T. Methods for Estonian large vocabulary speech recognition. Tallinn : TUT Press, 2006, v, 133 p.(Thesis on informatics and system engineering ; C 31). http://helios.nlib.ee:80/record=b2196005~S1*est
   

2005

2. Advances in databases and information systems : 9th East European Conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005, proceedings / Eds. J. Eder, H.-M. Haav, A. Kalja , J. Penjam. - Tallinn : Tallinn University of Technology Press, 2005. 262 p.

3. Advances in databases and information systems : 9th East European Conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005, proceedings / Eds. J. Eder, H.-M. Haav, A. Kalja , J. Penjam. - New York : Springer, 2005. 391 p. - (Lecture notes in computer science ; 3631).

4. Tenth Estonian Winter School in Computer Science (EWSCS'05): [Handouts] : Park Hotel Palmse, Lahemaa, Estonia, February 27 - March 4, 2005. - [Tallinn] : [Institute of Cybernetics at Tallinn University of Technology], 2005. [270] p. pag. var.

5. The Second Baltic Conference on Human Language Technologies : proceedings, April 4-5, 2005, Tallinn, Estonia / Eds. M. Langemets, P. Penjam. - Tallinn : Institute of Cybernetics, 2005. 383 p.

2004

3.  Engelbrecht, J. Mõtterajad. - Tallinn : Teaduste Akadeemia Kirjastus, 2004. 456 lk.

4. Institute of Cybernetics at TUT : activity report / Tallinn University of Technology / Eds. Ü. Kotta, M. Kutser, A. Salupere. - Tallinn : Institute of Cybernetics, 2004.

2003

2002

1.EUROMECH Colloquium 436 : Nonlinear Waves in Microstructured Solids : May 29 - June 01, 2002, Tallinn, Estonia : book of abstracts / European Mechanics Society - EUROMECH ; Centre for Nonlinear Studies, Institute of Cybernetics at TTU. - Tallinn : Institute of Cybernetics at TTU, 2002. 20 p.

2. 14th Nordic Workshop on Programming Theory "NWPT 2002" : Tallinn, Estonia, 20-22 November 2002 : abstracts / Eds. J. Vain, T. Uustalu. - Tallinn : Institute of Cybernetics at Tallinn Technical University, 2002. 101 p.

3. Databases and information systems. II : Fifth International Baltic conference "Baltic DB & IS'2002" : Tallinn, Estonia, June 3-6, 2002 : selected papers / Eds. H.-M. Haav, A. Kalja. - Boston; London : Kluwer, 2002. 331 p.

2001

2000

2. Vene, V. Categorical programming with inductive and coinductive types. - Tartu : Tartu University Press, 2000. - 116 p. : ill. – (Dissertationes mathematicae Universitatis Tartuensis ; 23). – PhD Dissertation.

1999

1. Lepik, Ü., Engelbrecht, J. Kaoseraamat : [õpik]. - Tallinn: Teaduste Akadeemia Kirjastus, 1999. -  304 lk. : ill.

2. Software technology: Fenno-Ugric Symposium FUSST'99, August 19-21, 1999, Sagadi, Estonia: Proceedings /Institute of Cybernetics at Tallinn Technical University; Ed. Jaan Penjam. - Tallinn: Institute of Cybernetics, 1999 - vi, 279 p.

1998

1997

1996

2. Databases and Information Systems: Volume 2: Technology Track: Proc. of the Second International Baltic Workshop, Tallinn, June 12-14, 1996 /Eds. H.-M.Haav, B.Thalheim. - Tallinn, 1996. - 178 p.

3. EUROMECH 348. Nonlinear Dynamics of Heterogeneous and Microstructured Solids: May 22-26,1996, Tallinn, Estonia: Book of Abstracts /Eds. G.A.Maugin, J.Engelbrecht. Tallinn, Estonian Acad. Sci, 1996. - 50 p.

4. Praust V. Basics of the Theory of Complexity. Textbook in Informatics No.1. Tallinn, Århus University, 1993. - 211 p. (in Estonian).

5. Tupailo S. Hilbert's Epsilon-Symbol in Predicative Subsytems of Analysis.- Tartu: Tartu University Press, 1996. - 132 p. - (Dissertationes Mathematicae Universitas Tartuensis; 13).

1995

2.Multilingual Glossary of Automatic Control Technology: English-French-German- Russian-Italian-Spanish- Japanese-Chinese / Eds. H.A.Prime, A.Wõrk . - Oxford etc.: Pergamon Press, 1995.- 261 p.

1994

2. Programming Language Implementation and Logic Programming (PLILP'94): Proc. of the 6th Int. Symp. / Eds. Hermenegildo M., Penjam J. - Berlin etc. : Springer, 1994. - 486 p. - (Lecture Notes in Computer Science; 844).

3. Nonlinear Waves in Solids /Eds. Jeffrey A., Engelbrecht J. - Wien; New York: Springer, 1994. - 382 p.

4.Constraint Programming: Proc., held in Pärnu, Estonia, August 13-24, 1993 /Eds. Mayoh B., Penjam J., Tyugu E. . - Berlin etc.: Springer , 1994. - 449 p. - (NATO ASI Series. Ser F. Computer Systems Sciences; 131).

1993

2. Programming Language Implementation and Logic Programming: 5th Int. Symp., PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proc. /Eds. M. Bruynooghe, J. Penjam. - Berlin etc. : Springer, 1993. - 421 p. - (Lecture Notes in Computer Science; 714).

3. Concise Encyclopedia of Software Engineering /Eds. D. Morris, B.Tamm . - Oxford etc.: Pergamon Press, 1993. - 400 p. - (Advances in systems control and information engineering).

4. Engelbrecht J., Uus A. Mittelineaarne dünaamika ja kaos /Eesti Teaduste Akadeemia, Küberneetika Instituut. - Tallinn; Tartu : Tartu Ülikooli Kirjastus, 1993. - 211 lk. (Nonlinear Mechanics and Chaos - in Estonian).

5. Resolution Methods for the Decision Problem /Fermüller C., Leitsch A., Tammet T ., Zamov N. - Berlin etc. : Springer, 1993. - 205 p. - (Lecture Notes in Artificial Intelligence; 679).

1992

2. Tools and Environments for Developing Control Systems: Preprints of conf., Kääriku, Estonia, May 4-7, Vol. 1-2 / Ed. M.Oit . - 1992. - 249 p.

1991

2. IFAC World Congress, 11th.: Automatic Control in the Service of Mankind. Vol. 1-6: Proc., Tallinn, Estonia, 1990. /Eds. Jaaksoo Ü ., Utkin V.J. - Oxford etc.: Pergamon Press, 1991.

3. Kalja A ., Tiidemann T., Tyugu E . Masinprojekteerimine. - Tallinn: Valgus, 1991. - 105 lk. (Computer Aided Design - in Estonian).

4. Distributed Computer Control Systems 1989: Proc. of 9th IFAC Workshop, Tokyo, Japan, 26-28 Sept., 1989 /Eds. L. Mõtus, S. Narita. - Oxford etc.: Pergamon Press, 1990. - 133 p.

5. Towards an automated logic of human thought / Ed. by J.E. Hayes, D. Michie, and E. Tyugu. - Oxford : Clarendon Press, 1991. – 342 p. -  (Machine intelligence ; 12).