césar  (819 Angebote unter 17 177 131 Artikeln)

Laser Techniques for the Study of Electrode Processes

This book constitutes the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. The 17 revised ...

Limnology of a Subtropical Wetland

Traditions of Practical Wisdom in Business and Management

Invited Talks.- Formal Methods at NASA Langley.- Higher Order Unification 30 Years Later.- Regular Papers.- Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction.- ...

-          Vehicles on road: e.g. cars, tracks and buses;

Proceedings of the 2018 Annual Conference on Experimental and Applied Mechanics

Proceedings of the 2018 Annual Conference on Experimental and Applied Mechanics

Was ist der Vatikan? Wie funktioniert er? Wozu dienen vatikanische Gärten, Sternwarte und Museum? Welche Einflüsse üben die einzelnen Dikasterien aus und wie kann der Papst sich gegen Korruption un...

8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

This Issue contains one communication, six articles, and two reviews. The communication from Paola Vitale et al. represents a work where whole cells were used as biocatalysts for the reduction of o...

The aim of this book is to provide an overview of some of the progress made by the Spanish Network of Geometric Analysis (REAG, by its Spanish acronym) since its born in 2007. REAG was created with...

This book constitutes selected and revised papers of the 9th International Conference, SENSORNETS 2020, Valletta, Malta, held in February 2020, and the 10th International Conference, SENSORNETS 202...

This book discusses the Versatile Video Coding (VVC), the ISO and ITU state-of-the-art video coding standard. VVC reaches a compression efficiency significantly higher than its predecessor standard...

This book convenes and deepens generic results about spectral measures, many of them available so far in scattered literature. It starts with classic topics such as Wiener lemma, Strichartz inequal...