Electronic Books

Total Books: 921 - 940 /1146

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...

Programming Languages and Systems

It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

This book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...

Programming for Computations - MATLAB/Octave : A Gentle Introduction to Numerical Simulations with MATLAB/Octave

This book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...

Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6

This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received ...

Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python

This book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...

Progress in Nonlinear Speech Processing

Coverage includes such areas as speech analysis for speech synthesis, speech recognition, speech-non speech discrimination ...

Provable Security : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

This book is organized in topical sections on Encryption, Signature, Analysis, Application of Hash Functions, Universal Composability, ...

Public Interest and Private Enterprize: New Developments

This book deals with the effect of public and semi-public companies on economy. In traditional economic models, several private ...

Pyomo — Optimization Modeling in Python

This book is Using many examples to illustrate the different techniques useful for formulating models, this text beautifully ...

Python Scripting for Computational Science

This book addresses primarily a CSE (computational science and engineering) audience. … gives a clear and detailed account ...

Python Scripting for Computational Science

This book addresses primarily a CSE (computational science and engineering) audience. … gives a clear and detailed account ...

Python Scripting for Computational Science

Numerous readers of the second edition have noti?ed me about misprints and possible improvements of the text and the associated ...

QSAR and Molecular Modeling Studies in Heterocyclic Drugs II

topics in Heterocyclic Chemistry presents critical accounts of heterocyclic com-pounds (cyclic compounds containing at least ...

Quality Measures in Data Mining

This volume presents the state of the art concerning quality and interestingness measures for data mining. The book summarizes ...

Quality and Reliability of Large-Eddy Simulations

Computational resources have developed to the level that, for the first time, it is becoming possible to apply large-eddy ...

Quantifying Quality of Life : Incorporating Daily Life into Medicine

This book presents the rise of technology-enabled methods and tools for objective, quantitative assessment of Quality of ...

Quantum Inspired Intelligent Systems

Research on applying principles of quantum computing to improve the engineering of intelligent systems has been launched ...

Quantum Transport : Modelling, Analysis and Asymptotics — Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy September 11–16, 2006

The CIME Summer School held in Cetraro, Italy, in 2006 addressed researchers interested in the mathematical study of quantum ...

RESPACE ¿ Key Technologies for Reusable Space Systems : Results of a Virtual Institute Programme of the German Helmholtz-Association, 2003 – 2007

This volume contains the main results of the three years study (2003 - 2007) of the Virtual Institute RESPACE (Key Technologies ...

Total Books: 921 - 940 /1146