ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Lire la suiteThe fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Lire la suiteMeant to serve an "entertaining textbook," this book belongs to a rare genre. It is written for all students and practitioners ...
Lire la suiteIn this book the author studies Fourier transforms using Deligne-Lusztig induction and the Lie algebra version of Lusztig’s ...
Lire la suiteThe goal of the book is to provide a unified treatment of fractal dimensions of sets and networks. Since almost all of the ...
Lire la suiteThe strong potential of this research can be seen in real industrial situations with recent progress being made in areas ...
Lire la suiteThis book presents, in a unified manner, a variety of topics in Continuum and Fracture Mechanics: energy methods, conservation ...
Lire la suiteThe second edition of the book contains four new chapters in addition to the ten chapters of the first edition. The fourteen ...
Lire la suiteThe book consists of invited papers written by leading experts in the field. It contains original contributions concerning ...
Lire la suiteDuring the last several years, frames have become increasingly popular; they have appeared in a large number of applications, ...
Lire la suiteThis book presents recent developments in systematic studies of hydrodynamics and heat and mass transfer in laminar free ...
Lire la suiteThis book examines a system of parabolic-elliptic partial differential eq- tions proposed in mathematical biology, statistical ...
Lire la suiteFree Convective Heat Transfer is a thorough survey of various kinds of free-convective flows and heat transfer. Reference ...
Lire la suiteThis book despite increasing communication, accelerating policy and management responses, and notwithstanding improving ecosystem ...
Lire la suiteDuetothepenetrationofinformationtechnologyintosocietyatlargeandinto schools in particular, the relationship between informatics ...
Lire la suiteThe volume contains revised versions of selected papers presented during the 29th Annual Conference of the Gesellschaft für ...
Lire la suiteThe volume contains revised versions of selected papers presented during the 29th Annual Conference of the Gesellschaft für ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...
Lire la suiteThis book aims at deepening the understanding of the relation between cyber-physical systems (CPSs) as socio-technical systems ...
Lire la suite