This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday. Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model...Loe edasi...
This book constitutes the refereed proceedings of the 6th International Workshop on Computational Methods and Clinical Applications for Musculoskeletal Imaging, MSKI 2018, held in conjunction with MICCAI 2018, in Granada, Spain, in September 2018....Loe edasi...
This book constitutes the refereed proceedings of the 10th International Conference on System Analysis and Modeling, SAM 2018, held in Copenhagen Denmark, in October 2018. The 12 full papers and 2 short papers presented were carefully revi...Loe edasi...
This valuable source for graduate students and researchers provides a comprehensive introduction to current theories and applications in optimization methods and network models. Contributions to this book are focused on new efficient algorithms an...Loe edasi...
This book constitutes the refereed proceedings of the 5th International Workshop and Challenge on Computational Methods and Clinical Applications for Musculoskeletal Imaging, MSKI 2017, held in conjunction with MICCAI 2017, in Quebec City, QC...Loe edasi...
This book constitutes the refereed proceedings of the First ECML PKDD Workshop, AALTD 2015, held in Porto, Portugal, in September 2016.The 11 full papers presented were carefully reviewed and selected from 22 submissions. The first part focuses on l...Loe edasi...
This book constitutes the refereed papers of the proceedings of the 8th International Conference on System Analysis and Modeling, SAM 2014, held in Valencia, Spain, in September 2014. The 18 full papers and the 3 short papers presented together with...Loe edasi...
(Ilmumisaeg: 17-Apr-2013, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642380877)
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully...Loe edasi...
(Ilmumisaeg: 02-Feb-2013, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642367564)
This book constitutes revised papers of the proceedings of the 7th International Workshop on System Analysis and Modeling, SAM 2012, held in Innsbruck, Austria, in October 2012.The 12 papers presented were carefully reviewed and selected from 27 sub...Loe edasi...
(Ilmumisaeg: 27-Mar-2012, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642288906)
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks wer...Loe edasi...
(Ilmumisaeg: 22-Jun-2011, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642216510)
This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in October 2010. The 15 revised full papers presented wen...Loe edasi...
Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 06-Apr-2011, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642203978)
This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, an...Loe edasi...
Cyrille Bertelle, Gérard H. E. Duchamp, Hakima Kadri-Dahmani
Sari: Understanding Complex Systems
(Ilmumisaeg: 08-Jan-2009, Hardback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540880721)
The concern of this book is the use of emergent computing and self-organization modelling within various applications of complex systems. The authors focus their attention both on the innovative concepts and implementations in order to model self-org...Loe edasi...
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
Selected Proceedings of the 6th IWA International Symposium on Systems Analysis and Integrated Assessment (WATERMATEX 2004), held in Beijing, China, 3-5 November 2004. Watermatex 2004 was the 6th in IWAs well established series of symposia on system...Loe edasi...
Sari: Computer Communication Networks and Telecommunications
(Ilmumisaeg: 07-Dec-2006, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540683711)
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, held in Kaiserslautern, Germany in May/June 2006. The 14 revised full papers cover language profiles, evolution of developmen...Loe edasi...
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
Proceedings of the International Symposium DISCO ^90, Capri, Italy, April 1990. Includes papers on theory, languages, software environments, architectures and in particular, papers on the design and the development of significant running systems. No...Loe edasi...
