Electronic Books

Total Books: 4521 - 4540 /4802

This book provides a formal ontology of senses and the belief-relation that grounds the distinction between de dicto, de ...

3DTV require the integration of a diversity of key technologies from computing to graphics, imaging to display, and signal ...

This book consists of contributions given in honor of Wolfgang J.R. Hoefer. The contributions represent the state of the ...

Predicting the time needed to complete a project, task or daily activity can be difficult and people frequently underestimate ...

Time Series Analysis With Applications in R, Second Edition, presents an accessible approach to understanding time series ...

In August 2005, a small but important conference took place at Chuo University in Tokyo, Japan. This international conference, ...

Developed in this book are several deep connections between time--frequency (Fourier/Gabor) analysis and time--scale (wavelet) ...

The book covers the different fields of learning technologies: education, psychology, computer science. The book address ...

This special issue of Advances in Experimental Medicine and Biology includes much of the research presented at the recent ...

Tissue Mechanics, Second Edition is about the mechanics of tissues for use at the advanced undergraduate level or above. ...

Governments have known since the 1960s that smoking results in irreversible health damage. This open access book examines ...

Provides important guidelines for the digital transformation process and shows how established companies in particular can ...

This two-volume set constitutes the proceedings of the 27th 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 ...

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

The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

Total Books: 4521 - 4540 /4802