Theory practice algorithms systems (234 Ergebnisse)

Serie: Buch 5 von 22 - The Morgan Kaufmann Series in Data Management Systems

Hardcover

Anbieter: clickgoodwillbooks, Indianapolis, IN, USAclickgoodwillbooks

Verkäufer/-in mit 4 Sternen

Vossen, Gottfried,Weikum, Gerhard

Zustand: Gebraucht - Ausreichend

EUR 12,06

EUR 3,56 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: Buch 5 von 22 - The Morgan Kaufmann Series in Data Management Systems

Hardcover

Anbieter: HPB-Red, Dallas, TX, USAHPB-Red

Verkäufer/-in mit 5 Sternen

Weikum, Gerhard; Vossen, Gottfried

Zustand: Gebraucht - Befriedigend

EUR 13,08

EUR 3,35 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: Buch 5 von 22 - The Morgan Kaufmann Series in Data Management Systems

Hardcover

Anbieter: Bay State Book Company, North Smithfield, RI, USABay State Book Company

Verkäufer/-in mit 5 Sternen

Weikum, Gerhard; Vossen, Gottfried

Zustand: Gebraucht - Gut

EUR 16,95

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: 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: Buch 5 von 22 - The Morgan Kaufmann Series in Data Management Systems

Hardcover

Anbieter: -OnTimeBooks-, Phoenix, AZ, USA-OnTimeBooks-

Verkäufer/-in mit 5 Sternen

3540330569 / 9783540330561

Zustand: Gebraucht - Befriedigend

EUR 19,14

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, 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

Softcover

Anbieter: -OnTimeBooks-, Phoenix, AZ, USA-OnTimeBooks-

Verkäufer/-in mit 5 Sternen

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

Zustand: Gebraucht - Gut

EUR 40,14

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…

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 44,67

EUR 2,36 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 : 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

Biere, Armin (EDT); Parker, David (EDT)

Zustand: Neu

EUR 45,05

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, Tacas 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2020, Dublin, Ireland, April 25?30, 2020, Proceedings

Sprache: Englisch

Verlag: Springer, 2020

3030452360 / 9783030452360

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 45,05

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 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

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

Zustand: Neu

EUR 46,05

EUR 2,36 Versand

Versand innerhalb von USA

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

Sprache: Englisch

Verlag: Springer, 2011

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Biere, Armin (EDT); Parker, David (EDT)

Zustand: Neu

EUR 52,19

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, Tacas 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2020, Dublin, Ireland, April 25?30, 2020, Proceedings

Sprache: Englisch

Verlag: Springer, 2020

3030452360 / 9783030452360

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 52,77

EUR 2,36 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 : 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

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

Zustand: Gebraucht - Wie neu

EUR 53,60

EUR 2,36 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 : 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

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

Zustand: Neu

EUR 54,76

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 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

Marchetti-Spaccamela, Alberto

Zustand: Neu

EUR 40,52

EUR 17,98 Versand

Versand von Vereinigtes Königreich nach USA

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

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

Zustand: Neu

EUR 60,05

Versand 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 : 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 57,85

EUR 2,36 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

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

Zustand: Neu

EUR 57,85

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 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 58,03

EUR 2,36 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 58,41

EUR 2,36 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 58,41

EUR 2,36 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 58,41

EUR 2,36 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

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

Zustand: Gebraucht - Wie neu

EUR 60,20

EUR 2,36 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

Sankaranarayanan, Sriram (Editor)/ Sharygina, Natasha (Editor)

Zustand: Gebraucht - Wie neu

EUR 45,38

EUR 17,98 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: 29th International Conference, Tacas 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2022, Paris, Franc

Sprache: Englisch

Verlag: Springer-Nature New York Inc, 2023

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Cleaveland, W. Rance (EDT)

Zustand: Neu

EUR 48,67

EUR 14,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

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

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

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

Zustand: Gebraucht - Wie neu

EUR 61,58

EUR 2,36 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 : 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 62,27

EUR 2,36 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 62,27

EUR 2,36 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

Cleaveland, W. Rance (EDT)

Zustand: Gebraucht - Wie neu

EUR 62,52

EUR 2,36 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 : 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 62,82

EUR 2,36 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 5 Sternen