You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Underwater photography is a fascinating pursuit for those who aspire to capture the magical world found within our oceans and bring it to the surface. In this book, award-winning photographer Tobias Friedrich teaches us how to create stunning underwater images, covering everything from the equipment needed, to creating powerful compositions, to processing the final image. He uses case studies to show how his own images were created, and provides detailed explanations for specific techniques that can be applied to your very next dive. The text is supported by images from some of the most beautiful diving areas on Earth. Also included are countless tips and tricks for the beginner and intermed...
None
With this volume, Howard Smither completes his monumental History of the Oratorio. Volumes 1 and 2, published by the University of North Carolina Press in 1977, treated the oratorio in the Baroque era, while Volume 3, published in 1987, explored the genre in the Classical era. Here, Smither surveys the history of nineteenth- and twentieth-century oratorio, stressing the main geographic areas of oratorio composition and performance: Germany, Britain, America, and France. Continuing the approach of the previous volumes, Smither treats the oratorio in each language and geographical area by first exploring the cultural and social contexts of oratorio. He then addresses aesthetic theory and criti...
With this volume, Howard Smither completes his monumental History of the Oratorio. Volumes 1 and 2, published by the University of North Carolina Press in 1977, treated the oratorio in the Baroque era, while Volume 3, published in 1987, explored th
None
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
This book constitutes the refereed proceedings of the 5th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2009, held in Nantes, France in April 2009. The 39 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections on theoretical analysis, uncertainty and noise, algorithm development, performance analysis and comparison, applications, MCDM Track, Many objectives, alternative methods, as well as EMO and MCDA.