Title: Mathematics for the Analysis of Algorithms, Author: Daniel H. Greene
Title: Software Visualization: From Theory to Practice / Edition 1, Author: Kang Zhang
Title: The Logic of Adaptive Behavior: Knowledge Representation and Algorithms for Adaptive Sequential Decision Making under Uncertainty in First-Order and Relational Domains, Author: Martijn van Otterlo
Title: Advances in Inductive Logic Programming / Edition 1, Author: L De Raedt
Title: Computer Arithmetic Algorithms / Edition 2, Author: Israel Koren
Title: Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / Edition 1, Author: Germán Puebla
Title: Proof Technology and Computation: Volume 200 NATO Science Series, Computer and Systems Sciences, Author: K. Spies
Title: Evolutionary Algorithms: The Role of Mutation and Recombination / Edition 1, Author: William M. Spears
Title: Algorithms and Architectures for Parallel Processing: 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings, Author: Jesus Carretero
Title: Transactions on High-Performance Embedded Architectures and Compilers I / Edition 1, Author: Mike O'Boyle
Title: Specification and Transformation of Programs: A Formal Approach to Software Development / Edition 1, Author: Helmut A. Partsch
Title: Logic for Concurrency and Synchronisation / Edition 1, Author: R.J. De Queiroz
Title: Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings / Edition 1, Author: Hubert Comon
Title: Design of Hashing Algorithms / Edition 1, Author: Josef Pieprzyk
Title: Theoretical Computer Science: 37th National Conference, NCTCS 2019, Lanzhou, China, August 2-4, 2019, Revised Selected Papers, Author: Xiaoming Sun
Title: Evolutionary Computing: AISB Workshop, Brighton, U.K., April 1 - 2, 1996. Selected Papers / Edition 1, Author: Terence C. Fogarty
Title: Continuous Nonlinear Optimization for Engineering Applications in GAMS Technology, Author: Neculai Andrei
Title: Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings, Author: Christian S. Calude
Title: Reliability and Safety Analyses under Fuzziness / Edition 1, Author: Takehisa Onisawa
Title: Declarative Programming for Knowledge Management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers / Edition 1, Author: Masanobu Umeda

Pagination Links