Title: Visual Languages for Interactive Computing: Definitions and Formalizations, Author: Fernando Ferri
Title: UPC: Distributed Shared Memory Programming / Edition 1, Author: Tarek El-Ghazawi
Title: Trustworthy Compilers / Edition 1, Author: Vladimir O. Safonov
Title: Theory of Semi-Feasible Algorithms / Edition 1, Author: Lane A. Hemaspaandra
Title: Theory Of Randomized Search Heuristics: Foundations And Recent Developments, Author: Benjamin Doerr
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: The Design of Approximation Algorithms, Author: David P. Williamson
Title: The Clausal Theory of Types, Author: D. A. Wolfram
Title: Telecommunications Optimization: Heuristic and Adaptive Techniques / Edition 1, Author: David W. Corne
Title: Storage Management in Data Centers: Understanding, Exploiting, Tuning, and Troubleshooting Veritas Storage Foundation / Edition 1, Author: Volker Herminghaus
Title: Specification and Transformation of Programs: A Formal Approach to Software Development / Edition 1, Author: Helmut A. Partsch
Title: Software Visualization: From Theory to Practice / Edition 1, Author: Kang Zhang
Title: Software Engineering 1: Abstraction and Modelling / Edition 1, Author: Dines Bjørner
Title: Simulation Algorithms for Computational Systems Biology, Author: Luca Marchetti
Title: Signal Processing for 5G: Algorithms and Implementations / Edition 1, Author: Fa-Long Luo
Title: Robot Learning by Visual Observation / Edition 1, Author: Aleksandar Vakanski
Title: Reliability and Safety Analyses under Fuzziness / Edition 1, Author: Takehisa Onisawa
Title: Recent Advances In Simulated Evolution And Learning, Author: Kay Chen Tan
Title: Real-Time Embedded Multithreading Using ThreadX and MIPS / Edition 1, Author: Edward Lamie
Title: Random Ordinary Differential Equations and Their Numerical Solution, Author: Xiaoying Han

Pagination Links