theory practice algorithms systems (74 Ergebnisse)

Hardcover. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. The Morgan Kaufmann Series In Data Management Systems; *Ex-Library copy with usual identifiers. - Good overall condition. General wear. No major blemishes. No writing. ; - We're committed to your satisfaction. We offer free returns and respond promptly to all inquiries. Your item will be carefully wrapped in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.

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.

Hardcover. Zustand: gut. 2001. Offers a look at the role of transactional technology in economic and scientific endeavors. This book investigates critical issues faced by practitioners, presenting techniques for controlling concurrent access by multiple clients, recovering from system failures, and coordinating distributed transactions. Transactional Information Systems" is the long-awaited, comprehensive work from leading scientists in the transaction processing field. Weikum and Vossen begin with a broad look at the role of transactional technology in today's economic and scientific endeavors, then delve into critical issues faced by all practitioners, presenting today's most effective techniques for controlling concurrent access by multiple clients, recovering from system failures, and coordinating distributed transactions. The authors emphasize formal models that are easily applied across fields, that promise to remain valid as current technologies evolve, and that lend themselves to generalization and extension in the development of new classes of network-centric, functionally rich applications.This book's purpose and achievement is the presentation of the foundations of transactional systems as well as the practical aspects of the field what will help you meet today's challenges. It provides the most advanced coverage of the topic available anywhere - along with the database background required for you to make full use of this material. It explores transaction processing both generically as a broadly applicable set of information technology practices and specifically as a group of techniques for meeting the goals of your enterprise. It contains information essential to developers of Web-based e-Commerce functionality - and a wide range of more "traditional" applications. It details the algorithms underlying core transaction processing functionality. Zu diesem Buch kann ich nur eins sagen: Genial, absolutes Muss für jeden, der Tiefer in diesen Bereich einsteigen will. Jeder Student kennt das Problem, dass man in verschiedenen Bereichen des Studiums auch Fachliteratur angewiesen ist. Dabei gibt es in vielen Fällen zwei Extremfälle: - die Bücher sind zu Allgemein gehalten, sodaß bei tiefergehenden Fragen nicht geklärt werden und weitere Literatur benötigt wird - die Bücher sind zu Abstrakt gehalten, sodaß ein Einstieg in die Materie nicht immer ohne weiteres möglich ist. Das hier beschriebene Buch schafft es sehr gut einen Mittelweg zu finden, sodaß Einstieger gut in die Materie einsteigen können ohne aber die Leser zu verlieren, die sich schon ein wenig in der Materie auskennen. Nach der Empfehlung durch unseren Professor war ich im ersten Moment durch den hohen Preis abgeschreckt, sodaß ich mir dieses Buch zuerst in unserer Bib ausgeliehen habe. Schon nach den ersten Seiten war mir klar, dass es sich bei diesem Buch um ein sehr gutes Fachbuch handelt. Die einzelnen Aspekte von Transaktionen werden logisch erklärt und einzelne Abhängigkeiten erläutert. Im weiteren Verlauf des Buches bauen die Folgekapitel jeweils konsequent auf den vorhergehenden Kapiteln auf. Dieses Fachbuch geht dabei sehr umfassend auf die einzelnen Aspekte von Transaktionen und Datenbanken ein. Das beschriebene Buch war mir im Rahmen des Studiums eine sehr große Hilfe und dient mir heute immer noch als Nachschlage Werk. Ich kann dieses Buch jedem uneingeschränkt empfehlen, der sich in diesem Bereich einlesen will oder seine Kenntnisse vertiefen will. Author: Gerhard Weikum is Professor of Computer Science at University of the Saarland in Saarbruecken, Germany, where he leads a research group on database and information systems. His research has focused on parallel and distributed information systems, transaction processing and workflow management, database optimization and performance evaluation, multimedia data management, and intelligent search on Web data. Gottfried Vossen is Professor of Computer Science and a Director of the Institur fur Wirtschaftsinformatik, Universitat Munster (Department of Information Systems, University of Muenster, Germany). His research in the area of object-based database systems has dealt primarily with models for data and objects, database languages, transaction processing, integration with scientific applications, XML and its applications, and workflow management. Content: PART ONE - BACKGROUND AND MOTIVATION Chapter 1 What Is It All About? Chapter 2 Computational Models PART TWO - CONCURRENCY CONTROL Chapter 3 Concurrency Control: Notions of Correctness for the Page Model Chapter 4 Concurrency Control Algorithms Chapter 5 Multiversion Concurrency Control Chapter 6 Concurrency Control on Objects: Notions of Correctness Chapter 7 Concurrency Control Algorithms on Objects Chapter 8 Concurrency Control on Relational Databases Chapter 9 Concurrency Control on Search Structures Chapter 10 Implementation and Pragmatic Issues PART THREE - RECOVERY Chapter 11 Transaction Recovery Chapter 12 Crash Recovery: Notion of Correctness Chapter 13 Page Model Crash Recovery Algorithms Chapter 14 Object Model Crash Recovery Chapter 15 Special Issues of Recovery Chapter 16 Media Recovery Chapter 17 Application Recovery PART FOUR - COORDINATION OF DISTRIBUTED TRANSACTIONS Chapter 18 Distributed Concurrency Control Chapter 19 Distributed Transaction Recovery PART FIVE - APPLICATIONS AND FUTURE PERSPECTIVES Chapter 20 What Is Next? Reihe/Serie The Morgan Kaufmann Series in Data Management Systems Verlagsort San Francisco Sprache englisch Maße 187 x 235 mm Mathematik Informatik Datenbanken Mathematik Netzwerke Mathematik Theorie Studium Mathematik Web Internet Wirtschaft Betriebswirtschaftslehre Management Finanzierung BWL Betriebswirtschaft Management Unternehmensführung Management ISBN-10 1-55860-508-8 / 1558605088 ISBN-13 978-1-55860-508-4 / 9781558605084 Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery [Hardcover] The Morgan Kaufmann Series in Data Management Systems Weik.

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.

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. 2011 edition. 394 pages. 9.20x6.10x0.90 inches. In Stock.

Paperback. Zustand: Brand New. 731 pages. 9.25x6.10x1.47 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.

Zustand: gut. With invoice - Shipment from Germany / Rechnung mit MwSt - Versand aus Deutschland pages.

Paperback. Zustand: Brand New. 2008 edition. 518 pages. 9.25x6.25x1.25 inches. In Stock.

Paperback. Zustand: Brand New. 2012 edition. 579 pages. 9.20x6.00x1.30 inches. In Stock.

Paperback. Zustand: Brand New. 2014 edition. 645 pages. 9.25x6.25x1.50 inches. In Stock.

Paperback. Zustand: Brand New. 440 pages. 9.25x6.10x0.94 inches. In Stock.

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

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

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

Zustand: gut. With invoice - Shipment from Germany / Rechnung mit MwSt - Versand aus Deutschland pages.

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