Systems software tools (176 Ergebnisse)

Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Hardcover. Zustand: Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.

Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:9783540415237.…

hardcover. Zustand: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Paperback. Zustand: Very Good. 1. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.

Hardcover. Zustand: Very Good. Unread. In stock ready to dispatch from the UK.

Zustand: Very Good.

Softcover. First printing. Octavo, xvii, 364 pages. In Good minus condition. Spine is black with brown and white print. Cover in brown and black paper with gold and white print, illustration; edge wear, hinge crease. NOTE: Shelved in Netdesk Column F (ND-F) . 1418274. FP New Rockville Stock.

Zustand: Very Good. Very Good condition. (Computers, computer programming, software, textbooks).

Paperback. Zustand: Brand New. 368 pages. 6.00x1.00x9.00 inches. In Stock.

Paperback. Zustand: Brand New. 368 pages. 6.00x1.00x9.00 inches. In Stock.

Zustand: New. In English.

hardcover. Zustand: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Zustand: New. 2026. paperback. . . . . . Books ship from the US and Ireland.

Hardcover. Zustand: Brand New. 2nd edition. 288 pages. 9.75x7.00x0.75 inches. In Stock.

hardcover. Zustand: New. Same / next day dispatch (Monday - Friday).

Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Neuware.

Paperback. Zustand: Brand New. 1st edition. 384 pages. 9.00x7.75x0.50 inches. In Stock.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Neuware.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Neuware - Stop fighting symptoms. Start finding solutions. Discover the systems thinking tools that actually work.In Signals & Levers, Elisabeth Hendricksonformer VP R&D at Pivotal and author of the enduring Explore It!and Joel Tosiwho has spent 25+ years delivering software and a decade helping teams stop "change theater"teach you to see through the illusions that plague every software organization. Using tools from statistical process control, systems thinking, and economic theory, they show you how to identify real problems and find the levers that create lasting change. Each chapter delivers practical techniques. Learn to spot critical illusions that derail delivery, build causal diagrams that reveal system dynamics, and uncover hidden connections that make obvious solutions backfire. See how to separate signal from noise, frame problems as testable hypotheses, visualize trade-offs as continuums, build cultures that learn instead of repeating mistakes, and ultimately choose the right path forward given your context. Plus, "Better in 30 Minutes" exercises let you practice immediately. Along the way, you'll meet Theresa, an engineering director. She learned that her teams are late delivering the next release. Again. Frustrated, she digs into the data only to discover that she's been suffering from illusions that readers will find all too familiar. You'll follow Theresa's journey as she learns to read signals and find the right levers to fix systemic issues. Whether you're a developer tired of death marches, a CTO struggling with predictability, or a PM wondering why everything takes longer than planned, this book provides the systems thinking skills that transform software organizations.…

Paperback. Zustand: Brand New. 452 pages. 9.25x6.10x1.02 inches. In Stock.

Paperback. Zustand: Brand New. 528 pages. 9.25x6.10x1.19 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16m 2026.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows:Part I: Program analysis, ATP and rewriting; model checking; LTL; verification;Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games;Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows:Part I: Program analysis, ATP and rewriting; model checking; LTL; verification;Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games;Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025.…