This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
اقرأ المزيد
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 ...
اقرأ المزيد
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
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 recent developments in systematic studies of hydrodynamics and heat and mass transfer in laminar free ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 9th International Conference on Simulation of Adaptive Behavior, SAB ...
اقرأ المزيد
This book will help experts and designers in the specification and development of applications incorporating ECAs. Part 1 ...
اقرأ المزيد
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 ...
اقرأ المزيد
This book introduces the reader to a recent theory in Computer Vision yielding elementary techniques to analyse digital images. ...
اقرأ المزيد
Grids are a crucial enabling technology for scientific and industrial development. Peer-to-peer computing, grid, distributed ...
اقرأ المزيد
This book constitutes a commemorative volume devoted to Erich J. Neuhold on the occasion of his 65th birthday. The 32 invited ...
اقرأ المزيد