Theory practice algorithms systems (226 Ergebnisse)

Weikum, Gerhard; Vossen, Gottfried

Zustand: Gebraucht - Befriedigend

EUR 24,55

EUR 3,26 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Hardcover. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery (The Morgan Kaufmann Series in Data Management Systems)

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: clickgoodwillbooks, Indianapolis, IN, USAclickgoodwillbooks

Verkäufer/-in mit 5 Sternen

Weikum, Gerhard; Vossen, Gottfried

Zustand: Gebraucht - Ausreichend

EUR 24,55

EUR 3,47 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: acceptable. Used - Acceptable: All pages and the cover are intact, but shrink wrap, dust covers, or boxed set case may be missing. Pages may include limited notes, highlighting, or minor water damage but the text is readable. Item may be missing bundled media.

Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery (The Morgan Kaufmann Series in Data Management Systems)

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: Sharehousegoods, Colgate, WI, USASharehousegoods

Verkäufer/-in mit 5 Sternen

Weikum, Gerhard; Vossen, Gottfried

Zustand: Gebraucht - Gut

EUR 28,11

EUR 3,47 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: Very Good. This book has been examined carefully and the cover and pages are in very good condition. It is clean and tight inside.hardcoverUsed - Very Good.

Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery (The Morgan Kaufmann Series in Data Management Systems)

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: Goodwill of Silicon Valley, SAN JOSE, CA, USAGoodwill of Silicon Valley

Verkäufer/-in mit 5 Sternen

Sankaranarayanan, Sriram (EDT); Sharygina, Natasha (EDT)

Zustand: Gebraucht - Befriedigend

EUR 28,12

EUR 3,47 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear.

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, France, April 22-27, 2023, Proceedings

Sprache: Englisch

Verlag: Springer 2023

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Sankaranarayanan, Sriram (EDT); Sharygina, Natasha (EDT)

Zustand: Neu

EUR 42,97

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: New.

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, France, April 22-27, 2023, Proceedings

Sprache: Englisch

Verlag: Springer 2023

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Groote, Jan Friso (EDT); Larsen, Kim Guldstrand (EDT)

Zustand: Gebraucht - Wie neu

EUR 43,27

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27?April 1, 2021, Proceedings

Sprache: Englisch

Verlag: Springer 2021

3030720152 / 9783030720155

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Vossen, Gottfried, Weikum, Gerhard

Zustand: Neu

EUR 45,61

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Transactional Information Systems : Theory, Algorithms, and the Practice of Concurrency Control and Recovery

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 mit 5 Sternen

Zustand: Gebraucht - Gut

EUR 47,44

EUR 5,78 Versand

Versand von Vereinigtes Königreich nach USA

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

Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery (The Morgan Kaufmann Series in Data Management Systems)

Weikum, Gerhard

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 mit 5 Sternen

Groote, Jan Friso (EDT); Larsen, Kim Guldstrand (EDT)

Zustand: Gebraucht - Gut

EUR 47,05

EUR 6,47 Versand

Versand von Vereinigtes Königreich nach USA

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

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27?April 1, 2021, Proceedings

Sprache: Englisch

Verlag: Springer 2021

3030720152 / 9783030720155

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Marchetti-Spaccamela, Alberto (EDT); Segal, Michael (EDT)

Zustand: Gebraucht - Wie neu

EUR 51,94

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Theory and Practice of Algorithms in (Computer) Systems : First International Icst Conference, Tapas 2011, Rome, Italy, April 18-20, 2011, Proceedings

Sprache: Englisch

Verlag: Springer 2011

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Sankaranarayanan, Sriram (EDT); Sharygina, Natasha (EDT)

Zustand: Neu

EUR 52,83

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: New.

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, France, April 22-27, 2023, Proceedings

Sprache: Englisch

Verlag: Springer 2023

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Flanagan, Cormac (EDT); König, Barbara (EDT)

Zustand: Neu

EUR 39,21

EUR 17,34 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

Sprache: Englisch

Verlag: Springer 2012

3642287557 / 9783642287558

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Marchetti-Spaccamela, Alberto

Zustand: Neu

EUR 55,43

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Theory and Practice of Algorithms in (Computer) Systems (Paperback or Softback)

Sprache: Englisch

Verlag: Springer 3/14/2011 2011

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

Finkbeiner, Bernd (EDT); Kovács, Laura (EDT)

Zustand: Neu

EUR 58,24

Versand nach gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Paperback or Softback. Zustand: New. Theory and Practice of Algorithms in (Computer) Systems. Book.

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6?11, 2024, Proceedings, Part I

Sprache: Englisch

Verlag: Springer 2024

3031572459 / 9783031572456

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Esparza, Javier (EDT); Majumdar, Rupak (EDT)

Zustand: Neu

EUR 56,12

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems : 16th Internationa Conference, TACAS 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings

Sprache: Englisch

Verlag: Springer 2010

3642120016 / 9783642120015

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Gurfinkel, Arie (EDT); Heule, Marjin (EDT)

Zustand: Neu

EUR 56,23

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, Tacas 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, Etaps 2025, Hamilton, On, Canada, May 3?8, 2025, Proceedings

Sprache: Englisch

Verlag: Springer 2025

303190642X / 9783031906428

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Finkbeiner, Bernd (EDT); Kovács, Laura (EDT)

Zustand: Gebraucht - Wie neu

EUR 56,65

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6?11, 2024, Proceedings, Part III

Sprache: Englisch

Verlag: Springer 2024

3031572556 / 9783031572555

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Finkbeiner, Bernd (EDT); Kovács, Laura (EDT)

Zustand: Gebraucht - Wie neu

EUR 56,65

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6?11, 2024, Proceedings, Part I

Sprache: Englisch

Verlag: Springer 2024

3031572459 / 9783031572456

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Abraham, Erika (EDT); Havelund, Klaus (EDT)

Zustand: Gebraucht - Wie neu

EUR 56,65

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, Tacas 2014, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2014, Grenoble, France, April 5-13, 2014, Proceedings

Sprache: Englisch

Verlag: Springer 2014

364254861X / 9783642548611

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Cleaveland, W. Rance (EDT)

Zustand: Gebraucht - Wie neu

EUR 58,35

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems : 5th International Conference, Tacas'99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps'99, Amsterdam, the

Sprache: Englisch

Verlag: Springer 1999

3540657037 / 9783540657033

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 58,50

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science, 6595)

Sprache: Englisch

Verlag: Springer 2011

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Piterman, Nir (EDT); Smolka, Scott (EDT)

Zustand: Neu

EUR 60,87

Versand nach gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, Tacas 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2013, Rome, Italy, March 16-24, 2013, Proceedings

Sprache: Englisch

Verlag: Springer 2013

3642367410 / 9783642367410

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Abraham, Erika (EDT); Havelund, Klaus (EDT)

Zustand: Neu

EUR 58,54

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, Tacas 2014, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2014, Grenoble, France, April 5-13, 2014, Proceedings

Sprache: Englisch

Verlag: Springer 2014

364254861X / 9783642548611

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Cleaveland, W. Rance (EDT)

Zustand: Neu

EUR 58,54

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems : 5th International Conference, Tacas'99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps'99, Amsterdam, the

Sprache: Englisch

Verlag: Springer 1999

3540657037 / 9783540657033

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Sankaranarayanan, Sriram (EDT); Sharygina, Natasha (EDT)

Zustand: Gebraucht - Wie neu

EUR 59,72

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

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, France, April 22-27, 2023, Proceedings

Sprache: Englisch

Verlag: Springer 2023

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Esparza, Javier (EDT); Majumdar, Rupak (EDT)

Zustand: Gebraucht - Wie neu

EUR 43,76

EUR 17,34 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Zustand: As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems : 16th Internationa Conference, TACAS 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings

Sprache: Englisch

Verlag: Springer 2010

3642120016 / 9783642120015

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Hermanns, Holger (EDT); Palsberg, Jens (EDT)

Zustand: Gebraucht - Wie neu

EUR 60,40

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Tools And Algorithms for the Construction And Analysis of Systems : 12th Internation Converence, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna, Austria, March 25 - April 2, 2006 Proceedings

Sprache: Englisch

Verlag: Springer 2006

3540330569 / 9783540330561

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Marchetti-Spaccamela, Alberto (EDT); Segal, Michael (EDT)

Zustand: Gebraucht - Wie neu

EUR 60,40

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Theory and Practice of Algorithms in (Computer) Systems : First International Icst Conference, Tapas 2011, Rome, Italy, April 18-20, 2011, Proceedings

Sprache: Englisch

Verlag: Springer 2011

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Flanagan, Cormac (EDT); König, Barbara (EDT)

Zustand: Gebraucht - Wie neu

EUR 60,68

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

Sprache: Englisch

Verlag: Springer 2012

3642287557 / 9783642287558

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen