Title: Visual Languages for Interactive Computing: Definitions and Formalizations, Author: Fernando Ferri
Title: VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings / Edition 1, Author: Dines Bjïrner
Title: Using OpenCL: Programming Massively Parallel Computers, Author: Janusz Kowalik
Title: Urban Computing, Author: Yu Zheng
Title: Unravelling Complexity: The Life And Work Of Gregory Chaitin, Author: Shyam Wuppuluri
Title: Ubiquitous User Modeling: Volume 297 Dissertations in Artificial Intelligence- DISKI, Author: D. Heckmann
Title: Twenty Lectures on Algorithmic Game Theory, Author: Tim Roughgarden
Title: Trust and Community on the Internet: Opportunities and Restrictions for Online Cooperation / Edition 1, Author: Bernd Lahno
Title: Transactions on Petri Nets and Other Models of Concurrency XIII, Author: Maciej Koutny
Title: Time and Petri Nets, Author: Louchka Popova-Zeugmann
Title: Theoretical Information Studies: Information In The World, Author: Mark Burgin
Title: Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings / Edition 1, Author: Kamel Barkaoui
Title: The Signal: The History of Signal Processing and How We Communicate / Edition 1, Author: Ted G Lewis
Title: The Mathematical-Function Computation Handbook: Programming Using the MathCW Portable Software Library, Author: Nelson H.F. Beebe
Title: The Incomputable: Journeys Beyond the Turing Barrier, Author: S. Barry Cooper
Title: The Hands-On Project Office: Guaranteeing ROI and On-Time Delivery / Edition 1, Author: Richard M. Kesner
Title: The Computing Universe: A Journey through a Revolution, Author: Tony Hey
Title: The Blackwell Guide to the Philosophy of Computing and Information / Edition 1, Author: Luciano Floridi
Title: The Architecture of Computer Hardware and Systems Software: An Information Technology Approach / Edition 3, Author: Irv Englander
Title: Symbolic Simulation Methods for Industrial Formal Verification / Edition 1, Author: Robert B. Jones

Pagination Links