This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
Continue reading
It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...
Continue readingThis book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
Continue readingThis book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...
Continue reading
This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received ...
Continue readingThis book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...
Continue reading
Coverage includes such areas as speech analysis for speech synthesis, speech recognition, speech-non speech discrimination ...
Continue reading
This book is organized in topical sections on Encryption, Signature, Analysis, Application of Hash Functions, Universal Composability, ...
Continue reading
This book deals with the effect of public and semi-public companies on economy. In traditional economic models, several private ...
Continue reading
This book is Using many examples to illustrate the different techniques useful for formulating models, this text beautifully ...
Continue reading
This book addresses primarily a CSE (computational science and engineering) audience. … gives a clear and detailed account ...
Continue reading
This book addresses primarily a CSE (computational science and engineering) audience. … gives a clear and detailed account ...
Continue reading
Numerous readers of the second edition have noti?ed me about misprints and possible improvements of the text and the associated ...
Continue reading
topics in Heterocyclic Chemistry presents critical accounts of heterocyclic com-pounds (cyclic compounds containing at least ...
Continue readingThis volume presents the state of the art concerning quality and interestingness measures for data mining. The book summarizes ...
Continue reading
Computational resources have developed to the level that, for the first time, it is becoming possible to apply large-eddy ...
Continue readingThis book presents the rise of technology-enabled methods and tools for objective, quantitative assessment of Quality of ...
Continue reading
Research on applying principles of quantum computing to improve the engineering of intelligent systems has been launched ...
Continue reading
The CIME Summer School held in Cetraro, Italy, in 2006 addressed researchers interested in the mathematical study of quantum ...
Continue reading
This volume contains the main results of the three years study (2003 - 2007) of the Virtual Institute RESPACE (Key Technologies ...
Continue reading