Libromania
Suche einschränken:
Zur Kasse

290 Ergebnisse - Zeige 21 von 40.

Formal Modeling and Analysis of Timed Systems

Parker, David / Bogomolov, Sergiy
Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were carefully reviewed and selected from 30 submissions are presented in this volume with 3 full-length papers associated with invited/anniversary talks. The papers focus on topics such as modelling, de...

CHF 76.00

Live Every Day

Parker, David
Live Every Day
This book is a collection of memories submitted by 34 family members and friends of Stephen George William Parker, as compiled and complemented by his father after Stephen's death from cancer at the age of 46. For those readers who did not have the pleasure of knowing Stephen, the contents of this book should make it apparent that he believed from an early age in the adage "Live every day as though it is your last" - thus the book title. He di...

CHF 33.90

Thank God

Parker, David R
Thank God
God inspired me to write through my cell phone, so I wrote "I Took a Picture of Darkness." The heroes of 9/11 inspired me to write a poem also about God and brave Americans and our struggle against terrorists.

CHF 17.90

Fragments A Collection in Words and Pictures

Parker, David James
Fragments A Collection in Words and Pictures
Over nearly fifty years, the author has built up an extensive collection of memorabilia from the First and Second World Wars. This book looks at selected items from the private collection, providing a narrative about the original artefacts that also gives an insight into the life of the individuals who owned them.

CHF 19.90