Maths for Computer Scientists

This volume contains the 69 papers presented at the 16th Annual European Symposium on Algorithms (ESA 2010), held in Liverpool during September 6-8...

This book celebratesthe 25th anniversaryof GULPthe Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of th...

To design future networks that are worthy of societys trust, we must put the discipline of computer networking on a much stronger foundation. This ...

The goal of Algorithmic Mathematics in Machine Learning is to explore several well-known machine learning and data analysis algorithms from a mathe...

The book presents the mathematical view and tools of computer programming with broad and friendly context. It explains the basic concepts such as r...

This volume contains the articles presented at the 20th International Meshing Roundtable (IMR) organized, in part, by Sandia National Laboratories ...

This book presents the state-of-the-art in simulation on supercomputers. Leading researchers present results achieved on systems of the High Perfor...

Discrete Mathematics and theoretical computer science are closely linked research areas with strong impacts on applications and various other scien...

The 2009 International Conference on High-Performance Networking, Computing and Communication Systems and the 2009 International Conference on Theo...

This book provides a comprehensive presentation of a recently introduced framework, named probabilistic indexing (PrIx), for searching text in larg...

Maximise student engagement and understanding of matrix methods in data-driven applications with this modern teaching package. Students are introdu...

LION 4, the 4th International Conference on Learning and Intelligent Op- mizatioN, was held during January 18-22 in Venice, Italy. This meeting, wh...

The 9th issue of the Transactions on Computational Science journal, edited by François Anton, is devoted to the subject of Voronoi diagrams in scie...

This book constitutes the thoroughly refereed post workshop proceedings of the 8th International Workshop on Approximation and Online Algorithms, W...

The series of MFCS symposia, organized in rotation by Poland, Slovakia, and the Czech Republic since 1972, has a long and well-established traditio...

Gheorghe Pun has played an important role within a wide range of disciplines, from the foundations of traditional computation theory and formal lan...

This book constitutes the refereed proceedings of the 6th International Workshop on Internet and Network Economics, WINE 2010, held in Stanford, US...

Property Testing is the study of super-fast (randomized) algorithms for approximate decision making. These algorithms are given direct access to it...

Itis ourpleasureto presenttheproceedingsofthe17thInternationalConference on Analytical and Stochastic Modelling and Applications (ASMTA 2010). The ...

The 5th International Computer Science Symposium in Russia (CSR 2010) was held June 16-20, 2010 in Kazan, Russia, hosted by the Institute of Inform...

The CASC Workshops are traditionally held in turn in the Commonwealth of IndependentStates(CIS)andoutsideCIS(Germanyinparticular,but,attimes, also ...

The ICMS Developer's Meeting is an international congress for which the main theme is mathematical software. The 2010 meeting was the third of a se...

This volume contains the papers presented at SAT 2010, the 13th International Conference on Theory and Applications of Satis?ability Testing. SAT 2...

The 7th Workshop on Approximation and Online Algorithms (WAOA 2009) focused on the design and analysis of algorithms for online and computati- ally...

TheAssociationforMathematicsofLanguage(MOL)istheACLspecialinterest groupdedicated to the study of MathematicalLinguistics. After its ?rst meeting i...

Inspired by the interesting contributions to the 6th Conference on Compu- tional Methods in Systems Biology (CMSB 2008) and the Dagstuhl Seminar 09...

This book constitutes the refereed proceedings of the 8th International Conference on Integration of AI and OR Techniques in Constraint Programming...

FUN with Algorithms is a three-yearlyconference that aims at attracting works which, besides a deep and interesting algorithmic content, also prese...

The Nature of Complex Networks provides a systematic introduction to the statistical mechanics of complex networks and the different theoretical ac...

The 35th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2009) took place at Montpellier (France), June 2426 2009. About...

This book constitutes the proceedings of the 5th International Workshop on Algorithms and Computation, WALCOM 2011, held in New Delhi, India, in Fe...

This book constitutes the refereed proceedings of the 37th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2011, he...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th I...

The 4th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2010) took place in Big Island, Hawaii, USA, December...

th It is with great pleasure that I present the selected papers from the 4 Int- national Sanskrit Computational Linguistics Symposium (4i-SCLS) to ...

ASIACRYPT 2010 was held in the Swiss otel Merchant Court in Singapore, d- ing December 5-9, 2010. The conference was sponsored by the International...