Cover Image
Read Now

1
by Popova-Zeugmann, Louchka
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Chap. 1 - The Classic Petri Net -- Chap. 2 - Time Petri Nets -- Chap. 3 - Timed Petri Nets -- Chap...”
Cover Image
Read Now

2
by Kormanyos, Christopher
Published 2018
Springer Berlin Heidelberg
Table of Contents: “...Part I Language Technologies for Real-Time C++ -- 1 Getting Started with Real-Time C++ -- 2 Working...”
Cover Image
Read Now

3
by Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo
Published 2012
Springer Berlin Heidelberg
Table of Contents: “...Chap. 1 It's About Time -- Chap. 2 Languages and Interpretations -- Chap. 3 Dimensions of the Time...”
Cover Image
Read Now

4
by Kopetz, Hermann
Published 2011
Springer US
Table of Contents: “...The Real-Time Environment -- Simplicity -- Global Time -- Real-Time (RT) Model -- Temporal...”
Cover Image
Read Now

5
by Gawiejnowicz, Stanislaw
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... of the scheduling theory -- Basics of time-dependent scheduling -- Complexity -- Single-machine time-dependent...”
Cover Image
Read Now

6
by Kormanyos, Christopher
Published 2015
Springer Berlin Heidelberg
Table of Contents: “...Part I Language Technologies for Real-Time C++ -- 1 Getting Started with Real-Time C++ -- 2 Working...”
Cover Image
Read Now

7
by Kormanyos, Christopher Michael
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Part I Language Technologies for Real-Time C++ -- Getting Started with Real-Time C++ -- Working...”
Cover Image
Read Now

8
by Kormanyos, Christopher
Published 2021
Springer Berlin Heidelberg
Table of Contents: “...Part I: Language Technologies for Real-Time C++ -- 1. Getting Started with Real-Time C++ -- 2...”
Cover Image
Read Now

9
by Applebaum, Benny
Published 2014
Springer Berlin Heidelberg
“... be realized by Boolean circuits of constant depth.  This book establishes, for the first time, the possibility...”
Cover Image
Read Now

10
by Rybaczyk, Peter
Published 2005
Apress
Table of Contents: “...NTP: The Key to Time Transcendence -- Multiple Views of Time -- Network Administration...”
Cover Image
Read Now

11
by Sha, Dan, Wong, C. K.
Published 2007
Springer US
Table of Contents: “...Time-Varying Shortest Path Problems -- Time-Varying Minimum Spanning Trees -- Time-Varying...”
Cover Image
Read Now

12 Table of Contents: “...Introduction -- Historical Background -- Time & Time-Oriented Data.-Visualization Aspects...”
Cover Image
Read Now

13
by Erciyes, K.
Published 2019
Springer International Publishing
Table of Contents: “...Part I: Introduction -- Introduction to Real-Time Systems -- The Hardware -- Distributed Real-Time...”
Cover Image
Read Now

14 Table of Contents: “...1 Introduction -- 2 Historical Background -- 3 Time & Time-Oriented Data -- 4 Crafting...”
Cover Image
Read Now

15
by Meisen, Philipp
Published 2016
Springer Fachmedien Wiesbaden
Table of Contents: “...Modeling Time Interval Data -- Querying for Time Interval Data -- Similarity of Time Interval Data...”
Cover Image
Read Now

16
Published 2018
Springer International Publishing
Table of Contents: “... of the Initial-state Opacity of Real-time Automata -- Domain Science and Engineering: A Review of 10 Years Work...”
Cover Image
Read Now

17
Published 2021
Springer International Publishing
Cover Image
Read Now

18
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... for Partially Observable Timed Games -- Undecidability of Universality for Timed Automata with Minimal Resources...”
Cover Image
Read Now

19
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Systems.-Robustness of Time Petri Nets under Architectural Constraints -- Toward a Timed Theory of Channel...”
Cover Image
Read Now

20
Published 2015
Springer International Publishing
“... Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015...”