Title: Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic, Author: Benedikt Bollig
Title: Petascale Computing: Algorithms and Applications, Author: David A. Bader
Title: Cloud Computing: A Futuristic Approach, Author: Amanda Wegener
Title: Fog and Fogonomics: Challenges and Practices of Fog Computing, Communication, Networking, Strategy, and Economics, Author: Yang Yang
Title: Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA, Author: Scott F. Smith
Title: An Atlas of Edge-Reversal Dynamics, Author: V.C. Barbosa
Title: Scientific Computing with Multicore and Accelerators, Author: Jakub Kurzak
Title: Integrating SuccessFactors with SAP, Author: Vishnu Kandi
Title: High Performance Computing in Science and Engineering, Garching 2004: Transaction of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germany, Author: Arndt Bode
Title: Distributed and Parallel Database Object Management, Author: Elisa Bertino
Title: Future Connected Technologies: Growing Convergence and Security Implications, Author: Maanak Gupta
Title: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines, Author: Alakananda Bhattacharya
Title: Advanced Computing Techniques for Optimization in Cloud, Author: H S Madhusudhan
Title: Conductor: Distributed Adaptation for Heterogeneous Networks, Author: Mark D. Yarvis
Title: Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Pr, Author: Stan Budkowski
Title: Networks and Systems Management: Platforms Analysis and Evaluation, Author: Iosif G. Ghetie
Title: Healthcare-Driven Intelligent Computing Paradigms to Secure Futuristic Smart Cities, Author: Diptendu Sinha Roy
Title: Supervisory Control of Concurrent Systems: A Petri Net Structural Approach, Author: Marian Iordache
Title: Scheduling and Automatic Parallelization, Author: Alain Darte
Title: High Performance Scientific Computing Using Distributed Infrastructures, Author: Leonardo Merola

Pagination Links