41
Logic, Language, Information and Computation [E-Book]: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings /
42
The Logic of Categorial Grammars [E-Book]: A Deductive Account of Natural Language Syntax and Semantics /
43
Machines, Computations, and Universality [E-Book] : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
44
Mathematical and Engineering Methods in Computer Science [E-Book]: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers /
45
Membrane Computing [E-Book] : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers /
46
Membrane Computing [E-Book] : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers /
47
Model-Based Safety and Assessment [E-Book] : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings /
48
The Multivariate Algorithmic Revolution and Beyond [E-Book]: Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday /
49
The Nature of Computation. Logic, Algorithms, Applications [E-Book] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
50
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools [E-Book] : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings /
51
Perspectives of Systems Informatics [E-Book]: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers /
52
Principles and Practice of Constraint Programming [E-Book]: 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings /
53
Principles and Practice of Constraint Programming [E-Book] : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings /
54
Pristine Perspectives on Logic, Language, and Computation [E-Book] : ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /
55
Progress in VLSI Design and Test [E-Book]: 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings /
56
Reachability Problems [E-Book]: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /
57
Reachability Problems [E-Book] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings /
58
Reversible Computation [E-Book] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers /
59
Reversible Computation [E-Book] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings /
60
Reversible Computation [E-Book] : 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings /