Warning: file_put_contents(cache/omni_3af75db47a133227c1f20d8e735757e1.json): Failed to open stream: Permission denied in /home/moozonian/public_html/classes/BooksResultsProvider.php on line 304
Integrated Formal Methods
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short pape...
View Book →
Topics in Enzyme and Fermentation Biotechnology
No description available....
View Book →Linear Algebra
No description available....
View Book →
Data Parallel C++
Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL...
View Book →
Analysis for Computer Scientists
Foundations, Methods, and Algorithms...
View Book →Spatial Light Modulators and Applications II
No description available....
View Book →
Algorithmic Graph Theory and Sage
...
View Book →
Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part ...
View Book →Visual Communications and Image Processing
No description available....
View Book →
Programming for Computations - Python
A Gentle Introduction to Numerical Simulations with Python 3.6...
View Book →
Foundations of Trusted Autonomy
...
View Book →
Foundations of Quantum Theory
From Classical Concepts to Operator Algebras...
View Book →
Fast Memory-saving Hybrid Algorithms for Electromagnetic Scattering and Radiation
No description available....
View Book →
Linear Selection Indices in Modern Plant Breeding
...
View Book →The Journal of the Astronautical Sciences
No description available....
View Book →
High Density Lipoproteins
From Biological Understanding to Clinical Exploitation...
View Book →
Variant Construction from Theoretical Foundation to Applications
...
View Book →Journal of Quality Technology
No description available....
View Book →
Interface Oral Health Science 2016
Innovative Research on Biosis–Abiosis Intelligent Interface...
View Book →Parallel Numerical Algorithms
Mathematics of Computing -- Parallelism....
View Book →
Graph Algorithms
Practical Examples in Apache Spark and Neo4j...
View Book →
Problem Solving with Algorithms and Data Structures
...
View Book →Illinois, Gateway to Advanced Computing and Communications
No description available....
View Book →Object-oriented Programming in C++
A valuable handbook/reference for professionals who need to learn C++ and master its latest updates, this exceptionally organized, #1-rated guide teaches the power and flexibility of the C++ programmi...
View Book →
Forecasting and Assessing Risk of Individual Electricity Peaks
...
View Book →
Clinical Text Mining
Secondary Use of Electronic Patient Records...
View Book →The Waite Group's C++ Primer Plus
Third link to the bestselling series, this new edition explains C++ from the ground up with real-world examples and an emphasis on hands-on learning, including coverage of the Standard Template Librar...
View Book →
Intel Xeon Phi Coprocessor Architecture and Tools
The Guide for Application Developers...
View Book →
Proceedings of the Seventh SIAM International Conference on Data Mining
The Seventh SIAM International Conference on Data Mining (SDM 2007) continues a series of conferences whose focus is the theory and application of data mining to complex datasets in science, engineeri...
View Book →
Think Data Structures
Algorithms and Information Retrieval in Java...
View Book →
Error-Correction Coding and Decoding
Bounds, Codes, Decoders, Analysis and Applications...
View Book →
Optimizing software in C++
An optimization guide for Windows, Linux and Mac platforms...
View Book →Herb Schildt's C++ Programming Cookbook
Your Ultimate "How-To" Guide to C++ Programming! Legendary programming author Herb Schildt shares some of his favorite programming techniques in this high-powered C++ "cookbook." Organized for quick r...
View Book →
Fractional Graph Theory
A Rational Approach to the Theory of Graphs...
View Book →
Foundations of Machine Learning
...
View Book →
Data Structures and Algorithms
Annotated Reference with Examples...
View Book →
Bayesian Methods in the Search for MH370
...
View Book →
Efficient Learning Machines
Theories, Concepts, and Applications for Engineers and System Designers...
View Book →
Biodiversity and Health in the Face of Climate Change
...
View Book →
Algorithms for Decision Making
...
View Book →
Physical (A)Causality
Determinism, Randomness and Uncaused Events...
View Book →
Solving PDEs in Python
The FEniCS Tutorial I...
View Book →
Computer and Information Sciences
31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings...
View Book →
Intelligent Human Computer Interaction
9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings...
View Book →Third Granada Lectures in Computational Physics
The book covers the basics and some generalizations of Monte Carlo methods and its applications to discrete and field theoretic models. It covers the study of nonequilibrium models of granular media b...
View Book →
International Symposium on Mathematics, Quantum Theory, and Cryptography
Proceedings of MQC 2019...
View Book →Machine Learning and Metaheuristics Algorithms, and Applications
This book constitutes the refereed proceedings of the First Symposium on Machine Learning and Metaheuristics Algorithms, and Applications, SoMMA 2019, held in Trivandrum, India, in December 2019. The ...
View Book →
Introduction to Data Science
Data Analysis and Prediction Algorithms with R...
View Book →
Annotated Algorithms in Python
With applications in Physics, Biology, and Finance...
View Book →
Russia's Turn to the East
Domestic Policymaking and Regional Cooperation...
View Book →
Understanding Machine Learning
From Theory to Algorithms...
View Book →
Digital Video Concepts, Methods, and Metrics
Quality, Compression, Performance, and Power Trade-off Analysis...
View Book →
Sensitivity Analysis: Matrix Methods in Demography and Ecology
...
View Book →
Language Technologies for the Challenges of the Digital Age
27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings...
View Book →
Finite Difference Computing with PDEs
A Modern Software Approach...
View Book →
Ionospheric Multi-Spacecraft Analysis Tools
Approaches for Deriving Ionospheric Parameters...
View Book →
Programming Computer Vision with Python
Tools and algorithms for analyzing images...
View Book →
Software for Exascale Computing - SPPEXA 2016-2019
...
View Book →
Signal Computing
Digital Signals in the Software Domain...
View Book →Recipes for Continuation
This book provides a comprehensive introduction to the mathematical methodology of parameter continuation. It develops a systematic formalism for constructing and implementing abstract representations...
View Book →
Enhanced Living Environments
Algorithms, Architectures, Platforms, and Systems...
View Book →
Ambisonics
A Practical 3D Audio Theory for Recording, Studio Production, Sound Reinforcement, and Virtual Reality...
View Book →
Representation Learning for Natural Language Processing
...
View Book →
Optimizing HPC Applications with Intel Cluster Tools
Hunting Petaflops...
View Book →
Pro TBB
C++ Parallel Programming with Threading Building Blocks...
View Book →