This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
Continue readingIt 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 readingThis 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 readingCoverage includes such areas as speech analysis for speech synthesis, speech recognition, speech-non speech discrimination ...
Continue readingThis book is organized in topical sections on Encryption, Signature, Analysis, Application of Hash Functions, Universal Composability, ...
Continue readingThis book deals with the effect of public and semi-public companies on economy. In traditional economic models, several private ...
Continue readingThis book is Using many examples to illustrate the different techniques useful for formulating models, this text beautifully ...
Continue readingThis book addresses primarily a CSE (computational science and engineering) audience. … gives a clear and detailed account ...
Continue readingThis book addresses primarily a CSE (computational science and engineering) audience. … gives a clear and detailed account ...
Continue readingNumerous readers of the second edition have noti?ed me about misprints and possible improvements of the text and the associated ...
Continue readingtopics 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 readingComputational 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 readingResearch on applying principles of quantum computing to improve the engineering of intelligent systems has been launched ...
Continue readingThe CIME Summer School held in Cetraro, Italy, in 2006 addressed researchers interested in the mathematical study of quantum ...
Continue readingThis volume contains the main results of the three years study (2003 - 2007) of the Virtual Institute RESPACE (Key Technologies ...
Continue reading