Michael ten Hompel

Oliver Wolf

Jakob Rehof

This edited monograph brings together research papers covering the state of the art in cloud computing for logistics. The book includes general business object models for intralogistics as well as user-friendly methods for logistics business process design. It also presents a general template for logistics applications from the cloud. The target audience primarily comprises researchers and experts in the field, but the book will also be beneficial for graduate students.

Cloud Computing for Logistics

C.R. Ramakrishnan

This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.

14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

Jakob Rehof

Books

Your next favorite book is out there