You are here: TUCS > PUBLICATIONS > TUCS Publication Series > TUCS Lecture Notes
TUCS Lecture Notes
The youngest of the series, TUCS Lecture Notes consists of study books and proceedings books.
ISSN 1797-8831 (digital)
ISSN 1797-8823 (print)
10 Latest Publications in This Series
- Studies on Inequalities in Information Society – Proceedings of the Conference, Well-Being in the Information Society. WIS 2012, TUCS Lecture Notes, 2012.
- Proceedings of IRIS 2011, TUCS Lecture Notes, Turku Centre for Computer Science, 2011.
- Mike Stannet, Danuta Makowiec, Anna T. Lwniczak, Bruno N. Di Stefano (Eds.), Proceedings of the Satellite Workshops of UC 2011, TUCS Lecture Notes, Turku Centre for Computer Science, 2011.
- Proceedings of JAC 2010 – Journées Automates Cellulaires, TUCS Lecture Notes, Turku Centre for Computer Science, 2010.
- Ralph-Johan Back, Matematiikkaa logiikan avulla: Rakenteiset päättelyketjut yleisenä todistusmuotona. TUCS Lecture Notes 12, Turku Centre for Computer Science, 2009.
- Ralph-Johan Back, Matematiikkaa logiikan avulla: Logiikka ja rakenteiset päättelyketjut. TUCS Lecture Notes 11, Turku Centre for Computer Science, 2008.
- Ralph-Johan Back, Matematiikkaa logiikan avulla: Johdatus rakenteisiin päättelyketjuihin. TUCS Lecture Notes 10, Turku Centre for Computer Science, 2008.
- Ralph-Johan Back, Matematik med lite logik: Strukturerade härledningar som allmänt bevisformat. TUCS Lecture Notes 9, Turku Centre for Computer Science, 2008.
- Ralph-Johan Back, Matematik med lite logik: Logik för strukturerade härledningar. TUCS Lecture Notes 8, Turku Centre for Computer Science, 2008.
- Ralph-Johan Back, Matematik med lite logik: Introduktion till strukturerade härledningar. TUCS Lecture Notes 7, Turku Centre for Computer Science, 2008.