1
by Steuerer, Jakob, Bang-Jensen, Jorgen
Published 2002
Springer Vienna
...Nach der "Ersten Welle" Anfang der 90er Jahre, als Handys noch ein elitärer Luxus waren, und der...

2
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... and well-founded semantics+ -- Nonmonotonic reasoning by monotonic inferences with priority constraints...

3
by Noyes, Jan, Baber, Chris
Published 1999
Springer London
Table of Contents: ... How Will the System Be Designed? -- 6 How Well Do the Users Think the System Works? -- 7 How Well Does...

4
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... semiconductors -- Prediction of large optical nonlinearities in quantum well wires -- Nonlinear optical...

5
by Junming Xu
Published 2001
Springer US
Table of Contents: ... of Interconnection Networks -- 3 Well-known Topological Structures of Interconnection Networks -- 4 Fault-Tolerant...

6
by Ohlebusch, Enno
Published 2002
Springer New York
Table of Contents: ... -- 10 Proving Termination of Logic Programs -- A Kruskal’s Theorem -- A.l Partial Well-Orderings -- A.2...

7
by Alferes, Jose Julio, Moniz Pereira, Luis
Published 1996
Springer Berlin Heidelberg
Table of Contents: ...? -- WFSX — A well founded semantics for extended logic programs -- WFSX, LP semantics with two negations...

8
by Goldberg, David E.
Published 2002
Springer US
Table of Contents: ... Time for Building Blocks -- 10 Deciding Well -- 11 Mixing, Control Maps, and GA Success -- 12 Design...

9
by Luca, Aldo de, Varricchio, Stefano
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... -- 5.1 Uniform conditions -- 5.2 Pumping properties -- 5.3 Permutative property -- 6. Well Quasi-orders...

10
Published 1986
Springer Berlin Heidelberg
Table of Contents: ... structures -- Random walks on trees -- Infinite trees, markings and well foundedness -- Computable directory...

11
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... Handover Buffers in Wireless ATM Networks with GSPN Models -- A Class of Well Structured Petri Nets...

12
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Gesundheits-und Wellness Services -- 7 Leben im intelligenten Heim -- 8 Wenn das Hemd mehr weiß als ich...

13
by Back, Ralph-Johan, Wright, Joakim
Published 1998
Springer New York
Table of Contents: ... and Refinement of Statements -- III Recursion and Iteration -- 18 Well-founded Sets and Ordinals -- 19 Fixed...

14
by Saeks, R.
Published 1973
Springer Berlin Heidelberg
Table of Contents: .... Problems and Discussion -- 2. Feedback Systems -- A. Well-Posedness -- B. Stability -- C. Sensitivity -- D...

15
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... and deterministic logic programs -- A bottom-up reconstruction of the well-founded semantics for disjunctive logic...

16
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... of logic programming -- Partial deduction of logic programs WRT well-founded semantics -- The finiteness...

17
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... Functionals and Well-Founded Strategies -- Counting a Type’s Principal Inhabitants -- Useless-Code Detection...

18
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... -- Well-Posedness of a Class of Piecewise Linear Systems with No Jumps -- A New Class of Decidable Hybrid...

19
Published 1984
Springer US
...There are some types of complex systems that are built like clockwork, with well-defined parts...

20
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... -- An efficient algorithm for the computation of stubborn sets of well formed Petri Nets -- CAB: An environment...