The identification of new types of physical behavior, new technological materials, ultimate verification of condensed and ...
اقرأ المزيدThis book gathers contributions to the 4th International Conference on Soft methods in Probability and Statistics. Its aim ...
اقرأ المزيدProvides a vividly illustrated description of a wide range of soft tissue injuries of the head and neck and their treatment, ...
اقرأ المزيدThis book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
اقرأ المزيدvolume 2 covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...
اقرأ المزيدAlgorithms in algebraic geometry go hand in hand with software packages that implement them. Together they have established ...
اقرأ المزيدThis book guides the reader through programming with R, beginning with simple interactive use and progressing by gradual ...
اقرأ المزيدThis book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software ...
اقرأ المزيدThis comprehensive and interdisciplinary handbook provides a bird's-eye view of two centuries of research on secondary metabolites ...
اقرأ المزيدThis book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software ...
اقرأ المزيدThe subject of this book is the solution of polynomial equations, that is, s- tems of (generally) non-linear algebraic equations. ...
اقرأ المزيدSophus Lie (1842-1899) is one of the greatest Norwegian figures in science. The notoriety that his work has earned him has ...
اقرأ المزيدThis volume is divided in three sections on random sets, geostatistics and mathematical morphology. They reflect his professional ...
اقرأ المزيدThere has been a flurry of activity in recent years in the loosely defined area of holomorphic spaces. This book discusses ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 8th International Conference on Spatial Information Theory, COSIT 2007, ...
اقرأ المزيدSpecial Functions for Applied Scientists provides the required mathematical tools for researchers active in the physical ...
اقرأ المزيدSpectral methods, particularly in their multidomain version, have become firmly established as a mainstream tool for scientific ...
اقرأ المزيدThis book introduces geometric spectral theory in the context of infinite-area Riemann surfaces, providing a comprehensive ...
اقرأ المزيد