A decisive factor that has fueled thisgrowing activity was generatedby highdiversity and severity ofdemandsand operating ...
اقرأ المزيد
Thinking English Translation is a practical guide to analysing and translating English source texts. Section I focuses on ...
اقرأ المزيد
Classification societies are charged with the technical supervision of maritime shipping to enhance the safety of life and ...
اقرأ المزيد
Hutchinson's works are ephemeral and evanescent, produced out in the open, where they are subject to the whims of nature. ...
اقرأ المزيد
Thyroid Cytopathology uses a simple algorithmic approach to the diagnosis of thyroid fine needle aspirations (FNA). This ...
اقرأ المزيد
Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics ...
اقرأ المزيد
This book consists of contributions given in honor of Wolfgang J.R. Hoefer. The contributions represent the state of the ...
اقرأ المزيد
Developed in this book are several deep connections between time--frequency (Fourier/Gabor) analysis and time--scale (wavelet) ...
اقرأ المزيد
Time-dependent scheduling involves problems in which the processing times of jobs depend on when those jobs are started. ...
اقرأ المزيد
Time-Resolved Spectroscopy in Complex Liquids introduces current state-of-the-art techniques in the study of complex dynamical ...
اقرأ المزيد
The book covers the different fields of learning technologies: education, psychology, computer science. The book address ...
اقرأ المزيد
Current Strategies presents a thorough update on the current advances, methods and understanding in tissue engineering in ...
اقرأ المزيد
Governments have known since the 1960s that smoking results in irreversible health damage. This open access book examines ...
اقرأ المزيد
Offers in a single resource the whole coverage of different diseases and lesions, congenital or acquired, of the tongue, ...
اقرأ المزيد
Provides important guidelines for the digital transformation process and shows how established companies in particular can ...
اقرأ المزيد
This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيد
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
اقرأ المزيد
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
اقرأ المزيد
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
اقرأ المزيد
This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
اقرأ المزيد