Informatik (15 757 Artikel)

This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 2...

9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

10th International Conference, CROWNCOM 2015, Doha, Qatar, April 21-23, 2015, Revised Selected Papers

This book constitutes the refereed proceedings of the 6th Conference on Knowledge Engineering and the Semantic Web, KESW 2015, held in Moscow, Russia, in September/October 2015.The 17 revised full ...

Proceedings of the 10th International Symposium on Computer Science in Sports (ISCSS)

11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

This volume constitutes the refereed proceedings of the 22st EuroSPI conference, held in Ankara, Turkey, in September/October 2015.The 18 revised papers presented together with 9 selected key notes...

This book constitutes the refereed proceedings of the 21th International Conference on Information and Software Technologies, ICIST 2015, held in Druskininkai, Lithuania, in October 2015.The 51 pap...

15th International Conference, ICWE 2015 Workshops, NLPIT, PEWET, SoWEMine, Rotterdam, The Netherlands, June 23-26, 2015. Revised Selected Papers

This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2015, held in Wroclaw, Poland, in October 2015. The...

11th International Workshop, RFIDsec 2015, New York, NY, USA, June 23-24, 2015, Revised Selected Papers

11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings

17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings