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