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