FEM, and the associated computer software are widely recognized as some of the most effective tools for solutions of large-scale ...
اقرأ المزيد
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...
اقرأ المزيد
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
اقرأ المزيد
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيد
This book reviews developments in geodesy and hydrography, using a wide variety of electronic and acoustic instruments. The ...
اقرأ المزيد
Grid computing has become a topic of significant interest in the scientific community as a means of enabling application ...
اقرأ المزيد
The book provides: • Discussion of software engineering and modelling tools for the Grid • Analysis of issues inherent ...
اقرأ المزيد
Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, ...
اقرأ المزيد
Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, ...
اقرأ المزيد
The objective of this symposium is to exchange the latest research results in software, architecture, and applications in ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, ...
اقرأ المزيد
This volume fills a research gap between the rapid development of High Performance Computing (HPC) approaches and their geospatial ...
اقرأ المزيد
Contains the refereed proceedings of the 12th International Conference on High-Performance Computing. Beginning with the ...
اقرأ المزيد
The ProgramCommittee received a total of 84 submissions; only 17 were selected for presentation as full-length papers and ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Metaheuristics, HM 2008, held ...
اقرأ المزيد
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
اقرأ المزيد
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...
اقرأ المزيد
This book presents select proceedings of 11th International Conference on Information Science and Applications 2020 (ICISA ...
اقرأ المزيد
Introduces intelligent solving algorithms for classical packing and cutting problem and their variants Investigates novel ...
اقرأ المزيد