Your search returned 7 results.

Not what you expected? Check for suggestions

Results
	1.	Descriptional complexity of formal systems : 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011 : proceedings / Markus Holzer, Martin Kutrib, Giovanni Pighizzini (eds.). by DCFS (Workshop) (13th : 2011 : Giessen, Germany; Limburg, Germany) Holzer, Markus Kutrib, Martin Pighizzini, Giovanni Series: Lecture notes in computer science ; 6808. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer, ©2011 Other title: DCFS 2011 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Mathematical foundations of computer science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings. Part II / edited by Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella. by Symposium on Mathematical Foundations of Computer Science (1972- ) (40th : 2015 : Milan, Italy) Italiano, Giuseppe F [editor.] Pighizzini, Giovanni [editor.] Sannella, D. (Donald), 1956- [editor.] Series: Lecture notes in computer science ; 9235. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer, 2015 Other title: MFCS 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Mathematical foundations of computer science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings. Part I / Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella (eds.). by Symposium on Mathematical Foundations of Computer Science (1972- ) (40th : 2015 : Milan, Italy) Italiano, Giuseppe F [editor.] Pighizzini, Giovanni [editor.] Sannella, D. (Donald), 1956- [editor.] Series: Lecture notes in computer science ; 9234. \| Lecture notes in computer science. Advanced research in computing and software science. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Edition: 1st ed. 2015. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Heidelberg : Springer, 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Descriptional complexity of formal systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings / Giovanni Pighizzini, Cezar Câmpeanu (eds.). by DCFS (Workshop) (19th : 2017 : Milan, Italy) Pighizzini, Giovanni [editor.] Câmpeanu, Cezar [editor.] Series: Lecture notes in computer science ; 10316. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: DCFS 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings / edited by Stavros Konstantinidis, Giovanni Pighizzini (eds.). by DCFS (Workshop) (20th : 2018 : Halifax, N.S.) Konstantinidis, Stavros [editor.] Pighizzini, Giovanni [editor.] Series: Lecture notes in computer science ; 10952. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018 Other title: DCFS 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	SOFSEM 2019 : theory and practice of computer science : 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings / Barbara Catania, Rastislav Královič, Jerzy Nawrocki, Giovanni Pighizzini (eds.). by SOFSEM (Conference) (45th : 2019 : Nový Smokovec, Slovakia) Catania, Barbara, 1969- [editor.] Královič, Rastislav [editor.] Nawrocki, Jerzy R [editor.] Pighizzini, Giovanni [editor.] Series: Lecture notes in computer science ; 11376. \| Lecture notes in computer science. Advanced research in computing and software science. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2019 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	Descriptional complexity of formal systems : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings / Galina Jirásková, Giovanni Pighizzini, (eds.). by DCFS (Workshop) (22nd : 2020) Jirásková, Galina [editor.] Pighizzini, Giovanni [editor] Series: Lecture notes in computer science ; 12442. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2020] Other title: DCFS 2020 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha