Importo totale (1 articolo articoli):
Destinazione ordine:
heule marijn (87 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (87)
- 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 (80)
- Come nuovo, Ottimo o Quasi ottimo (5)
- Molto buono o Buono (2)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (37)
- Non Print on Demand (50)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings (Theoretical Computer Science and General Issues)
Da: Swan Trading Company, GEORGETOWN, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Very Good. This softcover has clean, crisp covers. Spine is tight and without reading crease. Pages appear bright and unmarked. We ship FAST!
-
Tools and Algorithms for the Construction and Analysis of Systems (Paperback)
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2025
ISBN 10: 3031906594 ISBN 13: 9783031906596
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Automated Reasoning : 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Automated Reasoning
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.
-
Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings, Part I
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 2024th edition NO-PA16APR2015-KAP.
-
Automated Reasoning
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 67,44
Spedizione EUR 6,73
Spedito da Regno Unito a U.S.A.Quantità: 2 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: 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 I
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: 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.
-
Automated Reasoning : 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Tacas 2025: 31st International Conference, Tacas 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, Etaps . (Lecture Notes in Computer Science, 15697)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New.
-
Tacas 2025: 31st International Conference, Tacas 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, Etaps 2025, Hamilto
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2025
ISBN 10: 3031906594 ISBN 13: 9783031906596
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 71,11
Spedizione EUR 11,46
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 300 pages. 9.26x6.11x9.25 inches. In Stock.
-
Automated Reasoning
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 85,93
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 2024 ed.
-
Automated Reasoning (Paperback)
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. Infotext (nur auf Basis des Vorgaengers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Automated Reasoning : 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 67,43
Spedizione EUR 17,20
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
-
Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings (Theoretical Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 71,54
Spedizione EUR 13,73
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: 31st International Conference, Tacas 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, Etaps 2025, Hamilto
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2025
ISBN 10: 303190642X ISBN 13: 9783031906428
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 72,96
Spedizione EUR 14,33
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 370 pages. 9.26x6.11x9.21 inches. In Stock.
-
Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 68,95
Spedizione EUR 17,76
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Automated Reasoning
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Paperback. Condizione: New. 2024 ed.
-
Theory and Applications of Satisfiability Testing : Sat 2015: 18th International Conference
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 86,81
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 73,78
Spedizione EUR 13,73
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Theory and Applications of Satisfiability Testing : Sat 2015: 18th International Conference
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 71,53
Spedizione EUR 17,20
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Automated Reasoning : 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 76,23
Spedizione EUR 17,20
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 436.
-
AUTOMATED REASONING : 12TH INTERNATIONAL
Da: Speedyhen, Hertfordshire, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,28
Spedizione EUR 47,00
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: 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, Part III
Lingua: Inglese
Editore: Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031906594 ISBN 13: 9783031906596
EUR 42,79
Spedizione EUR 62,23
Spedito da Germania a U.S.A.Quantità: 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.
-
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
Lingua: Inglese
Editore: Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031906527 ISBN 13: 9783031906527
EUR 42,79
Spedizione EUR 63,08
Spedito da Germania a U.S.A.Quantità: 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.
-
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 I
Lingua: Inglese
Editore: Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 303190642X ISBN 13: 9783031906428
EUR 42,79
Spedizione EUR 63,23
Spedito da Germania a U.S.A.Quantità: 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.
-
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3¿6, 2024, Proceedings, Part I
Lingua: Inglese
Editore: Springer Nature Switzerland, 2024
ISBN 10: 3031634977 ISBN 13: 9783031634970
EUR 42,79
Spedizione EUR 63,75
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access.
-
Theory and Applications of Satisfiability Testing: Sat 2015: 18th International Conference
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2015
ISBN 10: 3319243179 ISBN 13: 9783319243177
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 99,90
Spedizione EUR 14,33
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 456 pages. 9.25x6.10x0.94 inches. In Stock.
-
EUR 41,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Automated Reasoning | 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I | Christoph Benzmüller (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2024 | Springer | EAN 9783031634970 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
