Ihre Suche nach Theoretische Informatik

21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings

24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers

117 Aufgaben und Lösungen

17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers

12th Annual Meeting of the Bulgarian Section of SIAM December 20-22, 2017, Sofia, Bulgaria Revised Selected Papers

International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

XIX International Conference, DAMDID/RCDL 2017, Moscow, Russia, October 10-13, 2017, Revised Selected Papers

23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers

18th Workshop, CLSW 2017, Leshan, China, May 18-20, 2017, Revised Selected Papers

First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings