for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
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.
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
This book constitutes the proceedings of the 14th IFIP TC 8 International... Læs mere
This book constitutes the refereed proceedings of the 6th International Conference on Computational Logistics, ICCL 2015, held in Delft, The Netherlands, in September 2015.
The papers are organized in topical sections on flight systems, automotive... Læs mere
This book constitutes the refereed proceedings of the 12th European Workshop on... Læs mere
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings... Læs mere
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings... Læs mere
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.
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.
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.
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.