1
Developments in Language Theory [E-Book] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings /
2
Principles and Practice of Constraint Programming – CP 2011 [E-Book] : 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings /
3
Algorithmic Learning Theory [E-Book] : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings /
4
Formal Modeling and Analysis of Timed Systems [E-Book] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings /
5
Fundamentals of Computation Theory [E-Book] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings /
6
Implementation and Application of Automata [E-Book] : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings /
7
Unconventional Computation [E-Book] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings /
8
Theory and Applications of Satisfiability Testing - SAT 2011 [E-Book] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings /
9
Computer Science – Theory and Applications [E-Book] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings /
10
Mathematical Foundations of Computer Science 2011 [E-Book] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings /
11
Automata, Languages and Programming [E-Book] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II /
12
Theoretical Aspects of Computing – ICTAC 2011 [E-Book] : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings /
13
Logic, Language, Information and Computation [E-Book] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings /
14
Theory and Applications of Models of Computation [E-Book] : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings /
15
Recent Advances in Constraints [E-Book] : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers /
16
Verification, Model Checking, and Abstract Interpretation [E-Book] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
17
Logic and Its Applications [E-Book] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings /
18
Implementation and Application of Automata [E-Book] : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers /
19
Reachability Problems [E-Book] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings /
20
Frontiers of Combining Systems [E-Book] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings /