Finite Element Methods:
FEM, and the associated computer software are widely recognized as some of the most effective tools for solutions of large-scale ...
Continue reading
Formal Methods in Systems Biology : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
Continue reading
Functional and Logic Programming
This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...
Continue reading
Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
Continue reading
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Continue reading
Geometrical Geodesy : Using Information and Computer Technology
This book reviews developments in geodesy and hydrography, using a wide variety of electronic and acoustic instruments. The ...
Continue reading
Grid Computing
Grid computing has become a topic of significant interest in the scientific community as a means of enabling application ...
Continue reading
Grid Computing: Software Environments and Tools
The book provides: • Discussion of software engineering and modelling tools for the Grid • Analysis of issues inherent ...
Continue reading
Handbook Of Big Data Analytics ; Vol. 1: Methodologies
Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, ...
Continue reading
Handbook Of Big Data Analytics ; Vol. 2: Applications in ICT, security and business analytics
Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, ...
Continue reading
High Performance Computing
The objective of this symposium is to exchange the latest research results in software, architecture, and applications in ...
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 Performance Computing for Geospatial Applications
This volume fills a research gap between the rapid development of High Performance Computing (HPC) approaches and their geospatial ...
Continue reading
High Performance Computing – HiPC 2005
Contains the refereed proceedings of the 12th International Conference on High-Performance Computing. Beginning with the ...
Continue reading
High Performance Embedded Architectures and Compilers
The ProgramCommittee received a total of 84 submissions; only 17 were selected for presentation as full-length papers and ...
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
Implementation and Application of Functional Languages
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
Continue reading
Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...
Continue reading
Information Science and Applications
This book presents select proceedings of 11th International Conference on Information Science and Applications 2020 (ICISA ...
Continue reading
Intelligent Algorithms for Packing and Cutting Problem / Yunqing Rao, Qiang Luo
Introduces intelligent solving algorithms for classical packing and cutting problem and their variants Investigates novel ...
Continue reading
