Title: Analysis and Visualization Tools for Constraint Programming: Constraint Debugging / Edition 1, Author: Pierre Deransart
Title: Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, Author: Javier Campos
Title: Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P, Author: Axel Legay
Title: Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers / Edition 1, Author: Henk Barendregt
Title: Genetic Programming: 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings, Author: Penousal Machado
Title: Evolvable Systems: From Biology to Hardware: 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings / Edition 1, Author: J. Manuel Moreno
Title: Combinatorial Optimization and Applications: 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings, Author: Zhao Zhang
Title: Algorithmic Learning Theory: 7th International Workshop, ALT '96, Sydney, Australia, October 23 - 25, 1996. Proceedings / Edition 1, Author: Setsuo Arikawa
Title: Polynomial Algorithms in Computer Algebra / Edition 1, Author: Franz Winkler

Pagination Links