| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990008294330403321 |
|
|
Autore |
Morand-Deviller, Jacqueline |
|
|
Titolo |
Cours de droit administratif : cours, themes de réflexion, commentaires d'arrêts avec corriges / Jacqueline Morand-Deviller |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Paris : Montchrestien, c2005 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[9. ed.] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996511868803316 |
|
|
Titolo |
Formal Methods Teaching [[electronic resource] ] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / / edited by Catherine Dubois, Pierluigi San Pietro |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 105 p. 69 illus., 20 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 13962 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mathematical logic |
Logic programming |
Natural language processing (Computer science) |
Social sciences—Data processing |
Software engineering |
Microprogramming |
Mathematical Logic and Foundations |
Logic in AI |
Natural Language Processing (NLP) |
Computer Application in Social and Behavioral Sciences |
Software Engineering |
Control Structures and Microprogramming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Automated Exercise Generation for Satisfiability Checking -- Graphical Loop Invariant Based Programming -- A Gentle Introduction to Verification of Parameterized Reactive Systems -- Model Checking Concurrent Programs for Autograding in pseuCo Book -- Teaching TLA+ to Engineers at Microsoft -- Teaching and Training in Formalisation with B -- Teaching low-code Formal Methods with Coloured Petri Nets. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023. The 7 full papers presented in this |
|
|
|
|
|
|
|
|
|
|
|
|
|
volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910677588103321 |
|
|
Autore |
Arboretti Rosa |
|
|
Titolo |
End-to-end data analytics for product development : a practical guide for fast consumer goods companies, chemical industry and processing tools manufacturers / / Rosa Arboretti [and three others] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hoboken, New Jersey : , : Wiley, , [2020] |
|
2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-5231-3298-1 |
1-119-48371-9 |
1-119-48372-7 |
1-119-48370-0 |
|
|
|
|
|
|
|
|
Edizione |
[1st edition] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (314 pages) |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
New products - Management - Statistical methods |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Includes bibliographical references (p. 293-294) and index |
|
|
|
|
|
|
Nota di contenuto |
|
Basic statistical background -- The screening phase -- Product development and optimization -- Other topics in product development and optimization -- Product validation -- Consumer voice. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
An interactive guide to the statistical tools used to solve problems during product and process innovation End to End Data Analytics for Product Development is an accessible guide designed for practitioners in the industrial field. It offers an introduction to data analytics and the design of experiments (DoE) whilst covering the basic statistical concepts useful to an understanding of DoE. The text supports product innovation and development across a range of consumer goods and pharmaceutical organizations in order to improve the quality and speed of implementation through data analytics, statistical design and data |
|
|
|
|
|
|
|
|
|
|
prediction. The book reviews information on feasibility screening, formulation and packaging development, sensory tests, and more. The authors – noted experts in the field – explore relevant techniques for data analytics and present the guidelines for data interpretation. In addition, the book contains information on process development and product validation that can be optimized through data understanding, analysis and validation. The authors present an accessible, hands-on approach that uses MINITAB and JMP software. The book: • Presents a guide to innovation feasibility and formulation and process development • Contains the statistical tools used to solve challenges faced during product innovation and feasibility • Offers information on stability studies which are common especially in chemical or pharmaceutical fields • Includes a companion website which contains videos summarizing main concepts Written for undergraduate students and practitioners in industry, End to End Data Analytics for Product Development offers resources for the planning, conducting, analyzing and interpreting of controlled tests in order to develop effective products and processes. |
|
|
|
|
|
| |