Theory practice algorithms systems (188 résultats)

Weikum, Gerhard; Vossen, Gottfried

Etat: Occasion - Satisfaisant

EUR 24,16

EUR 3,26 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

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

1558605088 / 9781558605084

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

3540008985 / 9783540008989

Etat: Occasion - Moyen

EUR 24,16

EUR 3,47 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

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.

Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 - Proceedings

Langue : anglais

Edité par Springer Berlin / Heidelberg, 2003

Couverture souple

Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Satisfaisant

EUR 44,25

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

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

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

Etat: Neuf

EUR 42,90

EUR 2,30 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

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

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

Etat: Occasion - Comme neuf

EUR 43,51

EUR 2,30 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

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,13

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

3540643567 / 9783540643562

Etat: Neuf

EUR 45,13

EUR 2,30 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 : 4th International Conference, TACAS'98 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March/April 1998

Langue : anglais

Edité par Springer Berlin / Heidelberg, 1998

Couverture souple

Vendeur : Better World Books: West, Reno, NV, Etats-UnisBetter World Books: West

Vendeur avec une évaluation de 5 étoiles

Vossen, Gottfried, Weikum, Gerhard

Etat: Occasion - Assez bon

EUR 49,31

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Very Good. 1998th Edition. 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

Langue : anglais

Edité par Elsevier Science & Technology, 2001

1558605088 / 9781558605084

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

Couverture rigide

Vendeur : Better World Books Ltd, Dunfermline, Royaume-UniBetter World Books Ltd

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Assez bon

EUR 43,60

EUR 5,83 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

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

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 51,49

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

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

Etat: Occasion - Comme neuf

EUR 52,12

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

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

Etat: Neuf

EUR 52,27

EUR 2,30 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponible(s)

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

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,84

EUR 2,30 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 39,56

EUR 17,49 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

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

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

Etat: Neuf

EUR 58,59

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponible(s)

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

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

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

Etat: Neuf

EUR 56,62

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

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

Cleaveland, W. Rance (EDT)

Etat: Neuf

EUR 57,99

EUR 2,30 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 : 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 58,60

EUR 2,30 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 4 étoiles

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

Etat: Neuf

EUR 60,98

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

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

Langue : anglais

Edité par Springer, 2014

364254861X / 9783642548611

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Cleaveland, W. Rance (EDT)

Etat: Occasion - Comme neuf

EUR 58,74

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

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

Etat: Occasion - Comme neuf

EUR 60,08

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

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

Etat: Occasion - Comme neuf

EUR 44,16

EUR 17,49 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

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 60,75

EUR 2,30 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 60,75

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

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

Etat: Occasion - Comme neuf

EUR 61,00

EUR 2,30 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponible(s)

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

Katoen, Joost-Pieter; Stevens, Perdita; Tacas 200 (2002 Grenoble, France)

Etat: Occasion - Comme neuf

EUR 61,82

EUR 2,30 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 : 8th International Conference, Tacas 2002, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2002, Grenoble

Langue : anglais

Edité par Springer, 2002

3540434194 / 9783540434191

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Steffen, Bernhard (EDT); TACAS 98 (1998 : Lisbon, Portugal) (COR)

Etat: Occasion - Comme neuf

EUR 62,81

EUR 2,30 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 : 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon

Langue : anglais

Edité par Springer, 1998

3540643567 / 9783540643562

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Comme neuf

EUR 64,18

EUR 2,30 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 : 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 : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles