Theory practice algorithms systems (198 risultati)

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 19,66

EUR 3,25 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

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 5 stelle

Weikum, Gerhard; Vossen, Gottfried

Condizione: Usato - Discreto

EUR 23,47

EUR 3,46 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

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: Sharehousegoods, Colgate, WI, U.S.A.Sharehousegoods

Venditore con 5 stelle

Condizione: Usato - Molto buono

EUR 29,39

EUR 3,46 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

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

Weikum, Gerhard

Lingua: Inglese

Editore: Morgan Kaufmann, 2001

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

Rilegato

Da: WorldofBooks, Goring-By-Sea, WS, Regno UnitoWorldofBooks

Venditore con 5 stelle

3540008985 / 9783540008989

Condizione: Usato - Molto buono

EUR 34,82

EUR 6,54 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

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

Lingua: Inglese

Editore: Springer Berlin / Heidelberg, 2003

Brossura

Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books

Venditore con 5 stelle

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

Condizione: Usato - Buono

EUR 44,03

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

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

Lingua: Inglese

Editore: Springer, 2023

Brossura

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

Venditore con 5 stelle

Vossen, Gottfried, Weikum, Gerhard

Condizione: Nuovo

EUR 42,83

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Elsevier Science & Technology, 2001

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

Rilegato

Da: Better World Books Ltd, Dunfermline, Regno UnitoBetter World Books Ltd

Venditore con 5 stelle

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

Condizione: Usato - Molto buono

EUR 39,23

EUR 5,84 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

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

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

Condizione: Usato - Come nuovo

EUR 43,49

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: 1 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

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

Condizione: Nuovo

EUR 44,88

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

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

Condizione: Usato - Come nuovo

EUR 52,20

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

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

Condizione: Nuovo

EUR 52,34

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

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

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

EUR 2,29 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 39,64

EUR 17,53 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

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

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

Condizione: Nuovo

EUR 58,30

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

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

Condizione: Nuovo

EUR 56,33

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

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

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

Cleaveland, W. Rance (EDT)

Condizione: Nuovo

EUR 58,01

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 1999

3540657037 / 9783540657033

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 58,31

EUR 2,29 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 4 stelle

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

Condizione: Nuovo

EUR 60,68

Spedizione gratuita

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

Chechik, Marsha (EDT); Raskin, Jean-francois (EDT)

Condizione: Usato - Come nuovo

EUR 58,45

EUR 2,29 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 : 22nd International Conference, Tacas 2016, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings

Lingua: Inglese

Editore: Springer, 2016

3662496739 / 9783662496732

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 58,63

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Cleaveland, W. Rance (EDT)

Condizione: Nuovo

EUR 58,63

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 1999

3540657037 / 9783540657033

Brossura

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

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 59,78

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

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

Condizione: Usato - Come nuovo

EUR 44,25

EUR 17,53 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 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 60,45

EUR 2,29 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 60,45

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

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

Condizione: Usato - Come nuovo

EUR 60,69

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

Abdulla, Parosh Aziz (EDT); Leino, K. Rustan M. (EDT)

Condizione: Usato - Come nuovo

EUR 61,52

EUR 2,29 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 : 17th International Conference, Tacas 2011, Held As Part of the Joint European Conference on Theory and Practice of Software, Etaps 2011, Saarbrücken, Germany, March 26--april 3, 2011, Proceedings

Lingua: Inglese

Editore: Springer, 2011

3642198341 / 9783642198342

Brossura

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

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 62,49

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: 2 disponibili

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

Lingua: Inglese

Editore: Springer, 2002

3540434194 / 9783540434191

Brossura

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

Venditore con 5 stelle