1
by Kost, Arnulf
Published 1994
Springer Berlin Heidelberg
Subjects: ...Power Electronics, Electrical Machines and Networks...

2
Published 1991
Springer Berlin Heidelberg
Subjects: ...Machine theory...

3
Published 1999
Springer Berlin Heidelberg
Table of Contents: ...-induction in COQ -- Connecting Proof Checkers and Computer Algebra Using OpenMath -- A Machine-Checked...

4
by Ching, Wai K.
Published 2001
Springer London
Table of Contents: ... Process Inputs -- 4. Application of MMPP to Manufacturing Systems of Multiple Unreliable Machines -- 5...

5
by Schmidt, Bernd
Published 1987
Springer Berlin Heidelberg
Subjects: ...Manufacturing, Machines, Tools, Processes...

6
by Tanaev, V., Gordon, W., Shafransky, Yakov M.
Published 1994
Springer Netherlands
Table of Contents: ...-Feasible Schedules -- 3. Single Machine. Maximal Cost -- 4. Single Machine. Total Cost -- 5. Identical...

7
by Tanaev, V., Sotskov, Yuri N., Strusevich, V.A.
Published 1994
Springer Netherlands
Table of Contents: ...1 Flow Shop -- 1. Maximal Completion Time. Two Machines -- 2. Maximal Completion Time. Three...

8
by Neumann, Klaus
Published 1990
Springer Berlin Heidelberg
Table of Contents: ... with GERT Precedence Constraints -- 5.1 Deterministic Single—Machine Scheduling -- 5.2 Stochastic Single...

9
by Boyce, David, Farhi, A., Weischedel, R.
Published 1974
Springer Berlin Heidelberg
Table of Contents: ... on Different Sets of Data or the Same Data -- 2.9 Output of the Program -- 2.10 Machine Dependent Program...

10
by Jongen, Hubertus Th, Meer, Klaus, Triesch, Eberhard
Published 2004
Springer US
Table of Contents: ... -- Applications of the Max-Flow Min-Cut Theorem -- Integer Linear Programming -- Computability; the Turing machine...

11
by Lytton, William W.
Published 2002
Springer New York
Table of Contents: ... Representations -- The Soul of an Old Machine -- Cybernetics -- Concept Neurons -- Neural Coding -- Our Friend...

12
by Hastie, Trevor, Tibshirani, Robert, Friedman, Jerome
Published 2001
Springer New York
Table of Contents: ... -- 10 Boosting and Additive Trees -- 11 Neural Networks -- 12 Support Vector Machines and Flexible...

13
Published 1982
Springer Netherlands
Table of Contents: ... -- On Scheduling with Release Times and Deadlines -- Scheduling Uniform Machines with Release Times, Deadlines...

14
Published 1998
Springer US
Table of Contents: ... Factorization on MIMD Distributed Memory Machines -- A Controlled Random Search Algorithm with Local Newton-type...

15
Published 1980
Springer Berlin Heidelberg
Table of Contents: ... for the single machine sequencing problem with precedence constraints -- Finding k edge-disjoint spanning trees...

16
Published 2003
Springer Berlin Heidelberg
Table of Contents: ...Part I: Connectionist Paradigms and Machine Learning -- Part II: Fuzzy Sets, Rough Sets...

17
Published 2003
Springer Netherlands
Table of Contents: ...An Evolutionary Algorithm for the Optimal Design of a Rare Earth Permanent Magnet Machine...

18
Published 2003
Springer New York
Table of Contents: ... Properties and Adaptive Tuning of Standard and Nonstandard Support Vector Machines -- 8 The Boosting Approach...

19
Published 1984
Springer Berlin Heidelberg
Table of Contents: ... -- Stabilite de Regime des Machines Tournantes et Problemes Associes...

20
by DEW/JAMES.
Published 1983
Springer New York
Table of Contents: ... Basic Mathematics and Applications -- 4 Real Numbers, Machine Numbers and Errors -- 2 Development...