Theory practice algorithms systems (115 Ergebnisse)
Sprache: Englisch
Verlag: Elsevier Science & Technology 2001
Serie: The Morgan Kaufmann Series in Data Management Systems, Buch 5 von 22. Buch 5 von 22 - The Morgan Kaufmann Series in Data Management Systems
- Hardcover
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes KönigreichBetter World Books Ltd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 47,44
EUR 5,78 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Very Good. 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.
Sprache: Englisch
Verlag: Morgan Kaufmann 2001
Serie: The Morgan Kaufmann Series in Data Management Systems, Buch 5 von 22. Buch 5 von 22 - The Morgan Kaufmann Series in Data Management Systems
- Hardcover
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes KönigreichWorldofBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 47,17
EUR 6,47 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
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.
Sprache: Englisch
Verlag: Morgan Kaufmann 2001
Serie: The Morgan Kaufmann Series in Data Management Systems, Buch 5 von 22. Buch 5 von 22 - The Morgan Kaufmann Series in Data Management Systems
- Hardcover
Anbieter: True Oak Books, Highland, NY, USATrue Oak Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 71,60
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Good. 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.
Sprache: Englisch
Verlag: Morgan Kaufmann 2001
Serie: The Morgan Kaufmann Series in Data Management Systems, Buch 5 von 22. Buch 5 von 22 - The Morgan Kaufmann Series in Data Management Systems
- Hardcover
Anbieter: medimops, Berlin, Deutschlandmedimops
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 61,87
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,47
EUR 13,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,47
EUR 13,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 67,71
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 452 pages. 9.25x6.10x1.02 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 68,91
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 528 pages. 9.25x6.10x1.19 inches. In Stock.
Sprache: Englisch
Verlag: MORGAN KAUFMAN PUBL INC 2001
Serie: The Morgan Kaufmann Series in Data Management Systems, Buch 5 von 22. Buch 5 von 22 - The Morgan Kaufmann Series in Data Management Systems
- Hardcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 42,90
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 processi…ng. 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.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 74,02
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 422 pages. 9.25x6.10x9.21 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 74,08
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 370 pages. 9.26x6.11x9.21 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 74,44
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 450 pages. 9.25x6.10x9.21 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 75,02
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 488 pages. 9.25x6.10x1.14 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 75,15
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 850 pages. 9.25x6.10x1.18 inches. In Stock.
Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings . Computer Science and General Issues)
Marchetti-Spaccamela, Alberto (Editor) / Segal, Michael (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,63
EUR 11,56 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 275 pages. 9.30x5.90x0.70 inches. In Stock.
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2022, Paris, Franc
Sankaranarayanan, Sriram (Editor)/ Sharygina, Natasha (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 77,26
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 628 pages. 9.25x6.10x1.27 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 77,32
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 630 pages. 6.14x1.28x9.21 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,46
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 708 pages. 6.14x1.42x9.21 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 80,99
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. 2011 edition. 394 pages. 9.20x6.10x0.90 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 82,04
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 2009 edition. 456 pages. 9.00x6.00x1.00 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 82,30
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 468 pages. 9.00x6.00x1.00 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 83,09
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 2008 edition. 518 pages. 9.25x6.25x1.25 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 83,63
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 2012 edition. 579 pages. 9.20x6.00x1.30 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 84,60
EUR 17,34 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 2014 edition. 645 pages. 9.25x6.25x1.50 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 87,72
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 440 pages. 9.25x6.10x0.94 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 87,88
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 452 pages. 9.25x6.10x1.30 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 88,04
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 900 pages. 9.25x6.10x1.18 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 88,46
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 488 pages. 9.25x6.10x1.10 inches. In Stock.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer International Publishing 2025
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 42,79
EUR 62,23 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer International Publishing 2025
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 42,79
EUR 63,23 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
