| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910530235703321 |
|
|
Autore |
Power Daniel J |
|
|
Titolo |
Decision support, analytics, and business intelligence [[electronic resource] /] / Daniel J. Power |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[New York, N.Y.] (222 East 46th Street, New York, NY 10017), : Business Expert Press, 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-283-95061-8 |
1-60649-619-0 |
|
|
|
|
|
|
|
|
Edizione |
[2nd ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (184 p.) |
|
|
|
|
|
|
Collana |
|
Information systems collection, , 2156-6593 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Decision support systems |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Part of: 2013 digital library. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 149-156) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Acknowledgments -- Introduction -- 1. Modern decision support -- 2. Decision support concepts -- 3. Recognizing types of decision support -- 4. Business intelligence and data-driven DSS -- 5. Predictive analytics and model-driven decision support -- 6. Decision support benefits and trade-offs -- 7. Identifying decision support opportunities -- 8. Looking forward to innovative decision support -- Notes -- Glossary -- References and bibliography -- Index -- List of questions with links to answers. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Competition is becoming more intense. Decision makers are encountering increasing complexity, rapid change and higher levels of risk. In many situations, the solution is more and better computerized decision support, especially analytics and business intelligence. Today managers need to learn about and understand computerized decision support. If a business is to succeed, managers must know much more about information technology solutions. This introductory text is targeted to busy managers and MBA students who need to grasp the basics of computerized decision support, including: What is analytics? What is a decision support system? How can managers identify opportunities to create innovative computerized support? Overall this resource addresses 61 fundamental questions relevant to understanding the rapidly changing realm of computerized decision |
|
|
|
|
|
|
|
|
|
|
|
|
|
support. In a short period of time, readers can "get up to speed" on decision support, analytics and business intelligence. The text then provides a quick reference to important recurring questions. |
|
|
|
|
|
|
2. |
Record Nr. |
UNISALENTO991003522169707536 |
|
|
Titolo |
Nuove sfide del diritto di famiglia il ruolo dell'interprete : atti del convegno del 7-8 aprile 2017, Corte d'Appello di Lecce / a cura di Francesca Dell'Anna Misurale, Francesco Giacomo Viterbo |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Napoli : Edizioni Scientifiche Italiane, 2018 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Quaderni di Diritto delle successioni e della famiglia ; 21 |
|
|
|
|
|
|
Altri autori (Persone) |
|
Dell'Anna Misurale, Francesca |
Viterbo, Francesco Giacomo |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Diritto di famiglia - Italia - Convegni |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910735783103321 |
|
|
Autore |
Huisman Marieke |
|
|
Titolo |
Concise Guide to Software Verification : From Model Checking to Annotation Checking / / by Marieke Huisman, Anton Wijs |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 248 p. 146 illus., 127 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Texts in Computer Science, , 1868-095X |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer programs - Testing |
Software engineering |
Number theory |
Software Testing |
Software Engineering |
Computational Number Theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
1. Introduction -- 2. Background on First-Order Logic and Set Theory -- 3. System Modelling -- 4. Crash Course on Temporal Logic and its Verification -- 5. Software Analysis -- 6. Crash Course on Design by Contract Specifications -- 7. Run-time checking of Design by Contract Specifications -- 8. Static Checking of Design by Contract Specification -- 9. Abstract Specifications. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Ever since the beginnings of the development of software, researchers have been thinking about how to guarantee its correctness. Formal methods are techniques that can be used to improve software reliability and robustness. This concise volume overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum: from abstract system design to implementation, from bug finding to full proofs, and from techniques that are push-button by design and give a yes/no answer to |
|
|
|
|
|
|
|
|
|
|
techniques that require the user to provide explicit guidance to steer the analysis process. Topics and features: Covers a broad spectrum of software verification techniques, from model checking to annotation checking Provides numerous examples to demonstrate the techniques Focuses on how techniques can be used (and the main ideas behind how they work), as opposed to how they are implemented Explains strengths and weaknesses of the techniques, providing insight into when to use which technique in practice This unique textbook has been written primarily for master’s level students in computer science studying embedded systems and specializing in software technology. The book will also be of interest for students studying cyber security and data science technology, as well as for system or software developers interested in techniques that offer formal guarantees about software. Marieke Huisman is Professor at the Faculty of Electrical Engineering, Mathematics and Computer Science of the University of Twente, The Netherlands, and Anton Wijs is Assistant Professor at the Department of Mathematics and Computer Science of the Eindhoven University of Technology, The Netherlands. |
|
|
|
|
|
| |