Related Books
Language: en
Pages: 967
Pages: 967
Type: BOOK - Published: 2009-10-08 - Publisher: Springer Science & Business Media
This book constitutes the thoroughly refereed post-proceedings of the 12th International Conference on Computer Aided Systems Theory, EUROCAST 2009, held in Las
Language: en
Pages: 662
Pages: 662
Type: BOOK - Published: 2012-01-26 - Publisher: Springer Science & Business Media
The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EURO
Language: en
Pages: 489
Pages: 489
Type: BOOK - Published: 2018-01-25 - Publisher: Springer
The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, E
Language: en
Pages: 887
Pages: 887
Type: BOOK - Published: 2015-12-17 - Publisher: Springer
This volume constitutes the papers presented at the 15th International Conference on Computer Aided Systems Theory, EUROCAST 2015, held in February 2015 in Las
Language: en
Pages: 540
Pages: 540
Type: BOOK - Published: 2013-12-12 - Publisher: Springer
The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013,