Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
-
Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
New Horizons in Design Science: Broadening the Research Agenda: 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2015, held in Dublin, Ireland, in May 2015.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Networked Systems: 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Network and Parallel Computing: 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 13th IFIP WG 10.3International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Networked Systems: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed conference proceedings of the 5th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 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) -
Network and Parallel Computing: 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 14th IFIP WG 10.3 International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Multi-Agent Systems and Agreement Technologies: 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the revised selected papers from the 13 European... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Multi-Agent Systems: 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 12th European Conference on Multi-Agent Systems, EUMAS 2014, held in Prague, Czech Republic, in December 2014. The 21 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 79 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage)
