1701
Formal Methods and Software Engineering [E-Book] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings /
1702
On the Move to Meaningful Internet Systems: OTM 2011 [E-Book] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I /
1703
Stabilization, Safety, and Security of Distributed Systems [E-Book] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings /
1704
Network and Parallel Computing [E-Book] : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings /
1705
Advances in Artificial Intelligence [E-Book] : 14th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2011, La Laguna, Spain, November 7-11, 2011. Proceedings /
1706
Network Optimization [E-Book] : 5th International Conference, INOC 2011, Hamburg, Germany, June 13-16, 2011. Proceedings /
1707
Convergence and Hybrid Information Technology [E-Book] : 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings /
1708
Models of Computation in Context [E-Book] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings /
1709
Similarity-Based Pattern Recognition [E-Book] : First International Workshop, SIMBAD 2011, Venice, Italy, September 28-30, 2011. Proceedings /
1710
Information Hiding [E-Book] : 13th International Conference, IH 2011, Prague, Czech Republic, May 18-20, 2011, Revised Selected Papers /
1711
Machine Learning in Medical Imaging [E-Book] : Second International Workshop, MLMI 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings /
1712
Advances in Information and Computer Security [E-Book] : 6th International Workshop, IWSEC 2011, Tokyo, Japan, November 8-10, 2011. Proceedings /
1713
Genetic Programming Theory and Practice II [E-Book] /
1714
Hypercomputation [E-Book] : Computing Beyond the Church-Turing Barrier /
1715
Super-Recursive Algorithms [E-Book] /
1716
Taschenbuch der Algorithmen [E-Book] /
1717
High Performance Computing û HiPC 2005 : 12th International Conference, Goa, India, December 18-21, 2005. Proceedings [E-Book] /
1718
Research in Computational Molecular Biology (vol. # 3909) [E-Book] / 10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006, Proceedings
1719
Privacy Enhancing Technologies [E-Book] : 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010. Proceedings /
1720
Self-Organizing Architectures [E-Book] : First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers /