Electronic Books

Total Books: 2361 - 2380 /3354

Processes, Terms and Cycles: Steps on the Road to Infinity

Dedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. ...

Product Reliability : Specification and Performance

Product Reliability develops a framework which links reliability specifications and product performance in the context of ...

Product Standards, Exports and Employment

This book makes an analytical study of implications of the new set of non-tariff barriers that are forthcoming on the exports ...

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

This book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...

Programming Languages and Systems

It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...

Programming Languages and Systems : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

This book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

This book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...

Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. ...

Programming Languages: Principles and Paradigms / Maurizio Gabbrielli, Simone Martini

Programming Languages is a self-contained approach to the topic, and differentiates between the design, implementation and ...

Programming for Computations - MATLAB/Octave : A Gentle Introduction to Numerical Simulations with MATLAB/Octave

This book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...

Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6

This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received ...

Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python

This book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...

Progress in Colorectal Surgery

the book also integrates recent progress in imaging techniques for the anal canal and rectum, and highlights medico-legal ...

Progress in Cryptology - AFRICACRYPT 2008 : First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings

The papers are organized in topical sections on AES, analysis of RFID protocols, cryptographic protocols, authentication, ...

Progress in Cryptology - INDOCRYPT 2006

This book constitutes the refereed proceedings of the 7th International Conference on Cryptology in India, INDOCRYPT 2006, ...

Progress in Industrial Mathematics at ECMI 2006

ECMI is synonymous with European Mathematics for Industry and organizes successful biannual conferences. The 14th European ...

Progress in Nano-Electro-Optics VI : Nano-Optical Probing, Manipulation, Analysis, and Their Theoretical Bases

This volume focuses on nano-optical probing, manipulation, and analysis. It begins with recent developments in near-field ...

Progress in Turbulence 2

Besides turbulence there is hardly any other scientific topic which has been considered as a prominent scientific challenge ...

Project E-Society: Building Bricks

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Total Books: 2361 - 2380 /3354