for at udvide
kategorilisten.
Softwareudvikling
-
Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings (Bog, Paperback / softback, Engelsk)
Constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability: 25th Australian Computer-Human Interaction Conference, OzCHI 2013, Adelaide, SA, Australia, November 25-29, 2013. Revised and Extended Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Information Systems and Industrial Management: 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 14th IFIP TC 8 International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Logistics: 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 6th International Conference on Computational Logistics, ICCL 2015, held in Delft, The Netherlands, in September 2015.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
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)
