Author: Publisher:
ISBN:
Category : Operations research
Languages : fr
Pages : 372
Book Description
Revue française d'automatique, informatique, recherche opérationnelle
Author: New Serial Titles
Author: Informatique Théorique Et Applications
Author: Publisher:
ISBN:
Category : Electronic data processing
Languages : en
Pages : 830
Book Description
National Union Catalog
Author: 2AN.
Author: Ω-Bibliography of Mathematical Logic
Author: Heinz-Dieter EbbinghausPublisher: Springer Science & Business Media
ISBN: 3662090589
Category : Mathematics
Languages : en
Pages : 653
Book Description
Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H.-D. Ebbinghaus IV. Recursion Theory P.G. Hinman V. Set Theory A.R. Blass VI. ProofTheory; Constructive Mathematics J.E. Kister; D. van Dalen & A.S. Troelstra.
Algorithms for Linear-Quadratic Optimization
Author: Vasile SimaPublisher: CRC Press
ISBN: 1000105288
Category : Mathematics
Languages : en
Pages : 382
Book Description
This textbook offers theoretical, algorithmic and computational guidelines for solving the most frequently encountered linear-quadratic optimization problems. It provides an overview of recent advances in control and systems theory, numerical line algebra, numerical optimization, scientific computations and software engineering.
Computer-Aided Production Management
Author: Asbjorn RolstadasPublisher: Springer Science & Business Media
ISBN: 3642733182
Category : Computers
Languages : en
Pages : 393
Book Description
The purpose of this book is to discuss the state of the art and future trends in the field of computerized production management systems. It is composed of a number of independent papers, each presented in a chapter. Some of the widely recognized experts in the field around the world have been asked to contribute. lowe each of them my sincere gratitude for their kind cooperation. I am also grateful to Peter Falster and Jim Browne for their kind support in helping me to review topics to be covered and to select the authors. This book is a result of the professional work done in the International Federation of Information Processing Technical Committee IFIP TC5 "Com puter Applications in Technology" and especially in the Working Group WG5. 7 "Computer-Aided Production Management". This group was established in 1978 with the aim of promoting and encouraging the advancement of the field of computer systems for the production management of manufacturing, off shore, construction, electronic and similar and related industries. The scope of the work includes, but is not limited to, the following topics: 1) design and implementation of new production planning and control systems taking into account new technology and management philosophy; 2) CAPM in a CIM environment including interfaces to CAD and CAM; 3) project management and cost engineering; 4) knowledge engineering in CAPM; 5) CAPM for Flexible Manufacturing Systems (FMS) and Flexible Assembly Systems (F AS); 6) methods and concepts in CAPM; 7) economic and social implications of CAPM.
INIS
Author: International Nuclear Information SystemPublisher:
ISBN:
Category : Cataloging of serial publications
Languages : en
Pages : 656
Book Description
Author: