Search alternatives:
bounds theory » bands theory, funds theory, brands theory

22
by Lalley, Steven P.
Published 2023
Springer International Publishing
Table of Contents: ... Functions -- 7 Dirichlet’s Principle and the Recurrence Type Theorem -- 8 Martingales -- 9 Bounded Harmonic...

23
by Dorndorf, Ulrich
Published 2002
Physica
Table of Contents: ... Summary -- 5 A Branch-and-Bound Algorithm -- 5.1 Previous Solution Approaches -- 5.2 Constraint...

24
Published 1987
Springer New York
Table of Contents: .... Problems in Communication -- 3.1 Some Basic Mathematical Problems of Multiuser Shannon Theory -- 3.2...

25
by Sachs, M.
Published 1986
Springer Netherlands
Table of Contents: ...1 / Fundamental Outlook -- 2 / On the Comparison of the Quantum and Relativity Theories -- 2.1...

26
Published 2010
Springer New York
Table of Contents: ... Biophysical Systems -- An Info-Centric Trajectory Planner for Unmanned Ground Vehicles -- Orbital Evasive...

27
by Jeffrey, Mike R.
Published 2018
Springer International Publishing
Table of Contents: ... Surface -- Chapter 7- Layer Analysis -- Chapter 8- Linear Switching (Local Theory) -- Chapter 9- Nonlinear...

28
by Mal, Arpita, Paul, Kallol, Sain, Debmalya
Published 2024
Springer Nature Singapore
Table of Contents: ...1 Notations and Terminologies -- 2 Basic theory of B-J orthogonality in Banach space -- 3 Operator...

29
by Downey, Rod
Published 2024
Springer Nature Switzerland
Table of Contents: ...Introduction -- Some Naive Set Theory -- Regular Languages and Finite Automata -- General Models...

30
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... -- Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic --...

31
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... -- I. Introduction -- II. Mechanics of Binary Systems -- III. Upper Bound for the Mass of a Neutron...

32
Published 1988
Springer Berlin Heidelberg
Table of Contents: ... time bounds for parallel term matching -- Challenge equality problems in lattice theory -- Single...

33
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... -- Towards a theory of recursive structures --...

34
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... -- On specialization of derivations in axiomatic equality theories -- Preserving of admissible inference rules in modal...

35
Published 1990
Springer Berlin Heidelberg
Table of Contents: ... for ground rewrite systems -- Problems complete for ?L -- Constructive matching — Explanation based...

36
by Socher-Ambrosius, Rolf, Johann, Patricia
Published 1997
Springer New York
Table of Contents: ... and Bound Variables -- 3.4 Substitutions -- 4 Semantics of First-order Languages -- 4.1 Structures...

37
by Kubrusly, Carlos S.
Published 2003
Birkhäuser
Subjects: ...Operator theory...

38
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Kripke Structures -- Model-Checking Infinite Systems Generated by Ground Tree Rewriting -- Bounded MSC...

39
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... for online b-matching -- Tight bounds for prefetching and buffer management algorithms for parallel I/O...

40
Published 1992
Springer Berlin Heidelberg
Table of Contents: ..., almost sparse oracles and the exponential hierarchy -- Structural average case complexity -- On bounded...