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