Importo totale (1 articolo articoli):
Destinazione ordine:
sankaranarayanan sriram (109 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (109)
- 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
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (109)
Ulteriori caratteristiche
- Prima ed. (4)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (39)
- Non Print on Demand (68)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
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 4 su 5 stelle
paperback. Condizione: Very Good.
-
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
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 4 su 5 stelle
paperback. Condizione: Very 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
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
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
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Tools and Algorithms for the Construction and Analysis of Systems
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Tools and Algorithms for the Construction and Analysis of Systems
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 39,33
Spedizione EUR 7,84
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Tools and Algorithms for the Construction and Analysis of Systems (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
EUR 38,22
Spedizione EUR 8,00
Spedito da Italia a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloCondizione: new.
-
Tools and Algorithms for the Construction and Analysis of Systems (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
EUR 38,22
Spedizione EUR 11,00
Spedito da Italia a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloCondizione: new.
-
Tools and Algorithms for the Construction and Analysis of Systems (Paperback)
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2023
ISBN 10: 3031308190 ISBN 13: 9783031308192
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Paperback. Condizione: new. Paperback. This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 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, flexibility, and efficiency of tools and algorithms for building computer-controlled systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Tools and Algorithms for the Construction and Analysis of Systems (Paperback)
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2023
ISBN 10: 3031308220 ISBN 13: 9783031308222
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Paperback. Condizione: new. Paperback. This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 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, flexibility, and efficiency of tools and algorithms for building computer-controlled systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Tools and Algorithms for the Construction and Analysis of Systems
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2023
ISBN 10: 3031308190 ISBN 13: 9783031308192
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 53,59
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1st ed. 2023. This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 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, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
-
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint . (Lecture Notes in Computer Science, 13994)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 38,09
Spedizione EUR 17,95
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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 43,07
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
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
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 39,32
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Tools And Algorithms For The Constructio
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 46,57
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Modeling and Analysis of Timed Systems : 13th International Conference, Formats 2015
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 59,12
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (Theoretical Computer Science and General Issues)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 61,51
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 43,92
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I (Lecture Notes in Computer Science)
Da: Marlton Books, Bridgeton, NJ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2025.
-
Tools and Algorithms for the Construction and Analysis of Systems (eng)
Da: Brook Bookstore, Milano, MI, Italia
Valutazione del venditore 5 su 5 stelle
EUR 33,48
Spedizione EUR 27,99
Spedito da Italia a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloCondizione: new.
-
Tools And Algorithms For The Constructio
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint ... France, April 22-27, 2023, Proceedings, Pa
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 54,53
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems (eng)
Da: Brook Bookstore, Milano, MI, Italia
Valutazione del venditore 5 su 5 stelle
EUR 33,48
Spedizione EUR 37,99
Spedito da Italia a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloCondizione: new.
-
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (Theoretical Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,64
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2023 edition NO-PA16APR2015-KAP.
-
Formal Modeling and Analysis of Timed Systems : 13th International Conference, Formats 2015
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,63
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2023 edition NO-PA16APR2015-KAP.
-
TOOLS AND ALGORITHMS FOR THE CONSTRUCTIO
Da: Speedyhen, Hertfordshire, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 34,77
Spedizione EUR 47,52
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: NEW.
-
Verification, Model Checking, and Abstract Interpretation (Paperback)
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2025
ISBN 10: 3031827023 ISBN 13: 9783031827020
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 2021, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
