Search alternatives:
"symbol" » "symbols", "symbolic"

1
by Basu, Ron
Published 2011
Wiley
..."Developed through the study of Six Sigma, Fit Sigma[trademark symbol] integrates the 'hard' Six...

2
by Hageback, Niklas
Published 2014
Bloomberg Press
Table of Contents: ... Forces, Part I: Building Blocks; Linking Symbols to Archetypes; Capturing Symbols; Active Imagination...

3
Published 2007
Springer Berlin Heidelberg
... Planungsbeispiele und Wirtschaftlichkeitsbetrachtungen runden den Inhalt des Buches ab. Angefügt sind ein Symbol...

4
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... Symbolic Steps -- Automated Refinement Checking for Asynchronous Processes -- Border-Block Triangular Form...

5
Published 2002
Springer Berlin Heidelberg
Table of Contents: ...Abstraction -- Abstraction by Symbolic Indexing Transformations -- Counter-Example Based Predicate...

6
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... for Networked Control Systems -- Symbolic Semantics for the Verification of Security Properties of Mobile Petri...

7
by Markschläger, Patrick
Published 1998
Springer Berlin Heidelberg
Table of Contents: ...0 Symbol- und Abkürzungsverzeichnis -- 1 Einleitung -- 1.1 Ausgangsbedingung und Problemstellung...

8
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... -- A Performance Study of BDD-Based Model Checking -- Symbolic Model Checking Visualization -- Input...

9
Published 1996
Springer Netherlands
Table of Contents: ... process -- 8 Glass an an economic factor -- Glass museums -- Explanation of physical symbols and units...

10
by Oberländer, Thomas F.
Published 1990
Springer Berlin Heidelberg
Table of Contents: ...Verzeichnis der wichtigsten Symbole -- 0 Zusammenfassung -- 1 Einleitung -- 2 Stand der Kenntnisse...

11
by Schwab, Wolfgang
Published 1989
Springer Berlin Heidelberg
Table of Contents: ...Verzeichnis der wichtigsten Symbole -- 0 Einleitung -- 1 Stand der Kenntnisse -- 2 Aufgabenstellung...

12
by Hager, Bernd
Published 1990
Springer Berlin Heidelberg
Table of Contents: ...Verzeichnis der wichtigsten Symbole -- Zusammenfassung -- 1 Einleitung -- 2 Stand der Kenntnisse...

13
by Chen, Yufeng
Published 2013
CRC Press, Taylor & Francis Group
Table of Contents: ...1. Introduction -- 2. Preliminaries -- 3. Symbolic computation and analysis of petri nets -- 4...

14
by Das, Subrata
Published 2014
CRC Press, Taylor & Francis Group
Table of Contents: ... -- Artificial intelligence for symbolic analytics -- Probabilistic graphical modeling -- Decision support...

15
by Wolf, Fabian
Published 2002
Springer US
Table of Contents: ... Interface -- A.4 Path Analysis Software -- A.4.1 Symbolic Execution -- A.4.2 Process Mode Annotation -- A...

16
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... of functions in CAST -- Basins of attraction estimation through symbolic graphical computing techniques...

17
by Saldin, E.L., Schneidmiller, E.V., Yurkov, M.V.
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... of the Sums in (5.119) -- A.6 List of Symbols -- Suggested Further Reading -- References...

18
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... for processor implementation verification -- Coverage-directed test generation using symbolic techniques -- Self...

19
Published 2001
Springer US
Table of Contents: ... Operation by Symbol Processing of Topology -- Solid Modeling Using Boundary Integral Equations -- Density...

20
Published 2015
CRC Press/Balkema
Table of Contents: ... of traditional graphic symbol and modern visual communication design; Blocks garden -- Research on creating a...