1
by Nipkow, Tobias, Klein, Gerwin
Published 2014
Springer International Publishing

2
by Weber, Anton, Dustdar, Schahram
Published 2012
Springer Vienna
... and managers involved. The software provided in this book helps to get a concrete tool showing how the approach...

3 ..., and interactive computer games. This unique monograph provides concrete methods for building flexible, predictable...

4
Published 2017
Springer International Publishing
.... The conference covers the spectrum from theoretical results to concrete applications, with an emphasis...

5
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... and equivalence in concrete model categories -- Open maps, behavioural equivalences, and congruences...

6
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... processes -- Continuous functions and parallel algorithms on concrete data structures -- Trade-offs in true...

7
by Quarteroni, Alfio, Saleri, Fausto
Published 2006
Springer Berlin Heidelberg
... equations. To make the presentation concrete and appealing, the programming environments Matlab and Octave...

8
Published 2015
Springer International Publishing
Table of Contents: ... Concretization for Parallel Program Synthesis -- Automatic Completion of Distributed Protocols with Symmetry...

9
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... -- Concrete Model Checking with Abstract Matching and Refinement -- Abstraction for Falsification -- Bounded...

10
by Koblitz, Neal
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... -- §2. Irrelevance of Brassard’s Theorem -- §3. Concrete Combinatorial-Algebraic Systems -- §4...

11
by Walrand, Jean
Published 2021
Springer International Publishing
... and CS; Presents all topics with concrete applications so students see the relevance of the theory...

12
Published 2021
Springer International Publishing
Table of Contents: ... Recognition from Symbolic Music with CNNs -- Axial Generation: A Concretism-Inspired Method for Synthesizing...

13
by Birman, Kenneth
Published 2005
Springer New York
...Topics and features: * Explains fault-tolerance in clear, readily understood terms with concrete...

14
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Rules -- On the Usage of Concrete Syntax in Model Transformation Rules -- TTCN-3 for Distributed Testing...

15
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Semantics. -- Integrated Definition of Abstract and Concrete Syntax for Textual Languages -- Architectural...

16
by Yüksel, Serdar, Başar, Tamer
Published 2013
Birkhäuser
... for the study of networked control systems, and introduces an array of concrete tools for work in the field...

17
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... -- Concrete Multiplicative Complexity of Symmetric Functions -- On the Complexity of Limit Sets of Cellular...

18
by Bauer, F.L., Wössner, H.
Published 1982
Springer Berlin Heidelberg
Table of Contents: .... Computational Structures -- 3.1 Concrete Computational Structures -- 3.2 Abstract Computational Structures...

19
by Attoui, Ammar
Published 2000
Springer London
... and tech­ niques which are necessary for the concrete implementation ofthe idea ofan agent as an autonomous...

20
Published 2013
Springer Berlin Heidelberg
Table of Contents: ...-Order Statistics -- Constructing Surrogate Model for Optimum Concrete Mixtures Using Neural Network...