Title: Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, Author: Louis-Martin Rousseau
Title: Algorithmic Aspects in Information and Management: 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008, Proceedings / Edition 1, Author: Rudolf Fleischer
Title: Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers / Edition 1, Author: Andrei Voronkov
Title: Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers, Author: Maurizio Proietti
Title: Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings / Edition 1, Author: Hans Kleine Büning
Title: A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, Author: Sam Lindley
Title: Theory and Practice of Natural Computing: 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings, Author: Carlos Martín-Vide
Title: Parallel Lisp: Languages and Systems: US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings / Edition 1, Author: Takayasu Ito
Title: Parallel Architectures and Their Efficient Use: First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992. Proceedings / Edition 1, Author: Friedhelm Meyer auf der Heide
Title: Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers, Author: Josep Silva
Title: Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings / Edition 1, Author: Manuel Hermenegildo
Title: Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings / Edition 1, Author: Tobias Nipkow
Title: Computers and Games: 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 - July 1, 2016, Revised Selected Papers, Author: Aske Plaat
Title: Object-Based Models and Languages for Concurrent Systems: ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Selected Papers / Edition 1, Author: Paolo Ciancarini
Title: Methods of Programming: Selected Papers on the CIP-Project / Edition 1, Author: Manfred Broy
Title: Computer Algebra and Parallelism: Second International Workshop, Ithaca, USA, May 9-11, 1990. Proceedings / Edition 1, Author: Richard E. Zippel
Title: Advances in Swarm Intelligence: 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II, Author: Ying Tan
Title: Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques: 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004 and 8th International Workshop on Randomization and Computa / Edition 1, Author: Klaus Jansen
Title: Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings, Author: David N. Jansen
Title: Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers, Author: Alessandro Abate

Pagination Links