This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Continue reading
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Continue readingThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Continue reading
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
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
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
This volume it highlights the potential that fractal geometry offers for elucidating and explaining the complex make-up of ...
Continue reading
The strong potential of this research can be seen in real industrial situations with recent progress being made in areas ...
Continue reading
This book presents, in a unified manner, a variety of topics in Continuum and Fracture Mechanics: energy methods, conservation ...
Continue reading
The 8th International Symposium on fracture mechanics of ceramics was held in on the campus of the University of Houston, ...
Continue reading
The present book surveys the theoretical analysis put forth by Mott with particular focus on his efforts to characterize ...
Continue reading
This book examines a system of parabolic-elliptic partial differential eq- tions proposed in mathematical biology, statistical ...
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
This book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB ...
Continue reading
Duetothepenetrationofinformationtechnologyintosocietyatlargeandinto schools in particular, the relationship between informatics ...
Continue reading
The volume contains revised versions of selected papers presented during the 29th Annual Conference of the Gesellschaft für ...
Continue reading
The volume contains revised versions of selected papers presented during the 29th Annual Conference of the Gesellschaft für ...
Continue reading
This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...
Continue reading