Informatik (15 757 Artikel)

14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings

This book constitutes the refereed proceedings of the IFIP WG 13.2/13.5 Joint Working Conferences: 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th Internatio...

9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings

22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes. The underlying concepts are...

17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016, Proceedings

This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 2...

SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings

This book constitutes the proceedings of the 12th International Workshop on OpenMP, IWOMP 2016, held in Nara, Japan, in October 2016. The 24 full papers presented in this volume were carefully revi...

4th International Conference, BELIEF 2016, Prague, Czech Republic, September 21-23, 2016, Proceedings

9th International Conference, TRUST 2016, Vienna, Austria, August 29-30, 2016, Proceedings

4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers

18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings