Søkt på: general thomas
Vi gjorde et søk på tittelen istedenfor general thomas som gavtotalt 15 treff
Approximation and Online Algorithms
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Approximation and Online Algorithms, WAOA 2006, held in Zurich, Switzerland in …
Swarm Intelligence
These proceedings contain the papers presented at ANTS 2010, the 7th Int- national Conference on Swarm Intelligence, organized by IRIDIA, CoDE, U- versiteLibre de …
Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics
LION 3, the Third International Conference on Learning and Intelligent Op- mizatioN, was held during January 14–18 in Trento, Italy. The LION series of conferences provides a …
Small Dynamic Complexity Classes
"Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis …
Ant Colony Optimization and Swarm Intelligence
ANTS – The International Workshop on Ant Colony Optimization and Swarm Intelligence is now at its ?fth edition. The series started in 1998 with the - ganization of ANTS 1998. At …
Static Analysis
This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers …
Computer Aided Verification
This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4th Federated Logic Conference, …
Graph-Theoretic Concepts in Computer Science
The 34th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2008) took place in Van Mildert College at Durham University, UK, 30 June – 2 July 2008. The …
Formal Modeling and Analysis of Timed Systems
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8–10, 2010, …
STACS 2006
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 …