Formal Methods and Stochastic Models for Performance Evaluation
This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, ...
Continue reading
Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
Continue reading
Foundations of Generic Optimization : Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networks
This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results ...
Continue reading
From Grids to Service and Pervasive Computing
Grids are a crucial enabling technology for scientific and industrial development. Peer-to-peer computing, grid, distributed ...
Continue reading
Future Generation Grids
Future Generation Grids is the second in the CoreGRID series. This edited volume brings together contributed articles by ...
Continue reading
Generalized Convexity, Generalized Monotonicity and Applications
This volume contains a collection of refereed articles on generalized convexity and generalized monotonicity. The first part ...
Continue reading
Green, Pervasive, and Cloud Computing : 15th International Conference, GPC 2020, Xi'an, China, November 13–15, 2020, Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Green, Pervasive, and Cloud Computing, ...
Continue reading
Grid Computing : Achievements and Prospects : Achievements and Prospects
Grid Computing: Achievements and Prospects, the 9th edited volume of the CoreGRID series, includes selected papers from the ...
Continue reading
Grid Middleware and Services : Challenges and Solutions
This book aims to strengthen and advance scientific and technological excellence in the area of Grid Computing. The main ...
Continue reading
Handbook Of Operations Research In Natural Resources
Handbook of Operations Research in Natural Resources will be the first systematic handbook treatment of quantitative modeling ...
Continue reading
Handbook of Production Scheduling
The HANDBOOK OF PRODUCTION SCHEDULING concentrates on real-world production scheduling in factories and industrial settings. ...
Continue reading
Handbook of Production Scheduling
The HANDBOOK OF PRODUCTION SCHEDULING concentrates on real-world production scheduling in factories and industrial settings. ...
Continue reading
Handbook on Modelling for Discrete Optimization
This handbook couples the difficult, critical-thinking aspects of mathematical modeling with the hot area of discrete optimization. ...
Continue reading
High Performance Computing - HiPC 2006
Coverage in this volume includes scheduling and load balancing, network and distributed algorithms, application software, ...
Continue reading
High Performance Computing - HiPC 2008 : 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, ...
Continue reading
High-Level Synthesis : From Algorithm to Digital Circuit
This book presents an excellent collection of contributions addressing different aspects of high-level synthesis from both ...
Continue readingHigh-performance Packet Switching Architectures
Internet traffic is increasing at a rate of at least 200% per year. The world’s largest Internet Service Provider has recently ...
Continue reading
Hybrid Metaheuristics : 5th International Workshop, HM 2008, Málaga, Spain, October 8-9, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Metaheuristics, HM 2008, held ...
Continue reading
Integer Programming and Combinatorial Optimization
This volume contains the papers selected for presentation at IPCO 2002, the NinthInternationalConferenceonIntegerProgrammingandCombinatorial- ...
Continue reading
Integer Programming and Combinatorial Optimization : 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings
The volume contains the papers selected for presentation at IPCO 2008, the 13th International Conference on Integer Programming ...
Continue reading
