Theory practice algorithms systems (103 Ergebnisse)

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

Zustand: Very Good. 1998th Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.…

Zustand: New. In English.

Zustand: New. In English.

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.

Hardcover. Zustand: gut. 2001. Data Base Management System Administration BWL "This book is a major advance for transaction processing. It gives an in-depth presentation of both the theoretical and practical aspects of the field, and is the first to present our new understanding of multi-level (object model) transaction processing. It's likely to become the standard reference in our field for many years to come." The definitive guide to transaction processing; the programmes e-commerce relies on! E-commerce is a growing and vital part of today's new economy. At the heart of e-commerce, not to mention traditional data-intensive business, is transaction processing. Transaction processing includes the highly complex processes that transfer money from one account to another, reserve seats on a flight, control stock trading and make adjustments to inventory - just to give a few examples. Written by two widely recognized authorities, Fundamentals of Transactional Information Systems approaches the subject from the bottom up, focusing on the low-level algorithms out of which various pieces of transaction processing are constructed. It also examines higher-level challenges such as concurrency (synchronizing data stored in multiple locations) and recovery (protection against system failures). This is indispensable knowledge for an ever growing audience of programmers and database architects working on business systems of all kinds. Authoritative coverage from star researchers - both big names in the transaction processing field A topic of increasing importance to developers working for both traditional and e-commerce companies I enjoyed reading the book very much - or should I say I devoured it! In comparison with other books in the field, e.g. the classical ones Bernstein, Hadzilacos and Goodman or Papadimitriou, it is much more detailed and provides a unified framework for the representaion. In contrast to other books, it not only covers the traditional page model, but also treats the socalled object model which is much more general and gives additional insight as a unifying platform for different sophisticated variants of traditional TP protocols. What I found especially insightful is the rigour treatment of the topic in terms of a presice mathemetical model, not only for the protocols concerned with isolation of transactions, but also for the recovery protocols. I strongly recommend reading this book when you want to get a deeper understanding of the field. But of course it is also a beautiful introduction for beginners in TP and database systems. Fundamentals of Transactional Information SystemsTheory, Algorithms, and the Practice of Concurrency Control and Recovery Morgan Kaufmann Series in Data Management Systems Gottfried Vossen Gerhard Weikum Reihe/Serie The Morgan Kaufmann Series in Data Management Systems Verlagsort San Francisco Sprache englisch Maße 187 x 235 mm Mathematik Informatik Datenbanken Netzwerke Theorie Studium Web Internet Wirtschaft BWL Betriebswirtschaft Management Finanzierung Wirtschaftswissenschaften Betriebswirtschaftslehre Manager Unternehmensführung Management ISBN-10 1-55860-508-8 1558605088 ISBN-13 978-1-55860-508-4 9781558605084 In englischer Sprache. 852 pages. 23,8 x 19,4 x 4,6 cm.…

Paperback. Zustand: Brand New. 422 pages. 9.25x6.10x9.21 inches. In Stock.

Paperback. Zustand: Brand New. 370 pages. 9.26x6.11x9.21 inches. In Stock.

Paperback. Zustand: Brand New. 450 pages. 9.25x6.10x9.21 inches. In Stock.

Paperback. Zustand: Brand New. 488 pages. 9.25x6.10x1.14 inches. In Stock.

Paperback. Zustand: Brand New. 850 pages. 9.25x6.10x1.18 inches. In Stock.

Paperback. Zustand: Brand New. 275 pages. 9.30x5.90x0.70 inches. In Stock.

Paperback. Zustand: Brand New. 628 pages. 9.25x6.10x1.27 inches. In Stock.

Paperback. Zustand: Brand New. 630 pages. 6.14x1.28x9.21 inches. In Stock.

Hardback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Paperback. Zustand: Brand New. 708 pages. 6.14x1.42x9.21 inches. In Stock.

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.…

Paperback. Zustand: Brand New. 2011 edition. 394 pages. 9.20x6.10x0.90 inches. In Stock.

Paperback. Zustand: Brand New. 2009 edition. 456 pages. 9.00x6.00x1.00 inches. In Stock.

Paperback. Zustand: Brand New. 468 pages. 9.00x6.00x1.00 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.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking;Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations;Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking;Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations;Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 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, exibility, and efficiency of tools and algorithms for building computer-controlledsystems. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers.The papers are organized in topical sections as follows:Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication.Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows:Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems.Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows:Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems.Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.…