Michael Fisher – författare
304 kr
Skickas inom 7-10 vardagar
The Comprehensive, Proven Approach to IT Scalability–Updated with New Strategies, Technologies, and Case Studies
In The Art of Scalability, Second Edition, leading scalability consultants Martin L. Abbott and Michael T. Fisher cover everything you need to know to smoothly scale products and services for any requirement. This extensively revised edition reflects new technologies, strategies, and lessons, as well as new case studies from the authors’ pioneering consulting practice, AKF Partners.
Writing for technical and nontechnical decision-makers, Abbott and Fisher cover everything that impacts scalability, including architecture, process, people, organization, and technology. Their insights and recommendations reflect more than thirty years of experience at companies ranging from eBay to Visa, and Salesforce.com to Apple.
You’ll find updated strategies for structuring organizations to maximize agility and scalability, as well as new insights into the cloud (IaaS/PaaS) transition, NoSQL, DevOps, business metrics, and more. Using this guide’s tools and advice, you can systematically clear away obstacles to scalability–and achieve unprecedented IT and business performance.
Coverage includes
• Why scalability problems start with organizations and people, not technology, and what to do about it
• Actionable lessons from real successes and failures
• Staffing, structuring, and leading the agile, scalable organization
• Scaling processes for hyper-growth environments
• Architecting scalability: proprietary models for clarifying needs and making choices–including 15 key success principles
• Emerging technologies and challenges: data cost, datacenter planning, cloud evolution, and customer-aligned monitoring
• Measuring availability, capacity, load, and performance
286 kr
Skickas inom 5-8 vardagar
608 kr
Skickas inom 5-8 vardagar
687 kr
Läs direkt efter köp
586 kr
Läs direkt efter köp
288 kr
Skickas inom 5-8 vardagar
452 kr
Läs direkt efter köp
Advances in Temporal Logic
1 626 kr
Skickas inom 10-15 vardagar
241 kr
Läs direkt efter köp
250 kr
Läs direkt efter köp
913 kr
Skickas inom 7-10 vardagar
1 155 kr
Läs direkt efter köp
1 613 kr
Läs direkt efter köp
Fisher begins with a full introduction to the subject, covering the basics of temporal logic and using a variety of examples, exercises and pointers to more advanced work to help clarify and illustrate the topics discussed. He goes on to describe how this logic can be used to specify a variety of computational systems, looking at issues of linking specifications, concurrency, communication and composition ability. He then analyses temporal specification techniques such as deductive verification, algorithmic verification, and direct execution to develop and verify computational systems. The final chapter on case studies analyses the potential problems that can occur in a range of engineering applications in the areas of robotics, railway signalling, hardware design, ubiquitous computing, intelligent agents, and information security, and explains how temporal logic can improve their accuracy and reliability.
Models temporal notions and uses them to analyze computational systems Provides a broad approach to temporal logic across many formal methods - including specification, verification and implementation Introduces and explains freely available tools based on temporal logics and shows how these can be applied Presents exercises and pointers to further study in each chapter, as well as an accompanying website providing links to additional systems based upon temporal logic as well as additional material related to the book.1 613 kr
Läs direkt efter köp
Fisher begins with a full introduction to the subject, covering the basics of temporal logic and using a variety of examples, exercises and pointers to more advanced work to help clarify and illustrate the topics discussed. He goes on to describe how this logic can be used to specify a variety of computational systems, looking at issues of linking specifications, concurrency, communication and composition ability. He then analyses temporal specification techniques such as deductive verification, algorithmic verification, and direct execution to develop and verify computational systems. The final chapter on case studies analyses the potential problems that can occur in a range of engineering applications in the areas of robotics, railway signalling, hardware design, ubiquitous computing, intelligent agents, and information security, and explains how temporal logic can improve their accuracy and reliability.
Models temporal notions and uses them to analyze computational systems Provides a broad approach to temporal logic across many formal methods - including specification, verification and implementation Introduces and explains freely available tools based on temporal logics and shows how these can be applied Presents exercises and pointers to further study in each chapter, as well as an accompanying website providing links to additional systems based upon temporal logic as well as additional material related to the book.272 kr
Skickas inom 5-8 vardagar
198 kr
Skickas inom 3-6 vardagar
232 kr
Skickas inom 5-8 vardagar
341 kr
Skickas inom 5-8 vardagar
341 kr
Skickas inom 5-8 vardagar
176 kr
Skickas inom 5-8 vardagar
170 kr
Skickas inom 5-8 vardagar
170 kr
Skickas inom 5-8 vardagar
345 kr
Skickas inom 5-8 vardagar
59 kr
Läs direkt efter köp
Josh seemed to have the perfect childhood: a loving family and an apartment-like bedroom setting for him and his sister. There was always something to do, someone to see, or a neighborhood pick-up football game. Then one year everything changed just before Christmas. "Rob, come meet Mr. Rich and his son, Josh."
These words changed his life forever.
244 kr
Skickas inom 5-8 vardagar
888 kr
Skickas inom 5-8 vardagar
Hacking Instructional Design
33 Extraordinary Ways to Create a Contemporary Curriculum
266 kr
Skickas inom 5-8 vardagar
566 kr
Skickas inom 10-15 vardagar
734 kr
Läs direkt efter köp
566 kr
Skickas inom 10-15 vardagar