Systemanalyse og systemdesign
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
OpenMP: Memory, Devices, and Tasks: 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 12th International Workshop on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
New Opportunities for Software Reuse: 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 17th International Conference on Software Reuse, ICSR 2018, held in Madrid, Spain, in May 2018. The 9 revised full papers and 2 short papers presented were carefully reviewed and selected from 29 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018. The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Mastering Scale and Complexity in Software Reuse: 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 16th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Machine Learning, Optimization, and Big Data: Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes revised selected papers from the Second... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Large-Scale Scientific Computing: 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Languages and Compilers for Parallel Computing: 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Internet of Things, Smart Spaces, and Next Generation Networks and Systems: 15th International Conference, NEW2AN 2015, and 8th Conference, ruSMART 2015, St. Petersburg, Russia, August 26-28, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the joint refereed proceedings of the 15th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Internet of Things, Smart Spaces, and Next Generation Networks and Systems: 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28–30, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the joint refereed proceedings of the 17th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasilia, Brazil, September 26–29, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 8th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Human-Centered and Error-Resilient Systems Development: IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Develop (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
