Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected ... Notes in Computer Science Book 10757) [1st ed. 2018] 9783319755533, 9783319755526, 3319755536

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence: 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected ... Notes in Computer Science Book 10679) [1st ed. 2018] 9783319738147, 9783319738130, 3319738143

113 89 3MB Read more

Computer Games: 6th Workshop, CGW 2017, Held in Conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, Melbourne, VIC, ... Computer and Information Science Book 818) [1st ed. 2018] 9783319759319, 9783319759302, 3319759310

105 6 3MB Read more

Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers 978-3-319-78102-0, 3319781022, 978-3-319-78101-3

276 94 5MB Read more

Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected ... Computer Science and General Issues) 3319901036, 9783319901039

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Objec

122 57 18MB Read more

Algorithmic Aspects of Cloud Computing: Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers (Lecture Notes in Computer Science Book 10739) [1st ed. 2018] 9783319748757, 9783319748740, 3319748750

122 0 3MB Read more

Pattern Recognition Applications and Methods: 6th International Conference, ICPRAM 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers (Lecture Notes in Computer Science, 10857) 9783319936468, 9783319936475, 3319936468

This book contains revised and extended versions of selected papers from the 6th International Conference on Pattern Rec

153 72 32MB Read more

Performance Evaluation and Benchmarking for the Analytics Era: 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected ... Notes in Computer Science Book 10661) [1st ed. 2018] 9783319724010, 9783319724003, 3319724010

102 21 3MB Read more

Theory and applications of satisfiability testing - SAT 2017: 20th international conference, Melbourne, VIC, Australia, August 28 - September 1, 2017: proceedings 978-3-319-66262-6, 3319662627, 978-3-319-66263-3

219 93 13MB Read more

Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science Book 10748) [1st ed. 2018] 9783319747309, 9783319747293, 3319747304

118 93 6MB Read more

Inductive Logic Programming: 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers (Lecture Notes in Computer Science, 10759) 3319780891, 9783319780894

This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Conference on Induct

120 16 15MB Read more