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...
Ngoc Thanh Nguyen, Ryszard Kowalczyk, Joaquim Filipe
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 30-Sep-2016, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662535240)
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...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 06-Aug-2016, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662529461)
The book is based on the PhD thesis Descriptive Set Theoretic Methods in Automata Theory, awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected connections...Loe edasi...
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 ta...Loe edasi...
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 c...Loe edasi...
(Ilmumisaeg: 21-Jul-2016, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662531310)
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 carefull...Loe edasi...
This volume constitutes the thoroughly refereed proceedings of the 22nd IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2016, held in Zurich, Switzerland, in June 2016. This volume contains 3 invited t...Loe edasi...
This book constitutes the thoroughly refereed post-conference proceedings of the 24rd International Conference on Inductive Logic Programming, ILP 2014, held in Nancy, France, in September 2013.The 14 revised papers presented were carefully reviewed...Loe edasi...
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. This volume contains 1 invited talk in full-paper length and 10...Loe edasi...
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...
