Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
-
Computer Safety, Reliability, and Security: 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
The papers are organized in topical sections on flight systems, automotive... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Performance Engineering: 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 12th European Workshop on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Logic in Multi-Agent Systems: 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Science and Its Applications -- ICCSA 2013: 13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV (Bog, Paperback / softback, Engelsk)
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam in June 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Logic in Multi-Agent Systems: 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014. The 12 regular papers were carefully reviewed and selected from 20 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Science and Its Applications - ICCSA 2014: 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 204, Proceedings, Part V (Bog, Paperback / softback, Engelsk)
The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Science and Its Applications - ICCSA 2014: 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 204, Proceedings, Part VI (Bog, Paperback / softback, Engelsk)
The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Science and Its Applications - ICCSA 2014: 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 204, Proceedings, Part IV (Bog, Paperback / softback, Engelsk)
The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Logistics: 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 8th InternationalConference on Computational Logistics, ICCL 2017, held in Southampton,UK, in October 2017.The 38 papers presented in this volume were carefully reviewed and selected for inclusion in the book.
Levering: Skaffevare (forvent 14 - 30 hverdage)
