1- 20 of 203 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: 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: 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 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: The Career Programmer: Guerilla Tactics for an Imperfect World / Edition 2, Author: Christopher Duncan
Title: The Art of Readable Code: Simple and Practical Techniques for Writing Better Code / Edition 1, Author: Dustin Boswell
Title: Telecommunications Optimization: Heuristic and Adaptive Techniques / Edition 1, Author: David W. Corne
Title: Talking with Computers: Explorations in the Science and Technology of Computing, Author: Thomas Dean

Pagination Links