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