Theory practice algorithms systems (234 résultats)

Série : Livre 5 sur 22 - The Morgan Kaufmann Series in Data Management Systems

Couverture rigide

Vendeur : Bay State Book Company, North Smithfield, RI, Etats-UnisBay State Book Company

Vendeur avec une évaluation de 5 étoiles

Weikum, Gerhard; Vossen, Gottfried

Etat: Occasion - Assez bon

EUR 14,07

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : very_good.

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

Langue : anglais

Edité par Morgan Kaufmann, 2001

Série : Livre 5 sur 22 - The Morgan Kaufmann Series in Data Management Systems

Couverture rigide

Vendeur : clickgoodwillbooks, Indianapolis, IN, Etats-Unisclickgoodwillbooks

Vendeur avec une évaluation de 4 étoiles

Vossen, Gottfried,Weikum, Gerhard

Etat: Occasion - Moyen

EUR 12,06

EUR 3,56 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : 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)

Langue : anglais

Edité par Morgan Kaufmann, 2001

Série : Livre 5 sur 22 - The Morgan Kaufmann Series in Data Management Systems

Couverture rigide

Vendeur : HPB-Red, Dallas, TX, Etats-UnisHPB-Red

Vendeur avec une évaluation de 5 étoiles

Weikum, Gerhard; Vossen, Gottfried

Etat: Occasion - Satisfaisant

EUR 13,08

EUR 3,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Hardcover. Etat : 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)

Langue : anglais

Edité par Morgan Kaufmann, 2001

Série : Livre 5 sur 22 - The Morgan Kaufmann Series in Data Management Systems

Couverture rigide

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

Vendeur avec une évaluation de 5 étoiles

3540330569 / 9783540330561

Etat: Occasion - Satisfaisant

EUR 19,14

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : 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

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Assez bon

EUR 40,14

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : 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

Langue : anglais

Edité par Springer, 2023

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Comme neuf

EUR 44,67

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2021

3030720152 / 9783030720155

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 45,05

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2020

3030452360 / 9783030452360

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 45,05

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2023

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 46,05

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2011

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 52,27

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2020

3030452360 / 9783030452360

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Comme neuf

EUR 52,77

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2021

3030720152 / 9783030720155

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Comme neuf

EUR 53,60

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2012

3642287557 / 9783642287558

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 54,76

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2023

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Marchetti-Spaccamela, Alberto

Etat: Neuf

EUR 40,52

EUR 17,98 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible

Etat : New.

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

Langue : anglais

Edité par Springer 3/14/2011, 2011

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 60,05

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

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

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

Langue : anglais

Edité par Springer, 2014

364254861X / 9783642548611

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 57,85

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2013

3642367410 / 9783642367410

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 57,94

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2010

3642120016 / 9783642120015

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 58,03

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2025

303190642X / 9783031906428

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Comme neuf

EUR 58,41

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2024

3031572556 / 9783031572555

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Comme neuf

EUR 58,41

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2024

3031572459 / 9783031572456

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Comme neuf

EUR 58,41

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2014

364254861X / 9783642548611

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Comme neuf

EUR 60,20

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2023

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Comme neuf

EUR 45,38

EUR 17,98 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible

Etat : 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

Langue : anglais

Edité par Springer-Nature New York Inc, 2023

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Cleaveland, W. Rance (EDT)

Etat: Neuf

EUR 48,67

EUR 14,98 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible

Paperback. Etat : 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

Langue : anglais

Edité par Springer, 1999

3540657037 / 9783540657033

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Comme neuf

EUR 61,58

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2010

3642120016 / 9783642120015

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Comme neuf

EUR 62,27

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2006

3540330569 / 9783540330561

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Comme neuf

EUR 62,27

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2011

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Cleaveland, W. Rance (EDT)

Etat: Occasion - Comme neuf

EUR 62,52

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 1999

3540657037 / 9783540657033

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 62,82

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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)

Langue : anglais

Edité par Springer, 2011

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles