1- 20 of 102 results
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 Temporal Logic of Reactive and Concurrent Systems: Specification / Edition 1, Author: Zohar Manna
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 JR Programming Language: Concurrent Programming in an Extended Java / Edition 1, Author: Ronald A. Olsson
Title: The Design of Approximation Algorithms, Author: David P. Williamson
Title: The Design and Analysis of Algorithms / Edition 1, Author: Dexter C. Kozen
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: Similarity Search: The Metric Space Approach / Edition 1, Author: Pavel Zezula
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

Pagination Links