Theory practice algorithms systems (234 risultati)

Serie: Libro 5 di 22 - The Morgan Kaufmann Series in Data Management Systems

Rilegato

Da: Bay State Book Company, North Smithfield, RI, U.S.A.Bay State Book Company

Venditore con 5 stelle

Vossen, Gottfried,Weikum, Gerhard

Condizione: Usato - Molto buono

EUR 14,04

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibile

Condizione: very_good.

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

Lingua: Inglese

Editore: Morgan Kaufmann, 2001

Serie: Libro 5 di 22 - The Morgan Kaufmann Series in Data Management Systems

Rilegato

Da: HPB-Red, Dallas, TX, U.S.A.HPB-Red

Venditore con 5 stelle

Weikum, Gerhard; Vossen, Gottfried

Condizione: Usato - Buono

EUR 12,02

EUR 3,34 spedizione

Spedito in U.S.A.

Quantità: 1 disponibile

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

Lingua: Inglese

Editore: Morgan Kaufmann, 2001

Serie: Libro 5 di 22 - The Morgan Kaufmann Series in Data Management Systems

Rilegato

Da: clickgoodwillbooks, Indianapolis, IN, U.S.A.clickgoodwillbooks

Venditore con 4 stelle

Weikum, Gerhard; Vossen, Gottfried

Condizione: Usato - Discreto

EUR 12,02

EUR 3,55 spedizione

Spedito in U.S.A.

Quantità: 1 disponibile

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

Lingua: Inglese

Editore: Morgan Kaufmann, 2001

Serie: Libro 5 di 22 - The Morgan Kaufmann Series in Data Management Systems

Rilegato

Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-

Venditore con 5 stelle

3540330569 / 9783540330561

Condizione: Usato - Buono

EUR 19,09

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibile

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

Lingua: Inglese

Editore: Springer, 2006

Brossura

Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-

Venditore con 5 stelle

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

Condizione: Usato - Molto buono

EUR 40,04

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibile

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

Lingua: Inglese

Editore: Springer, 2023

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 44,56

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

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

Lingua: Inglese

Editore: Springer, 2020

3030452360 / 9783030452360

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 44,94

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2021

3030720152 / 9783030720155

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 45,00

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2023

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 46,02

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2011

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 52,14

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

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

Lingua: Inglese

Editore: Springer, 2020

3030452360 / 9783030452360

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 52,64

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2021

3030720152 / 9783030720155

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 53,47

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2012

3642287557 / 9783642287558

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 54,71

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2023

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Marchetti-Spaccamela, Alberto

Condizione: Nuovo

EUR 40,55

EUR 17,99 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibile

Condizione: New.

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

Lingua: Inglese

Editore: Springer 3/14/2011, 2011

Brossura

Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 59,90

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Paperback or Softback. Condizione: 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

Lingua: Inglese

Editore: Springer, 2013

3642367410 / 9783642367410

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 57,79

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2014

364254861X / 9783642548611

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 57,79

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2010

3642120016 / 9783642120015

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 57,88

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2025

303190642X / 9783031906428

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 58,26

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

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

Lingua: Inglese

Editore: Springer, 2024

3031572556 / 9783031572555

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 58,26

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

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

Lingua: Inglese

Editore: Springer, 2024

3031572459 / 9783031572456

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 58,26

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

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

Lingua: Inglese

Editore: Springer, 2014

364254861X / 9783642548611

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 60,05

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2023

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 45,42

EUR 17,99 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibile

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

Lingua: Inglese

Editore: Springer-Nature New York Inc, 2023

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Cleaveland, W. Rance (EDT)

Condizione: Nuovo

EUR 48,70

EUR 14,99 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibile

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

Lingua: Inglese

Editore: Springer, 1999

3540657037 / 9783540657033

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 61,42

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2010

3642120016 / 9783642120015

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 62,11

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2006

3540330569 / 9783540330561

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 62,11

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2011

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Cleaveland, W. Rance (EDT)

Condizione: Usato - Come nuovo

EUR 62,36

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

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

Lingua: Inglese

Editore: Springer, 1999

3540657037 / 9783540657033

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 62,66

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2011

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 5 stelle