kovács laura (38 Ergebnisse)

Hardcover. Zustand: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.

Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Couverture rigide. Zustand: Assez bon. Editions Soline, 1998. 1 volume relié(s) format In-8 correct.

Zustand: Bon. Petite(s) trace(s) de pliure sur la couverture. Légères traces d'usure sur la couverture. Couverture différente. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Slightly creased cover. Slight signs of wear on the cover. Different cover. Ammareal gives back up to 15% of this item's net price to charity organizations.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

paperback. Zustand: Very Good.

Zustand: New. In.

Zustand: New. In.

Paperback. Zustand: Brand New. 422 pages. 9.25x6.10x9.21 inches. In Stock.

Paperback. Zustand: Brand New. 450 pages. 9.25x6.10x9.21 inches. In Stock.

Zustand: New. In.

Zustand: New.

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking;Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations;Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking;Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations;Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking;Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations;Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

Paperback. Zustand: Brand New. 265 pages. 9.25x6.10x9.21 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems.This is an open access book.

Taschenbuch. Zustand: Neu. Automated Reasoning | 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings | Jasmin Blanchette (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2022 | Springer | EAN 9783031107689 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III | Bernd Finkbeiner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2024 | Springer | EAN 9783031572555 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I | Bernd Finkbeiner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxviii | Englisch | 2024 | Springer | EAN 9783031572456 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II | Bernd Finkbeiner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxi | Englisch | 2024 | Springer | EAN 9783031572487 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 16thInternational Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing.

Taschenbuch. Zustand: Neu. Tests and Proofs | 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings | Laura Kovács (u. a.) | Taschenbuch | Lecture Notes in Computer Science | viii | Englisch | 2022 | Springer | EAN 9783031098260 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the18th International Conference on Reachability Problems, RP 2024, which took place inVienna, Austria, during September 25-27, 2024.The 13 full papers included in these proceedings were carefully reviewed and selected from 37 submissions. The book also contains two invited talks in full paper length.The contributions in these proceedings cover topics from computability and reachability;automata and complexity;linear systems and recurrences; and games and abstractions.

Taschenbuch. Zustand: Neu. Reachability Problems | 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings | Laura Kovács (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxvi | Englisch | 2024 | Springer | EAN 9783031726200 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 408 | Sprache: Englisch | Produktart: Bücher | The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 452 | Sprache: Englisch | Produktart: Bücher | The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.