| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910463592503321 |
|
|
Autore |
Bradley James R (James Robert) |
|
|
Titolo |
Improving business performance with Lean / / James R. Bradley |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, New York (222 East 46th Street, New York, NY 10017) : , : Business Expert Press, , 2015 |
|
|
|
|
|
|
|
|
|
Edizione |
[Second edition.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (272 p.) |
|
|
|
|
|
|
Collana |
|
Supply and operations management collection, , 2156-8200 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Lean manufacturing |
Electronic books. |
|
|
|
|
|
|
|
|
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 (pages 249-250) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
1. A brief introduction to Lean -- Part I. Basics of Lean -- 2. The motivation for implementing Lean -- 3. A framework for applying Lean -- 4. How to map and analyze a process -- 5. The need for reduced variation in processes -- Part II. Lean tools -- 6. Simplify and streamline -- 7. Standardize -- 8. Visual systems -- 9. Mistake-proof processes and product designs -- 10. Synchronize -- 11. Collocate -- 12. Reduce changeover time -- Part III. Implementing Lean -- 13. Successful implementation of Lean -- 14. Conclusions and summary -- Part IV. Practice -- 15. Exercises -- 16. Case studies -- Appendix. The effect of variation on Kanban systems -- Notes -- References -- Index. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book is a concise introduction to the essential concepts and tools used in the Lean method for improving business processes. It constitutes a sufficient toolkit to enable practitioners to quickly start using Lean to improve business processes in their workplace. Alternatively, it can also serve as a textbook in undergraduate or master's programs. This book succinctly describes the benefits of Lean in manufacturing, sales, administration, distribution, health care, and other industries, as well as providing a step-by-step description of how Lean is applied. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910300360703321 |
|
|
Autore |
Wayne Hillel |
|
|
Titolo |
Practical TLA+ : Planning Driven Development / / by Hillel Wayne |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2018 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (234 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Programming languages (Electronic computers) |
Computer programming |
Software engineering |
Programming Languages, Compilers, Interpreters |
Programming Techniques |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Part I: The Semantics of TLA+ and PlusCal -- 1. An Example -- 2. PlusCal -- 3. Operators and Functions -- 4. Constants, Models, and Imports -- 5. Concurrency -- 6. Temporal Logic -- Part II: Applying TLA+ -- 7. Algorithms -- 8. Data Structures -- 9. State Machines -- 10. Ambiguity and Feature Interation -- 11. Case Study: MapReduce -- Appendix A: Mathematics -- Appendix B: PT library -- Appendix C: PlusCal to TLA+. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs. You’ll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet with an example of TLA+ used in a bank transfer system, to see how it helps you design, test, and build a better application. Then, get some fundamentals of TLA+ operators, logic, functions, PlusCal, models, and concurrency. Along the way you will discover how to organize your blueprints and how to specify distributed systems and |
|
|
|
|
|
|
|
|
|
|
|
|
|
eventual consistency. Finally, you’ll put what you learn into practice with some working case study applications, applying TLA+ to a wide variety of practical problems: from algorithm performance and data structures to business code and MapReduce. After reading and using this book, you'll have what you need to get started with TLA+ and how to use it in your mission-critical applications. You will: Read and write TLA+ specifications Check specs for broken invariants, race conditions, and liveness bugs Design concurrency and distributed systems Learn how TLA+ can help you with your day-to-day production work. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910893566503321 |
|
|
Titolo |
Programm der Königlichen Gewerbe-Akademie zu Berlin für das Studien-Jahr . |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
| |