Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 08-Sep-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319456416)
This book constitutes the proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, held in Bucharest, Romania, in September 2016. The 32 papers presented in this volume were carefully reviewed and select...Loe edasi...
(Ilmumisaeg: 05-Jul-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319409467)
This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016.The 26 revised full papers presented were carefully reviewed and...Loe edasi...
(Ilmumisaeg: 31-May-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319388519)
This book constitutes the refereed proceedings of the 15th International Symposium on Experimental Algorithms, SEA 2016, held in St. Petersburg, Russia, in June 2016.The 25 revised full papers presented were carefully reviewed and selected from 54 su...Loe edasi...
"e;Progress in Expressive Image Synthesis"e;(MEIS2015), was held in Fukuoka, Japan, September 25 27, 2015. The aim of thesymposium was to provide a unique venue where various issues in computergraphics (CG) application fields could be discuss...Loe edasi...
Sari: Lecture Notes in Computational Science and Engineering
(Ilmumisaeg: 21-Dec-2015, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319233154)
Isogeometric Analysis is a groundbreaking computational approach that promises the possibility of integrating the finite element method into conventional spline-based CAD design tools. It thus bridges the gap between numerical analysis and geometry,...Loe edasi...
Sari: Lecture Notes in Computational Science and Engineering
(Ilmumisaeg: 21-Dec-2015, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319233154)
Isogeometric Analysis is a groundbreaking computational approach that promises the possibility of integrating the finite element method into conventional spline-based CAD design tools. It thus bridges the gap between numerical analysis and geometry,...Loe edasi...
Harri Oinas-Kukkonen, Netta Iivari, Kari Kuutti, Anssi Öörni, Mikko Rajanen
Sari: Lecture Notes in Business Information Processing
(Ilmumisaeg: 22-Jul-2015, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319217833)
This book contains the refereed proceedings of the 6th Scandinavian Conference on Information Systems, SCIS 2015, held in Oulu, Finland, in August 2015. The theme for this book as well as for the conference is "e;Design for, with, and by Users.&q...Loe edasi...
(Ilmumisaeg: 23-May-2015, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319192499)
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissio...Loe edasi...
(Ilmumisaeg: 18-Apr-2014, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319064109)
This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submission...Loe edasi...
(Ilmumisaeg: 21-Aug-2012, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642327599)
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully...Loe edasi...
(Ilmumisaeg: 26-Apr-2012, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642294853)
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influ...Loe edasi...
(Ilmumisaeg: 23-Apr-2012, PDF+DRM, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781461424352)
This volume consists of papers presented at the Variational Analysis and Aerospace Engineering Workshop II held in Erice, Italy in September 2010 at the International School of Mathematics "e;Guido Stampacchia"e;. The workshop provided a plat...Loe edasi...
Sari: Lecture Notes in Control and Information Sciences
(Ilmumisaeg: 10-Nov-2011, PDF+DRM, Kirjastus: Springer London Ltd, ISBN-13: 9781447122654)
Distributed Decision Making and Control is a mathematical treatment of relevant problems in distributed control, decision and multiagent systems, The research reported was prompted by the recent rapid development in large-scale networked and embedded...Loe edasi...
(Ilmumisaeg: 21-Jun-2011, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642214370)
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and sel...Loe edasi...
(Ilmumisaeg: 04-Nov-2009, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642050893)
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as th...Loe edasi...
(Ilmumisaeg: 05-Jun-2008, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540682370)
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 inv...Loe edasi...
(Ilmumisaeg: 25-Aug-2005, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540317142)
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18-22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to...Loe edasi...
