|
AI 2012: Advances in Artificial Intelligence
|
Michael Thielscher |
This book constitutes the refereed proceedings of the 25th Australasian Joint Conference on Artificial Intelligence, AI 2012, held in Sydney, Australia, in December 2012. <br>The 76 revised full pape… |
OL19825135W |
|
Automata, Languages, and Programming
|
Fedor V. Fomin |
This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in J… |
OL19829191W |
|
Biomimetic and Biohybrid Systems
|
Nathan F. Lepora |
This book constitutes the refereed proceedings of the second International Conference on Biomimetic and Biohybrid Systems, Living Machines 2013, held in London, UK, in July/August 2013. The 65 revise… |
OL19831438W |
|
Evolutionary Computation in Combinatorial Optimization
|
Martin Middendorf |
This book constitutes the refereed proceedings of the 13th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2013, held in Vienna, Austria, in April 2013, colocate… |
OL19848760W |
|
Hybrid Metaheuristics
|
María J. Blesa |
This book constitutes the refereed proceedings of the 8th International Workshop on Hybrid Metaheuristics, HM 2013, held in Ischia, Italy, in May 2013. The 16 revised full papers presented were caref… |
OL19856334W |
|
Verification, Model Checking, and Abstract Interpretation
|
Roberto Giacobazzi |
This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-… |
OL19909493W |