Electronic Books

Total Books: 921 - 940 /1146
978-3-030-44914-8
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, ...

Continue reading
978-3-030-17184-1
Programming Languages and Systems

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

Continue reading
NoIMG
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 ...

Continue reading
NoIMG
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 ...

Continue reading
978-3-030-16877-3
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 ...

Continue reading
NoIMG
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 ...

Continue reading
978-3-540-71505-4
Progress in Nonlinear Speech Processing

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

Continue reading
978-3-540-88733-1
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, ...

Continue reading
978-3-030-58349-1
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 ...

Continue reading
978-3-030-68928-5
Pyomo — Optimization Modeling in Python

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

Continue reading
978-3-540-31269-7
Python Scripting for Computational Science

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

Continue reading
978-3-540-31269-7
Python Scripting for Computational Science

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

Continue reading
978-3-540-73916-6
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 ...

Continue reading
978-3-540-33234-3
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 ...

Continue reading
NoIMG
Quality Measures in Data Mining

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

Continue reading
978-1-4020-8578-9
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 ...

Continue reading
NoIMG
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 ...

Continue reading
978-3-540-78532-3
Quantum Inspired Intelligent Systems

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

Continue reading
978-3-540-79574-2
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 ...

Continue reading
978-3-540-77819-6
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 ...

Continue reading
Total Books: 921 - 940 /1146