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