This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Weiterlesen
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
Weiterlesen
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Weiterlesen
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Weiterlesen
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Weiterlesen
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Weiterlesen
The goal of the book is to provide a unified treatment of fractal dimensions of sets and networks. Since almost all of the ...
Weiterlesen
The strong potential of this research can be seen in real industrial situations with recent progress being made in areas ...
Weiterlesen
This book presents recent developments in systematic studies of hydrodynamics and heat and mass transfer in laminar free ...
Weiterlesen
This book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB ...
Weiterlesen
This book constitutes the refereed proceedings of the 9th International Conference on Simulation of Adaptive Behavior, SAB ...
Weiterlesen
This book will help experts and designers in the specification and development of applications incorporating ECAs. Part 1 ...
Weiterlesen
Duetothepenetrationofinformationtechnologyintosocietyatlargeandinto schools in particular, the relationship between informatics ...
Weiterlesen
The volume contains revised versions of selected papers presented during the 29th Annual Conference of the Gesellschaft für ...
Weiterlesen
The volume contains revised versions of selected papers presented during the 29th Annual Conference of the Gesellschaft für ...
Weiterlesen
This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...
WeiterlesenThis book aims at deepening the understanding of the relation between cyber-physical systems (CPSs) as socio-technical systems ...
Weiterlesen
This book introduces the reader to a recent theory in Computer Vision yielding elementary techniques to analyse digital images. ...
Weiterlesen
Grids are a crucial enabling technology for scientific and industrial development. Peer-to-peer computing, grid, distributed ...
Weiterlesen
This book constitutes a commemorative volume devoted to Erich J. Neuhold on the occasion of his 65th birthday. The 32 invited ...
Weiterlesen