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 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 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 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 refereed joint post-conference proceedings of the 6th International Symposium on High-Performance Computing, ISHPC 2005, held in, Japan, in 2005.  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

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 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 volume constitutes the refereed proceedings of the International Workshop on Engineering Stochastic Local Search Algorithms. Inside the volume, readers will find twelve full papers as well as nine short papers.  Meer

The refereed post-proceedings of the First International Symposium on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies are presented in this volume.  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 refereed proceedings of the 4th International Symposium on Stochastic Algorithms: Foundations and Applications, SAGA 2007. The nine revised full papers and five invited papers presented were carefully selected for inclusion in the book.  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

This book constitutes the refereed proceedings of the Third International Conference on High Performance Computing and Communications, HPCC 2007. The 75 revised full papers address all current issues of parallel and distributed systems and high performance computing and communication, including networking protocols, embedded systems, wireless, mobile and pervasive computing, Web services and internet computing, and programming interfaces for parallel systems.  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 post-proceedings of the First and Second VLDB Workshop Ontologies-based techniques for DataBases and Information Systems, held in Trondheim, Norway, September 2005 and Seoul, Korea, September 2006.  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 23rd Annual Symposium on Theoretical Aspects of Computer Science, held in February 2006. The 54 revised full papers presented together with three invited papers were carefully reviewed and selected from 283 submissions.  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