Electronic Books

Total Books: 3361 - 3380 /3593

This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...

This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

To support application developers in the various tasks involved in this process, several different tools need to be at his ...

This book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...

This book constitutes the refereed proceedings of the Cryptographers Track at the RSA Conference 2005, CT-RSA 2005, held ...

This book constitutes the refereed proceedings of the Cryptographers’ Track at the RSA Conference 2006,held in San Jose, ...

This book presents survey articles on some of these new developments. Most of the material is directly related to the interaction ...

Biology has entered the age of Big Data. A technical revolution has transformed the field, and extracting meaningful information ...

Le tableau de bord de la performance totale vise le développement maximum de tous les collaborateurs de l'entreprise et ...

Today’s mobile robot perception is insufficient for acting goal-directedly in unconstrained, dynamic everyday environments ...

This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...

The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...

This volume includes adaption/monitoring, model driven architecture, network services, service oriented architecture, business ...

This volume is a collection of papers which were presented at the 7th conference meeting of the Arnoldshain Research Network ...

In the last two decades of the 20th century, we obtained our first detailed look at a cometary nucleus and detected objects ...

This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...

This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...

Total Books: 3361 - 3380 /3593