Muudetud 01.02.2012

2012

1. 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 (in preparation), 2012.

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.

Ajakirjade erinumbrid

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

Väitekirjad

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
   

Ajakirjade erinumbrid

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

Väitekirjad

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

Ajakirjade erinumbrid

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

Väitekirjad

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

Ajakirjade erinumbrid

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

Väitekirjad

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

Ajakirjade erinumbrid

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, 200. 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 

Väitekirjad

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

Väitekirjad

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.

6. Vaarmann O. Arvutusmeetodid. - Tallinn : Tallinna Tehnikaülikooli Kirjastus, 2005. 168 lk.

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.

6. Saabas A. A framework for design and implementation of visual languages : Master [of Science] thesis. - Tallinn : Tallinn University of Technology, 2004. 100 p.

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

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

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. Keerukusteooria alused. - Tallinn: Århus University, 1996. 211 lk. - (Informaatika õpperaamat; 1).

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.

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.

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).