Importo totale (1 articolo articoli):
Destinazione ordine:
heule marijn (81 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (81)
- 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 (75)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (2)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
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 (33)
- Non Print on Demand (44)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
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.
-
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: 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.
-
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.
-
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.
-
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 68,67
Spedizione EUR 6,81
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.
-
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 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 73,16
Spedizione EUR 11,61
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,26
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 2024 ed.
-
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 68,66
Spedizione EUR 17,41
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
-
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, Part II (Lecture Notes in Artificial Intelligence)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 75,29
Spedizione EUR 13,91
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 75,06
Spedizione EUR 14,51
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.
-
Automated Reasoning
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Paperback. Condizione: New. 2024 ed.
-
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 77,13
Spedizione EUR 17,41
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.
-
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 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 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
Da: Speedyhen, Hertfordshire, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 62,06
Spedizione EUR 47,60
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: NEW.
-
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.
-
EUR 41,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. 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 | Arie Gurfinkel (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2025 | Springer | EAN 9783031906527 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 41,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. 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 | Arie Gurfinkel (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxvii | Englisch | 2025 | Springer | EAN 9783031906428 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 41,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. 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 | Arie Gurfinkel (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxi | Englisch | 2025 | Springer | EAN 9783031906596 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
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.
-
Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
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: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 36, 2024, Proceedings, Part II: 14740 (Lecture Notes in Computer Science, 14740)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 116,15
Spedizione EUR 14,51
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 439 pages. 9.25x6.10x9.21 inches. In Stock.
-
EUR 21,01
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Gut. Zustand: Gut | Seiten: 500 | Sprache: Englisch | Produktart: Bücher | 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.
