Becoming a Lean Library: Lessons from the World of Technology Start-ups provides a guide to the process and approach necessary to manage product development. Using techniques and philosophies pioneered by Toyota's lean manufacturing success, Becoming a Lean Library provides library leadership advice and tips on making the library more nimble, lean, and responsive to technological change. Early chapters introduce the reader to the idea of lean start-ups in libraries, followed by chapters covering library systems, lessons from lean manufacturing, and the build-measure-learn model. Remaining chapters discuss technology change and DevOps as a lean strategy, while also giving the reader the opportunity to earn a professional online "badge" on the subject material of the book. Introduces lean startup and lean manufacturing theory and practice Applies Lean Startup Principles to Libraries Allows readers to earn two Openbadges to demonstrate professional education accomplishment through social networking and for compensation purposes Only book in its market that illustrates lean principles at work

Information systems are central to libraries, and managing information systems is critical to serving library communities. Both a textbook for LIS courses and a handbook for practitioners, this volume thoroughly addresses modern libraries' challenges of integrating information technology. Written by Joseph R. Matthews and Carson Block, both experts on library information systems, this book describes the evolution of library information systems, their enabling technologies, and today's dynamic IT marketplace. It explains specific technologies and related topics, including standards and standards organizations, telecommunications and networks, integrated library systems, electronic resource management systems, repositories, authentication and link verification, electronic resources, and nextgen library systems. Readers will also learn the latest about information systems management, covering technology planning, basic technology axioms, the impact of technology on library services, system selection and implementation, system usability, and general technology management. The final section considers current trends and future developments in LIS, including those related to mobile devices and apps as well as the growth of digital libraries.

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.

This guide provides library directors, managers, and administrators in all types of libraries with complete and up-to-date instructions on how to evaluate library services in order to improve them. It's a fact: today's libraries must evaluate their services in order to find ways to better serve patrons and prove their value to their communities. In this greatly updated and expanded edition of Matthews' seminal text, you'll discover a breadth of tools that can be used to evaluate any library service, including newer tools designed to measure customer and patron outcomes. The book offers practical advice backed by solid research on virtually every aspect of evaluation, including quantitative and qualitative tools, data analysis, and specific recommendations for measuring individual services, such as technical services and reference and interlibrary loan. New chapters give readers effective ways to evaluate critical aspects of their libraries such as automated systems, physical space, staff, performance management frameworks, eBooks, social media, and information literacy. The author explains how broader and more robust adoption of evaluation techniques will help library managers combine traditional internal measurements, such as circulation and reference transactions, with more customer-centric metrics that reflect how well patrons feel they are served and how satisfied they are with the library. By applying this comprehensive strategy, readers will gain the ability to form a truer picture of their library's value to its stakeholders and patrons.

Packed with boots-on-the-ground commentary, this book presents strategies to help libraries survive and succeed.

In this book, nine librarians from across the country describe their libraries' best practices in this key area. Their contributions range from all-encompassing customer service policies and models any library can both adapt and be proud of to micro-approaches that emphasize offering excellent user-focused technology planning, picture book arrangement with patrons in mind, Web 2.0 tools to connect users with the library, establishing good service delivery chains, and making your library fantastic for homeschoolers. As past Public Library Association President Audra Caplan writes in her introduction to this book, "There is nothing magical about providing excellent customer service; it just takes the right people, the right philosophy and the passion to make it a reality." If you've got all that, here are the best practices to make stellar customer service a reality for your library's users.

Take your knowledge of Redis to the next level to build enthralling applications with ease About This Book Detailed explanation on Data structure server with powerful strings, lists, sets, sorted-sets, and hashes Learn to Scale your data with Redis Cluster's distributed setup This is a fast paced practical guide full of screenshots and real work examples to help you get to grips with Redis in no time. Who This Book Is For If you are a software developer with some experience with Redis and would now like to elevate your Redis knowledge and skills even further, then this book is for you. What You Will Learn Choose the right Redis data structure for your problem Understand Redis event-loop and implement your own custom C commands Solve complex workflows with Redis server-side scripting with Lua Configure your Redis instance for optimal memory management Scale your data in a distributed manner with Redis Cluster Improve the stability of your Redis solution using Redis Sentinel Complement your existing database and NoSQL environment with Redis Exploit a wide range of features provided by Redis to become a DevOps expert. In Detail Redis is the most popular, open-source, key value data structure server that provides a wide range of capabilities on which multiple platforms can be be built. Its fast and flexible data structures give your existing applications an edge in the development environment. This book is a practical guide which aims to help you deep dive into the world of Redis data structure to exploit its excellent features. We start our journey by understanding the need of Redis in brief, followed by an explanation of Advanced key management. Next, you will learn about design patterns, best practices for using Redis in DevOps environment and Docker containerization paradigm in detail. After this, you will understand the concept of scaling with Redis cluster and Redis Sentinel , followed by a through explanation of incorporating Redis with NoSQL technologies such as Elasticsearch and MongoDB. At the end of this section, you will be able to develop competent applications using these technologies. You will then explore the message queuing and task management features of Redis and will be able to implement them in your applications. Finally, you will learn how Redis can be used to build real-time data analytic dashboards, for different disparate data streams. Style and approach This is a hands on guide full of easy-to-follow examples, that illustrate important concepts and techniques to solve complex problems with Redis.