| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990007516890403321 |
|
|
Autore |
Giustiniani, Lorenzo <1761-1824> |
|
|
Titolo |
Cenno storico sul Sannio : storia dei popoli che hanno abitato quella regione, dai tempi più remoti fino ai nostri giorni / opera di Lorenzo Giustiniani |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Napoli : Tipogr. di Francesco Masi, 1846 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910437900103321 |
|
|
Autore |
Rao R. Venkata |
|
|
Titolo |
Decision making in the manufacturing environment using graph theory and fuzzy multiple attribute decision making methods . Volume 2 / / R. Venkata Rao |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
9786613934673 |
9781283622226 |
128362222X |
9781447143758 |
1447143752 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (296 p.) |
|
|
|
|
|
|
Collana |
|
Decision making in the manufacturing environment using graph theory and fuzzy multiple attribute decision making methods ; ; v. 2 |
Springer series in advanced manufacturing, , 1860-5168 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Production management - Decision making |
Graph theory |
Fuzzy decision making |
Multiple criteria decision making |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
1. Multiple Attribute Decision Making in the Manufacturing Environment -- 2. Improved Multiple Attribute Decision Making Methods -- 3. Applications of Improved MADM Methods to the Decision Making Problems of Manufacturing Environment -- 4. A Novel Subjective and Objective Integrated Multiple Attribute Decision Making Method -- 5. A Novel Weighted Euclidean Distance Based Approach -- 6. A Combinatorial Mathematics Based Decision Making Method -- 7. Comparison of Different MADM Methods for Different Decision Making Situations of the Manufacturing Environment -- 8. Concluding Remarks. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Decision Making in Manufacturing Environment Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods presents the concepts and details of applications of MADM methods. A range of methods are covered including Analytic Hierarchy Process (AHP), Technique for Order Preference by Similarity to Ideal Solution (TOPSIS), VIšekriterijumsko KOmpromisno Rangiranje (VIKOR), Data Envelopment Analysis (DEA), Preference Ranking METHod for Enrichment Evaluations (PROMETHEE), ELimination Et Choix Traduisant la Realité (ELECTRE), COmplex PRoportional ASsessment (COPRAS), Grey Relational Analysis (GRA), UTility Additive (UTA), and Ordered Weighted Averaging (OWA). The existing MADM methods are improved upon and three novel multiple attribute decision making methods for solving the decision making problems of the manufacturing environment are proposed. The concept of integrated weights is introduced in the proposed subjective and objective integrated weights (SOIW) method and the weighted Euclidean distance based approach (WEDBA) to consider both the decision maker’s subjective preferences as well as the distribution of the attributes data of the decision matrix. These methods, which use fuzzy logic to convert the qualitative attributes into the quantitative attributes, are supported by various real-world application examples. Also, computer codes for AHP, TOPSIS, DEA, PROMETHEE, ELECTRE, COPRAS, and SOIW methods are included. This comprehensive coverage makes Decision Making in Manufacturing Environment Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods a key reference for the designers, manufacturing engineers, practitioners, managers, institutes involved in both design and manufacturing related projects. It is also an ideal study resource for applied research workers, academicians, and students in mechanical and industrial engineering. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910483181903321 |
|
|
Titolo |
Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings / / edited by Ezio Bartocci, C. R. Ramakrishnan |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 377 p. 143 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 7976 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Compilers (Computer programs) |
Computer science |
Software Engineering |
Compilers and Interpreters |
Computer Science Logic and Foundations of Programming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Explicit-state model checking techniques -- Other related tools -- Techniques for the verification and formal testing of software systems in general. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general. |
|
|
|
|
|
|
|
| |