Electronic Books

Total Books: 41 - 60 /122

Finite Element Methods:

FEM, and the associated computer software are widely recognized as some of the most effective tools for solutions of large-scale ...

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, ...

Functional and Logic Programming

This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...

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), ...

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, ...

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 ...

Grid Computing

Grid computing has become a topic of significant interest in the scientific community as a means of enabling application ...

Grid Computing: Software Environments and Tools

The book provides: • Discussion of software engineering and modelling tools for the Grid • Analysis of issues inherent ...

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, ...

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, ...

High Performance Computing

The objective of this symposium is to exchange the latest research results in software, architecture, and applications in ...

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, ...

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 ...

High Performance Computing – HiPC 2005

Contains the refereed proceedings of the 12th International Conference on High-Performance Computing. Beginning with the ...

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 ...

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 ...

Implementation and Application of Functional Languages

This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...

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 ...

Information Science and Applications

This book presents select proceedings of 11th International Conference on Information Science and Applications 2020 (ICISA ...

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 ...

Total Books: 41 - 60 /122