From the reviews: "… The notes and problems at the end of each chapter are very helpful. […] In the final analysis, the book is definitely worth owning. […] It is an extremely well written – but
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008.The volume pr
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, a
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovat
This book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2008, held in Durham, UK, in June/July
The ?rst International Summer School on Theoretical Aspects of Computer Science was organized by the Institute for Studies in Theoretical Physics and Mathematics(IPM)inTehran,Iran. ProgramCommittee Co
This successful textbook on predictive text mining offers a unified perspective on a rapidly evolving field, integrating topics spanning the varied disciplines of data science, machine learning, datab
This book constitutes the refereed proceedings of the European Design Science Symposium, EDSS 2013 held in Dublin, Ireland, in November 2013. The 9 papers presented together with two invited papers we
The science of cryptology is made up of two halves. Cryptography is the study of how to create secure systems for communications. Cryptanalysis is the study of how to break those systems. The conflict
This book constitutes the refereed proceedings of the 4th International Conference on Recent Developments in Science, Engineering and Technology, REDSET 2017, held in Gurgaon, India, in October 2
This guidebook on e-science presents real-world examples of practices and applications, demonstrating how a range of computational technologies and tools can be employed to build essential infrastruct
This book constitutes the refereed proceedings of the Second International Conference on Health Information Science, HIS 2013, held in London, UK, in March 2013.The 20 full papers presented together w
Juraj Hromkovic takes the reader on an elegant route through the theoretical fundamentals of computer science. The author shows that theoretical computer science is a fascinating discipline, full of s
This book introduces the essential concepts of algorithm analysis required by core undergraduate and graduate computer science courses, in addition to providing a review of the fundamental mathematica
This book constitutes the thoroughly refereed proceedings of the First International Congress on Sports Science Research and Technology Support, icSPORTS 2013, Held in Vilamoura, Algarve, Portugal, in
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on High Performance Computing for Computational Science, VECPAR 2014, held in Eugene, OR,
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA in January 2016. The 27 revis
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29
Tabu Search (TS) and, more recently, Scatter Search (SS) have proved highly effective in solving a wide range of optimization problems, and have had a variety of applications in industry, science, and
In this volume the author gives an introduction to the theory of group representations and their applications in image science. The main feature of the presentation is a systematic treatment of the in
This book contains extended and revised versions of selected papers from the Third International Congress on Sports Science Research and Technology Support, icSPORTS 2015, held in Lisbon, Portugal, in
This book constitutes thoroughly revised and selected papers from the Second International Congress on Sports Science Research and Technology Support, icSPORTS 2014, held in Rome, Italy, in October 20
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, It
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, It
This book constitutes the refereed proceedings of the 8th International Conference on Geographic Information Science, GIScience 2014, held in Vienna, Austria in September 2014. The 23 full papers pres
This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences o
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Advanced Infocomm Technology, ICAIT 2012, held in Paris, France, July 2012. The 32 revi
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the r
The emergence of high performance computers and sophisticated software technology has led to significant advances in the development and application of operations research. In turn, the growing com
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Buda
This book constitutes the refereed proceedings of the Third International Conference on Health Information Science, HIS 2014, held in Shenzhen, China, in April 2014. The 29 full papers presented were
This book constitutes the refereed proceedings of the 7th International Conference on Geographic Information Science, GIScience 2012, held in Columbus, OH, USA in September 2012. The 26 full papers pr
This book constitutes the thoroughly refereed papers of the 8th Chinese Conference on The Semantic Web and Web Science, CSWS 2014, held in Wuhan, China, in August 2014. The 22 research papers presente
This book constitutes the thoroughly refereed proceedings of the Third International Conference on Cloud Computing and Services Science, CLOSER 2013, held in Aachen, Germany, in May 2013. The 8 papers
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, held in
Interactive Digital Storytelling has evolved as a prospering research topic banding together formerly disjointed disciplines stemming from the arts and humanities as well as computer science. It’s tie
A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundati
This book constitutes the refereed proceedings of the 12 European Conference on Wireless Sensor Networks, EWSN 2015, held in Porto, Portugal, in February 2015.The 14 full papers and 9 short papers pre
