This book constitutes the refereed proceedings of the 9th International Conference on Model Drive...

A fundamental understanding of algorithmic bioprocesses is key to learning how information proces...

A fundamental understanding of algorithmic bioprocesses is key to learning how information proces...

This book presents a powerful new language and methodology for programming complex reactive syste...

Computer science is the science of the future, and already underlies every facet of business and ...

Erst Algorithmen machen die Nutzung von Computern überhaupt möglich. In diesem Buch - in der engl...

Können Computer alles? Wenn es so wäre, gäbe es dieses Buch nicht. Es beweist bestechend logisch,...

This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it ...

Un'eccellente introduzione agli algoritmi, alla loro struttura, a come modificano i dati, alla co...

Computer science is the science of the future, and already underlies every facet of business and ...

Algorithmen sind der Kern der Informatik und der Mathematik, da jede Nutzung eines Computers erst...

This book provides the first comprehensive introduction to Dynamic Logic.

Etat des lieux de la prise en charge de la douleur aiguë dans les services d'urgences adultes de ...

Können Computer alles? Wenn es so wäre, gäbe es dieses Buch nicht. Es beweist bestechend logisch,...

Software engineering has over the years been applied in many different fields, ranging from telec...

Software engineering has over the years been applied in many different fields, ranging from telec...