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: Theoretical Aspects of Local Search / Edition 1, Author: Wil Michiels
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: The Art of High Performance Computing for Computational Science, Vol. 2: Advanced Techniques and Examples for Materials Science, Author: Masaaki Geshi
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: Specifying Software: A Hands-On Introduction, Author: R. D. Tennent
Title: Specification and Transformation of Programs: A Formal Approach to Software Development / Edition 1, Author: Helmut A. Partsch
Title: Solving Partial Differential Equations On Parallel Computers, Author: Jian Ping Zhu
Title: Software War Stories: Case Studies in Software Management / Edition 1, Author: Donald J. Reifer
Title: Software Visualization: From Theory to Practice / Edition 1, Author: Kang Zhang

Pagination Links