(Ilmumisaeg: 10-Nov-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319494876)
Algorithm Engineering is a methodology for algorithmic research that combines theory with implementation and experimentation in order to obtain better algorithms with high practical impact. Traditionally, the study of algorithms was dominated by math...Loe edasi...
John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
Sari: Programming and Software Engineering
(Ilmumisaeg: 06-Nov-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319489896)
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk...Loe edasi...
Ngoc Thanh Nguyen, Ryszard Kowalczyk, Joaquim Filipe
Sari: Transactions on Computational Collective Intelligence
(Ilmumisaeg: 29-Sep-2016, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662535257)
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover ne...Loe edasi...
(Ilmumisaeg: 23-Sep-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319471068)
This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 chal...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 05-Aug-2016, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662529478)
The book is based on the PhD thesis "e;Descriptive Set Theoretic Methods in Automata Theory,"e; awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 20-Jul-2016, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662531327)
This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016.The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed...Loe edasi...
(Ilmumisaeg: 01-Jun-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319393001)
This volume constitutes the thoroughly refereed proceedings of the 22nd IFIP WG 1.5International Workshop on Cellular Automata and Discrete ComplexSystems, AUTOMATA 2016, held in Zurich, Switzerland, in June 2016.This volume contains 3 invited talks...Loe edasi...
(Ilmumisaeg: 26-Dec-2015, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319237084)
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Inductive Logic Programming, ILP 2014, held in Nancy, France, in September 2014. The 14 revised papers presented were carefully reviewe...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 15-Jun-2015, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319192253)
This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were...Loe edasi...
Teijiro Isokawa, Katsunobu Imai, Nobuyuki Matsui, Ferdinand Peper, Hiroshi Umeo
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 14-May-2015, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319188126)
This book constitutes revised selected papers from the 20th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2014, held in Himeji, Japan, in July 2014. The 10 regular papers included in this volume were carefully rev...Loe edasi...
