This two volume set LNCS 5163 and LNCS 5164 constitutes the refereed proceedings of the 18th International Conference on Artificial Neural Networks, ICANN 2008, held in Prague Czech Republic, in September 2008.  Meer

The two volume set LNCS 5263/5264 constitutes the refereed proceedings of the 5th International Symposium on Neural Networks, ISNN 2008, held in Beijing, China in September 2008.  Meer

This book constitutes the refereed proceedings of the 12th IMA International Conference on the Mathematics of Surfaces, held in Sheffield, UK in September 2007.  Meer

This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers.  Meer

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.  Meer

This book constitutes the refereed proceedings of the Third Latin-American Symposium on Dependable Computing, LADC 2007, held in Morelia, Mexico, in September 2007.  Meer

This book presents the refereed joint proceedings of seven workshops on evolutionary computing, EvoWorkshops 2006, held in Budapest in April 2006. 65 revised full papers and 13 revised short papers presented were carefully reviewed and selected from a total of 149 submissions.  Meer

This book constitutes the refereed proceedings of the Second International Conference on Algebraic Informatics, CAI 2007, held in Thessaloniki, Greece, in May 2007.  Meer

This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.  Meer

This book constitutes the refereed proceedings of the 22nd International Symposium on Distributed Computing, DISC 2008, held in Arcachon, France, in September 2008.  Meer

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008.  Meer

This two volume set LNCS 5163 and LNCS 5164 constitutes the refereed proceedings of the 18th International Conference on Artificial Neural Networks, ICANN 2008, held in Prague Czech Republic, in September 2008.  Meer

This book constitutes the thoroughly refereed post-proceedings of the 11th International Conference on Computer Aided Systems Theory, EUROCAST 2007. Coverage in the 144 revised full papers presented includes formal approaches, computation and simulation in modeling biological systems, intelligent information processing, heuristic problem solving, signal processing architectures, robotics and robotic soccer, cybercars and intelligent vehicles and artificial intelligence components.  Meer

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008.  Meer

This book constitutes the refereed proceedings of the Second International Symposium on Intelligence Computation and Applications, ISICA 2007, held in Wuhan, China, in September 2007.  Meer

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Applied Parallel Computing, PARA 2006. It covers partial differential equations, parallel scientific computing algorithms, linear algebra, simulation environments, algorithms and applications for blue gene/L, scientific computing tools and applications, parallel search algorithms, peer-to-peer computing, mobility and security, algorithms for single-chip multiprocessors.  Meer

This book constitutes the refereed proceedings of the 5th International Workshop on Algorithms and Models for the Web-Graph, WAW 2007, held in San Diego, CA, USA, in December 2007 - colocated with WINE 2007, the Third International Workshop on Internet and Network Economics.  Meer

These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March 2006. 39 revised papers are presented together with the abstracts of 3 invited talks.  Meer

This book constitutes the refereed proceedings of the 21st International Symposium on Distributed Computing, DISC 2007. The 32 revised full papers, presented together with abstracts of three invited papers and nine brief announcements of ongoing works, cover all current issues in distributed computing, including theory, design, analysis, implementation, and application of distributed systems and networks.  Meer

This book constitutes the refereed proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC 2007, held in Bonn, Germany, in September 2007.  Meer