In this second edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the original book ...
Continue reading
This volume presents the results of investigations into the foundations of the discipline, and represents the state-of-the-art ...
Continue reading
The8thWorkshopontheFoundationsofGeneticAlgorithms,FOGA-8,washeld at the University of Aizu in Aizu-Wakamatsu City, Japan, ...
Continue reading
The book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The main ...
Continue reading
The book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The main ...
Continue reading
This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to ...
Continue reading
The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...
Continue reading
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue reading
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Continue reading
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Continue reading
This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy ...
Continue reading
In this book the author studies Fourier transforms using Deligne-Lusztig induction and the Lie algebra version of Lusztig’s ...
Continue reading
This book provides a unified analysis and scheme for the existence and uniqueness of strong and mild solutions to certain ...
Continue reading
This book presents, in a unified manner, a variety of topics in Continuum and Fracture Mechanics: energy methods, conservation ...
Continue reading
Free Convective Heat Transfer is a thorough survey of various kinds of free-convective flows and heat transfer. Reference ...
Continue reading
Freedom of the sort implicated in acting freely or with free will is important to the truth of different sorts of moral judgment, ...
Continue reading
In 1993 new prin- ples of optical shape measurement, setup calibration, phase unwr- ping and nondestructive testing were ...
Continue reading
The theory of Frobenius splittings has made a significant impact in the study of the geometry of flag varieties and representation ...
Continue reading
This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...
Continue reading
Melanoma offers an excellent model for cancer biology and an opportunity to understand the progression of a normal skin cell-the ...
Continue reading