Title: Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Ve, Author: Tommaso Bolognesi
Title: High Performance Algorithms and Software for Nonlinear Optimization, Author: Gianni Pillo
Title: Cloud Without Compromise: Hybrid Cloud for the Enterprise, Author: Paul Zikopoulos
Title: Temporal Verification of Reactive Systems: Safety, Author: Zohar Manna
Title: High-Performance IT Services, Author: Terry Critchley
Title: Quantitative Methods in Parallel Systems, Author: Francois Baccelli
Title: Alternating Sequential-Parallel Processing, Author: Y. Wallach
Title: Supercomputing in Engineering Analysis, Author: Hojjat Adeli
Title: The Road to Azure Cost Governance: Techniques to tame your monthly Azure bill with a continuous optimization journey for your apps, Author: Paola E. Annis
Title: CUDA Programming: A Developer's Guide to Parallel Computing with GPUs, Author: Shane Cook
Explore Series
Title: Scheduling for Parallel Processing, Author: Maciej Drozdowski
Title: Hands-On Microservices with Spring Boot and Spring Cloud: Build and deploy Java microservices using Spring Cloud, Istio, and Kubernetes, Author: Magnus Larsson
Title: SDN-Supported Edge-Cloud Interplay for Next Generation Internet of Things, Author: Kshira Sagar Sahoo
Title: Coordination Models and Languages: 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, Author: Amy L. Murphy
Title: Grid Computing: Techniques and Applications, Author: Barry Wilkinson
Title: Edge Computing: Fundamentals, Advances and Applications, Author: K. Anitha Kumari
Title: Distributed Computing: 13th International Symposium, DISC'99, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings, Author: Prasad Jayanti
Title: Cloud Computing Technology, Author: Huawei Technologies Co.
Title: Communication and Cooperation in Agent Systems: A Pragmatic Theory, Author: Afsaneh Haddadi
Title: Active Technologies for Network and Service Management: 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM'99, Zurich, Switzerland, October 11-13, 1999, Proceedings, Author: Rolf Stadler

Pagination Links