Title: Cooperation in Heterogeneous Theorem Prover Networks / Edition 1, Author: Dirk Fuchs
Title: Evolutionary Computation in Combinatorial Optimization: 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Author: Francisco Chicano
Title: C++ Design Patterns and Derivatives Pricing / Edition 2, Author: M. S. Joshi
Title: Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Healthcare Applications: 10th International Conference, DHM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 20, Author: Vincent G. Duffy
Title: Agile Culture, The: Leading through Trust and Ownership / Edition 1, Author: Pollyanna Pixton
Title: Artificial Societies: The Computer Simulation Of Social Life / Edition 1, Author: Nigel Gilbert University of Surrey; Rosaria Conte National Research Council of Italy.
Title: Software Specification Methods: An Overview Using a Case Study / Edition 1, Author: Marc Frappier
Title: Abdominal Imaging. Computational and Clinical Applications: 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014., Author: Hiroyuki Yoshida
Title: Systems Modeling and Simulation: Theory and Applications: Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers / Edition 1, Author: Doo-Kwon Baik
Title: C# 3.0: A Beginner's Guide / Edition 2, Author: Herbert Schildt
Title: Python for Everyone / Edition 2, Author: Cay S. Horstmann
Title: The Unified Process Inception Phase: Best Practices in Implementing the UP / Edition 1, Author: Scott W. Ambler
Title: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Edition 1, Author: Peter E. Lauer
Title: Basic Simple Type Theory, Author: J. Roger Hindley
Title: Data Structures and Algorithms: A First Course / Edition 1, Author: Iain T. Adamson
Title: Of Poles and Zeros: Fundamentals of Digital Seismology / Edition 2, Author: F. Scherbaum
Title: Component-Based Software Engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings / Edition 1, Author: Michel R. V. Chaudron
Title: Ada in Europe: Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 / Edition 1, Author: Marcel Toussaint
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic ProgrammingVolume 5: Logic Programming, Author: Dov M. Gabbay
Title: Representations, Analysis and Recognition of Shape and Motion from Imaging Data: 7th International Workshop, RFMI 2017, Savoie, France, December 17-20, 2017, Revised Selected Papers, Author: Liming Chen

Pagination Links