Dedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. ...
اقرأ المزيد
Product Reliability develops a framework which links reliability specifications and product performance in the context of ...
اقرأ المزيد
This book makes an analytical study of implications of the new set of non-tariff barriers that are forthcoming on the exports ...
اقرأ المزيد
This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
اقرأ المزيد
This book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...
اقرأ المزيد
It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...
اقرأ المزيد
This book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...
اقرأ المزيدThis book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
اقرأ المزيد
The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. ...
اقرأ المزيد
Programming Languages is a self-contained approach to the topic, and differentiates between the design, implementation and ...
اقرأ المزيد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 ...
اقرأ المزيد
the book also integrates recent progress in imaging techniques for the anal canal and rectum, and highlights medico-legal ...
اقرأ المزيد
The papers are organized in topical sections on AES, analysis of RFID protocols, cryptographic protocols, authentication, ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 7th International Conference on Cryptology in India, INDOCRYPT 2006, ...
اقرأ المزيد
ECMI is synonymous with European Mathematics for Industry and organizes successful biannual conferences. The 14th European ...
اقرأ المزيد
This volume focuses on nano-optical probing, manipulation, and analysis. It begins with recent developments in near-field ...
اقرأ المزيدBesides turbulence there is hardly any other scientific topic which has been considered as a prominent scientific challenge ...
اقرأ المزيد
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد