Cover Image
Read Now

1
Published 2020
Springer International Publishing
Table of Contents: “... -- Dynamics of Cellular Automata on Beta-Shifts and Direct Topological Factorizations -- Avoidability...”
Cover Image
Read Now

2
Published 2014
Springer International Publishing
Table of Contents: “... to Logic: There and Back Again { The Story of A Hierarchy (invited paper) -- Closure Properties of Pattern...”
Cover Image
Read Now

3
Published 2018
Springer International Publishing
Table of Contents: “...-Directed Deletion -- Counting Subwords and Regular Languages -- Deque languages, automata and planar graphs --...”
Cover Image
Read Now

4
by Wolfson, Mike
Published 2013
O'Reilly Media, Inc.
Table of Contents: “... Development Kit -- Installing the ADT Bundle -- Developing Without Eclipse -- Command-Line Usage -- Using a...”
Cover Image
Read Now

5
by Johanan, Joshua, Zea, Ricardo, Khan, Talha
Published 2016
Packt Publishing
Table of Contents: “...: CSS Properties -- Part 1; Animation; Base markup and CSS; Final CSS code; Background...”
Cover Image
Read Now

6
by Adamski, Tomasz
Published 2018
Packt Publishing
Table of Contents: “... of Java EE standard -- Current development trends -- Cloud computing -- Microservices -- Advantages...”
Cover Image
Read Now

7
by Sannella, Donald, Tarlecki, Andrzej
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Development -- Behavioural Specifications -- Proofs for Specifications -- Working with Multiple Logical...”
Cover Image
Read Now

8
by Clark, Dan
Published 2023
Packt Publishing Ltd.
Table of Contents: “... and Monitoring -- Introducing device twins -- Querying devices using device twins -- Updating device properties...”
Cover Image
Read Now

9
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Computational Logician -- Bob Kowalski: A Portrait -- Bob Kowalski: A Portrait -- Directions for Logic...”
Cover Image
Read Now

10
by Francez, Nissim
Published 1986
Springer New York
Table of Contents: “... of Helpful Directions -- 2.0 Introduction to Fair Termination -- 2.1 Ordinal Directed Choice of Helpful...”
Cover Image
Read Now

11
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... directed verification methods -- Correctness proofs of distributed termination algorithms -- Script: A...”
Cover Image
Read Now

12
Published 2022
Springer International Publishing
Table of Contents: “... from Structured Samples—An Effective Approach for Data-Driven Optimization -- Recent Developments...”
Cover Image
Read Now

13
by Venu, Sibeesh
Published 2020
Apress L.P.
Table of Contents: “... Communication Options -- Direct Methods -- Creating a Backend Application To Call the Direct Method -- Twin...”
Cover Image
Read Now

14
by Prabhu, Anirudh
Published 2015
Apress, Distributed to the Book trade worldwide by Springer Science+Business Media New York
Table of Contents: “...; Operations on Numbers and Colors; Merging Properties ; Looping Mixins; Functions; List Functions; Color...”
Cover Image
Read Now

15
Published 2008
Springer Berlin Heidelberg
“... systems and languages that are able to bootstrap, implement, modify, and maintain themselves. One property...”
Cover Image
Read Now

16
Published 2023
Springer Nature Singapore
Table of Contents: “... -- Incremental Property Directed Reachability -- Proving Local Invariants in ASTDs -- Doctoral Symposium Papers...”
Cover Image
Read Now

17
by Tou, Julius T.
Published 1981
Springer US
Table of Contents: “... of Programming Languages -- 6. Examples -- References -- 3 Software Development for Digital Control -- 1...”
Cover Image
Read Now

18
by Schneider, Fred B.
Published 1997
Springer New York
Table of Contents: “... of Configurations -- 6.4 Direct Use of Proof Outlines -- 6.5 Developing Programs for Invariance Properties...”
Cover Image
Read Now

19
Published 1993
Birkhäuser
Table of Contents: “... Groups -- Recursive Properties of Intervals of Recursive Linear Orders -- Algorithmic Stability of Models...”
Cover Image
Read Now

20
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Analysis of Permixed Turbulent Flames Using Direct Numerical Simulations -- Adaptive Chemistry Computation...”