Algorithmic methods for railway optimization international Dagstuhl workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, Se...

Published 2007

Building parallel, embedded, and real-time applications with Ada

Published 2011

Business intelligence for the real-time enterprises first international workshop, BIRTE 2006, Seoul, Korea, September 11, 2006 : revised selected papers /

Published 2007

Domain modeling and the duration calculus international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /

Published 2007

Estimating user interaction probability for non-guaranteed display advertising : a thesis submitted in partial fulfilment of the requirements for the degree of Master of Science in...

by Williams, Alan Stephen

Formal methods and hybrid real-time systems essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /

Published 2007

Model-based testing of reactive systems advanced lectures /

Published 2005

A modular calculus for the average cost of data structuring

by Schellekens, Michel
Published 2008

Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systems /

by Rust, Heinrich
Published 2005

Real-time mobile multimedia services 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2007, San Jose, USA, October 31-Nove...

Published 2007

Windows Embedded CE 6.0 fundamentals

by Pavlov, S. A. (Stanislav Aleksandrovich)
Published 2008