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
Meant to serve an "entertaining textbook," this book belongs to a rare genre. It is written for all students and practitioners ...
Continue reading
In this book the author studies Fourier transforms using Deligne-Lusztig induction and the Lie algebra version of Lusztig’s ...
Continue reading
The goal of the book is to provide a unified treatment of fractal dimensions of sets and networks. Since almost all of the ...
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 second edition of the book contains four new chapters in addition to the ten chapters of the first edition. The fourteen ...
Continue reading
The book consists of invited papers written by leading experts in the field. It contains original contributions concerning ...
Continue reading
During the last several years, frames have become increasingly popular; they have appeared in a large number of applications, ...
Continue reading
This book presents recent developments in systematic studies of hydrodynamics and heat and mass transfer in laminar free ...
Continue reading
This book examines a system of parabolic-elliptic partial differential eq- tions proposed in mathematical biology, statistical ...
Continue reading
Free Convective Heat Transfer is a thorough survey of various kinds of free-convective flows and heat transfer. Reference ...
Continue reading
This book despite increasing communication, accelerating policy and management responses, and notwithstanding improving ecosystem ...
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 readingThis book aims at deepening the understanding of the relation between cyber-physical systems (CPSs) as socio-technical systems ...
Continue reading