Title: Visual Languages for Interactive Computing: Definitions and Formalizations, Author: Fernando Ferri
Title: Using OpenMP-The Next Step: Affinity, Accelerators, Tasking, and SIMD, Author: Ruud Van Der Pas
Title: UPC: Distributed Shared Memory Programming / Edition 1, Author: Tarek El-Ghazawi
Title: Trustworthy Compilers / Edition 1, Author: Vladimir O. Safonov
Title: Transactions on High-Performance Embedded Architectures and Compilers I / Edition 1, Author: Mike O'Boyle
Title: Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce, Author: Marsha Chechik
Title: Time-Dependent Path Scheduling: Algorithmic Minimization of Walking Time at the Moving Assembly Line, Author: Helmut A. Sedding
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 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: Theoretical Computer Science: 37th National Conference, NCTCS 2019, Lanzhou, China, August 2-4, 2019, Revised Selected Papers, Author: Xiaoming Sun
Title: Theoretical Computer Science: 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings, Author: Dingzhu Du
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 Formal Semantics of Programming Languages: An Introduction / Edition 1, Author: Glynn Winskel
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

Pagination Links