This book constitutes the proceedings of the CCF 18th International Conference on Computer-Aided Design and Computer Graphics, CAD/Graphics 2023, which took place in Shanghai, China, during August 19–21, 2023.The 23 full papers in...Loe edasi...
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Mathematical Methods for Curves and Surfaces, MMCS 2016, held in Tønsberg, Norway, in June 2016. The 17 revised full papers presen...Loe edasi...
This book constitutes the proceedings of the 13th International Symposium on Smart Graphics, SG 2015, held in Chengdu, China, in August 2015.The 17 full and 3 short papers presented in this volume were carefully reviewed and selected from 3...Loe edasi...
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Curves and Surfaces, held in Paris, France, in June 2014. The conference had the overall theme: Representation and Approximation of Cu...Loe edasi...
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 18-Dec-2013, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642538612)
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, held in February 2013 in Las Palmas de Gran Canaria, Spain. The total of 131 papers prese...Loe edasi...
(Ilmumisaeg: 13-Sep-2013, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642408397)
This book constitutes the refereed proceedings of the 10th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2013, held in Palma de Mallorca, Spain, in September 2013. The 34 revised full papers presented were caref...Loe edasi...
Lirkov Ivan Dimov, Stefka Dimova, Natalia Kolkovska
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 14-Jan-2011, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642184659)
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Numerical Methods and Applications, NMA 2010, held in Borovets, Bulgaria, in August 2010.The 60 revised full papers presented together wi...Loe edasi...
(Ilmumisaeg: 19-Aug-2011, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642231803)
This book constitutes the refereed proceedings of the 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, held in Toulouse, France, August 29-31, 2011. The 25 revised full papers presented...Loe edasi...
Roberto Moreno Díaz, Franz Pichler, Alexis Quesada-Arencibia
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 08-Oct-2009, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642047718)
The concept of CAST as Computer Aided Systems Theory was introduced by F. Pichler in the late 1980s to refer to computer theoretical and practical developments as tools for solving problems in system science. It was thought of as the third component...Loe edasi...
(Ilmumisaeg: 18-Jul-2008, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540705512)
IMPROVE stands for Information Technology Support for Collaborative and Distributed Design Processes in Chemical Engineering and is a large joint project of research institutions at RWTH Aachen University. This volume summarizes the results after 9...Loe edasi...
Weiming Shen, Kuo-Ming Chao, Zongkai Lin, Jean-Paul A. Barthès, Anne James
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 22-Mar-2006, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540329695)
This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2005, held in Coventry, UK, in May 2005. The 65 revised full papers presented were carefully re...Loe edasi...
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 22-Sep-2005, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540290025)
This book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Computer Aided Systems Theory, EUROCAST 2005, held in Las Palmas de Gran Canaria, Spain in February 2005.The 83 revised full papers presented were...Loe edasi...
(Ilmumisaeg: 19-Sep-2005, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540292098)
The Automated Technology for Veri cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri cation spurred by the booming IT industry, particularly hardware design and manufacturi...Loe edasi...
(Ilmumisaeg: 17-Nov-2004, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540237389)
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Austin, Texas, USA in November 2004.The 29 revised full papers presented together with the abstract of...Loe edasi...
(Ilmumisaeg: 19-Oct-2004, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540236108)
This book constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004.The 24 revised full papers presented toge...Loe edasi...
(Ilmumisaeg: 13-Oct-2003, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540202219)
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Computer Aided Systems Theory, EUROCAST 2003, held in Las Palmas de Gran Canaria, Spain in February 2003.The 60 revised full papers presented were car...Loe edasi...
Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 28-Nov-2001, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540429593)
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Computer Aided Systems Theory, EUROCAST 2001, held in Las Palmas de Gran Canaria, Spain in February 2001.The 48 revised full papers presented together...Loe edasi...
(Ilmumisaeg: 23-Oct-2002, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540001164)
This book constitutes the refereed proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA in November 2002.The 23 revised full papers presented were carefully reviewed and sel...Loe edasi...
(Ilmumisaeg: 18-Oct-2000, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540412199)
This book constitutes the refereed proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, FMCAD 2000, held in Austin, Texas in November 2000.The 30 revised full papers presented together with two invited contrib...Loe edasi...
