Importo totale (1 articolo articoli):
Destinazione ordine:
tools algorithms construction analysis (667 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (667)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (585)
- Come nuovo, Ottimo o Quasi ottimo (55)
- Molto buono o Buono (20)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (7)
Legatura
Ulteriori caratteristiche
- Prima ed. (10)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (237)
- Non Print on Demand (496)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas 97 Enschede, the Netherlands, April 2
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1997
ISBN 10: 3540627901 ISBN 13: 9783540627906
Lingua: Inglese
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 10,70
Scopri anche Brossura
-
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
Editore: Springer Berlin Heidelberg, 2013
ISBN 10: 3642367410 ISBN 13: 9783642367410
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 23,41
Scopri anche Brossura
-
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96 Passau, Germany, March 27-29, 19
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540610421 ISBN 13: 9783540610427
Lingua: Inglese
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 25,91
Scopri anche Brossura
-
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences . (Lecture Notes in Computer Science)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 6,10
Convertire valutaEUR 20,51 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. 552 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 101,97
Usato - A partire da EUR 26,61
Scopri anche Brossura
-
Tools And Algorithms For The Construction And Analysis Of System
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 29,16
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 29,16
Usato - A partire da EUR 47,86
Scopri anche Brossura
-
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 16,95
Convertire valutaEUR 12,39 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Very Good.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 43,00
Usato - A partire da EUR 29,34
Scopri anche Brossura Prima edizione
-
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 17,37
Convertire valutaEUR 12,39 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Very Good.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 49,30
Usato - A partire da EUR 29,76
Scopri anche Brossura Prima edizione
-
Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint . Computer Science and General Issues)
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 25,62
Convertire valutaEUR 4,54 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 30,16
Scopri anche Brossura
-
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European . (Lecture Notes in Computer Science, 2619)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 16,91
Convertire valutaEUR 20,51 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. 620 pp., Paperback, brand new! still in shrink wrap. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 37,42
Usato - A partire da EUR 81,61
Scopri anche Brossura
-
Condizione: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 49,30
Usato - A partire da EUR 38,01
Scopri anche Brossura Prima edizione
-
Condizione: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 49,30
Usato - A partire da EUR 38,01
Scopri anche Brossura Prima edizione
-
EUR 21,30
Convertire valutaEUR 17,90 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Befriedigend. 500 Seiten; 9783540434191.4 Gewicht in Gramm: 1.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 39,20
Scopri anche Brossura
-
EUR 22,91
Convertire valutaEUR 17,90 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Befriedigend. 608 Seiten; 9783540418658.4 Gewicht in Gramm: 1.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 101,97
Usato - A partire da EUR 40,81
Scopri anche Brossura
-
Tools And Algorithms For The Construction And Analysis Of Systems/first International Workshop, Tacas *95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 44,17
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 44,17
Usato - A partire da EUR 59,34
Scopri anche Brossura
-
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6¿11, 2019, Proceedings, Part III
Editore: Springer International Publishing, 2019
ISBN 10: 3030175014 ISBN 13: 9783030175016
Lingua: Inglese
Condizione: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 63,56
Usato - A partire da EUR 43,19
Scopri anche Brossura
-
EUR 27,52
Convertire valutaEUR 17,90 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Gut. 760 Seiten; 9783540712084.3 Gewicht in Gramm: 2.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 110,28
Usato - A partire da EUR 45,42
Scopri anche Brossura
-
Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Editore: Springer Berlin Heidelberg, 2009
ISBN 10: 3642007678 ISBN 13: 9783642007675
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 56,66
Usato - A partire da EUR 45,71
Scopri anche Brossura
-
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6¿11, 2019, Proceedings, Part II
Editore: Springer International Publishing, 2019
ISBN 10: 3030174646 ISBN 13: 9783030174644
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 45,71
Scopri anche Brossura
-
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6¿11, 2019, Proceedings, Part I
Editore: Springer International Publishing, 2019
ISBN 10: 3030174611 ISBN 13: 9783030174613
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 45,71
Scopri anche Brossura
-
Tools and Algorithms for the Construction and Analysis of Systems : 16th International 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
Editore: Springer Berlin Heidelberg, 2010
ISBN 10: 3642120016 ISBN 13: 9783642120015
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 47,77
Scopri anche Brossura
-
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,44
Usato - A partire da EUR 48,40
Scopri anche Brossura
-
Tools and Algorithms for the Construction and Analysis of Systems
Editore: Springer International Publishing, 2021
ISBN 10: 3030720128 ISBN 13: 9783030720124
Lingua: Inglese
EUR 39,60
Convertire valutaEUR 9,70 per la spedizione da Germania a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 42,44
Convertire valutaEUR 10,40 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 52,84
Usato - A partire da EUR 60,45
Scopri anche Brossura
-
Tools and Algorithms for the Construction and Analysis of Systems (Theoretical Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 42,44
Convertire valutaEUR 10,40 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 52,84
Usato - A partire da EUR 60,42
Scopri anche Brossura
-
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... I (Lecture Notes in Computer Science, 14570)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 42,73
Convertire valutaEUR 10,40 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 49,30
Scopri anche Brossura Prima edizione
-
Tools and Algorithms for the Construction and Analysis of Systems
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 45,77
Convertire valutaEUR 7,69 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 53,46
Usato - A partire da EUR 65,99
Scopri anche Brossura
-
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 46,61
Convertire valutaEUR 10,40 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 46,61
Convertire valutaEUR 10,40 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2¿7, 2022, Proceedings, Part I
Editore: Springer International Publishing, 2022
ISBN 10: 3030995232 ISBN 13: 9783030995232
Lingua: Inglese
EUR 42,79
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report.TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlledsystems.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 49,30
Usato - A partire da EUR 68,61
Scopri anche Brossura
-
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, Part II
Editore: Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031906527 ISBN 13: 9783031906527
Lingua: Inglese
EUR 42,79
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows:Part I: Program analysis, ATP and rewriting; model checking; LTL; verification;Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games;Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025.
