Results of search for 'au:"International Conference on Computer Aided Systems Theory"'

Results
	1.	Computer aided systems theory-- EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 : revised selected papers / Roberto Moreno Diaz, Franz Pichler, Alexis Quesada Arencibia (eds.). by International Conference on Computer Aided Systems Theory (11th : 2007 : Las Palmas, Canary Islands) Moreno-Díaz, Roberto Pichler, Franz, 1936- Quesada Arencibia, Alexis Series: Lecture notes in computer science ; 4739. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 12177400 Publication details: Berlin ; New York : Springer, ©2007 Other title: EUROCAST 2007 11th International Conference on Computer Aided Systems Theory Eleventh International Conference on Computer Aided Systems Theory International Conference on Computer Aided Systems Theory Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Computer aided systems theory--EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005 : revised selected papers / Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia (eds.). by International Conference on Computer Aided Systems Theory (10th : 2005 : Las Palmas, Canary Islands) Moreno-Díaz, Roberto Pichler, Franz, 1936- Quesada Arencibia, Alexis Series: Lecture notes in computer science ; 3643. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York, NY : Springer, ©2005 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Computer Aided Systems Theory - EUROCAST 2009 : 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 15-20, 2009 : revised selected papers / volume editors, Roberto Moreno Diáz, Franz Pichler, Alexis Quesada Arencibia. by International Conference on Computer Aided Systems Theory (12th : 2009 : Las Palmas de Gran Canaria, Spain) Moreno-Díaz, Roberto Pichler, Franz, 1936- Quesada Arencibia, Alexis Series: Lecture notes in computer science Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; London : Springer, 2009 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Computer aided systems theory-- EUROCAST 2011 : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised selected papers. Part I / Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (eds.). by International Conference on Computer Aided Systems Theory (13th : 2011 : Las Palmas, Canary Islands) Moreno-Díaz, Roberto Pichler, Franz, 1936- Quesada Arencibia, Alexis Series: Lecture notes in computer science ; 6927. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012 Other title: EUROCAST 2011 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Computer aided systems theory-- EUROCAST 2011 : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised selected papers. Part II / Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (eds.). by International Conference on Computer Aided Systems Theory (13th : 2011 : Las Palmas, Canary Islands) Moreno-Díaz, Roberto Pichler, Franz, 1936- Quesada Arencibia, Alexis Series: Lecture notes in computer science ; 6928. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012 Other title: EUROCAST 2011 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Computer Aided Systems Theory-- EUROCAST 2013 : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers. Part II / edited by Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada-Arencibia. by International Conference on Computer Aided Systems Theory (14th : 2013 : Las Palmas, Canary Islands) Moreno-Díaz, Roberto [editor.] Pichler, Franz, 1936- [editor.] Quesada Arencibia, Alexis [editor.] Series: Lecture notes in computer science ; 8112. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Heidelberg : Springer, 2013 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	Computer Aided Systems Theory-- EUROCAST 2013 : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers. Part I / edited by Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada-Arencibia. by International Conference on Computer Aided Systems Theory (14th : 2013 : Las Palmas, Canary Islands) Moreno-Díaz, Roberto [editor.] Pichler, Franz, 1936- [editor.] Quesada Arencibia, Alexis [editor.] Series: Lecture notes in computer science ; 8111. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin : Springer, 2013 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	8.	Computer aided systems theory -- EUROCAST 2015 : 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised selected papers / Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (eds.). by International Conference on Computer Aided Systems Theory (15th : 2015 : Las Palmas, Canary Islands) Moreno-Díaz, Roberto [editor.] Pichler, Franz, 1936- [editor.] Quesada Arencibia, Alexis [editor.] Series: Lecture notes in computer science ; 9520. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: EUROCAST 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	9.	Computer aided systems theory -- EUROCAST 2017 : 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised selected papers. Part II / Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (eds.). by International Conference on Computer Aided Systems Theory (16th : 2017 : Las Palmas, Canary Islands) Moreno-Díaz, Roberto [editor.] Pichler, Franz, 1936- [editor.] Quesada Arencibia, Alexis [editor.] Series: Lecture notes in computer science ; 10672. \| 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: EUROCAST 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	10.	Computer aided systems theory -- EUROCAST 2017 : 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised selected papers. Part I / Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (eds.). by International Conference on Computer Aided Systems Theory (16th : 2017 : Las Palmas, Canary Islands) Moreno-Díaz, Roberto [editor.] Pichler, Franz, 1936- [editor.] Quesada Arencibia, Alexis [editor.] Series: Lecture notes in computer science ; 10671. \| 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: EUROCAST 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	11.	Computer aided systems theory -- EUROCAST 2019 : 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019, Revised selected papers. Part II / Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (eds.). by International Conference on Computer Aided Systems Theory (17th : 2019 : Las Palmas, Canary Islands) Moreno-Díaz, Roberto Pichler, Franz Quesada Arencibia, Alexis Series: Lecture notes in computer science ; 12014. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cham : Springer, 2020 Other title: EUROCAST 2019 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	12.	Computer aided systems theory -- EUROCAST 2019 : 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019, Revised Selected Papers. Part I / Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada-Arencibia (eds.). by International Conference on Computer Aided Systems Theory (17th : 2019 : Las Palmas, Canary Islands) Moreno-Díaz, Roberto Pichler, Franz, 1936- Quesada Arencibia, Alexis Series: Lecture notes in computer science ; 12013. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cham : Springer, 2020 Other title: EUROCAST 2019 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	13.	Computer aided systems theory -- EUROCAST 2022 : 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022 / Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (eds.) by International Conference on Computer Aided Systems Theory (18th : 2022 : Las Palmas, Canary Islands) Moreno-Díaz, Roberto [editor.] Pichler, Franz, 1936- [editor.] Quesada Arencibia, Alexis [editor.] Series: Lecture notes in computer science ; 13789. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springe, 2023 Other title: EUROCAST 2022 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	14.	Computer aided systems theory -- EUROCAST 2024 : 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25-March 1, 2024, Revised selected papers. Part III / Alexis Quesada-Arencibia, Michael Affenzeller, Roberto Moreno-Díaz, editors. by International Conference on Computer Aided Systems Theory (19th : 2024 : Las Palmas, Canary Islands) Quesada Arencibia, Alexis [editor.] Affenzeller, Michael [editor.] Moreno-Díaz, Roberto [editor.] Series: Lecture notes in computer science ; 15174. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2025 Other title: EUROCAST 2024 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	15.	Computer aided systems theory -- EUROCAST 2024 : 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25-March 1, 2024, Revised selected papers. Part I / Alexis Quesada-Arencibia, Michael Affenzeller, Roberto Moreno-Díaz, editors. by International Conference on Computer Aided Systems Theory (19th : 2024 : Las Palmas, Canary Islands) Quesada Arencibia, Alexis [editor.] Affenzeller, Michael [editor.] Moreno-Díaz, Roberto [editor.] Series: Lecture notes in computer science ; 15172. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2025 Other title: EUROCAST 2024 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	16.	Computer aided systems theory -- EUROCAST 2024 : 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25-March 1, 2024, Revised selected papers. Part II / Alexis Quesada-Arencibia, Michael Affenzeller, Roberto Moreno-Díaz, editors. by International Conference on Computer Aided Systems Theory (19th : 2024 : Las Palmas, Canary Islands) Quesada Arencibia, Alexis [editor.] Affenzeller, Michael [editor.] Moreno-Díaz, Roberto [editor.] Series: Lecture notes in computer science ; 15173. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2025 Other title: EUROCAST 2024 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold