Order Total (1 Item Items):
Shipping Destination:
Kovács Laura (86 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (86)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
Binding
Collectible Attributes
- First Edition (6)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (48)
- Not Print on Demand (55)
Language (5)
Free Shipping
Seller Location
Seller Rating
-
hardcover. Condition: Acceptable. Spend Less, Read More.
-
hardcover. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
-
Hardcover. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
-
Couverture rigide. Condition: Assez bon. Editions Soline, 1998. 1 volume relié(s) format In-8 correct.
-
Condition: 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.
-
Dreaming Big Being Bold: Inspiring Stories from Trailblazers, Visionaries and Change Makers [Volume One]
Published by Dream Big Be Bold Media, London, Ontario, 2016
Soft cover. Condition: New. New condition color illustrated and color photographic softcover wraps. Includes Introduction. Illustrated with black-and-white photographs. "Steve Jobs reminded us that our work is going to fill a large part of our lives, and the only way to be truly satisfied is to do what we believe is great work. And the only way to do great work is to love what you do. This anthology is a collection of 26 stories about people who love what they do and in the process, inspire the rest of us to re-engage with our work and the value it brings to our personal development. Their experiences are all different and their motivations vary. Their backgrounds and circumstances and choices of careers are all unique. But they are all from the same cloth. They are big dreamers willing to take bold action. They are thought leaders and trail blazers and people whose presence ignites those around them. They are contagiously enthusiastic about life and determined to live it fully. Let them amaze you. Let them remind you of the boundless energy of the human spirit and the authentic pleasure of jobs well done. It has been a joy and a gift for us to invite these authors to tell their stories and share their insight. We hope that you are as impacted as we were by their indomitable spirits and bold actions. More than that, we are confident you will be inspired by them to seek the best that is within you and create your own personal path to self-development through the art of dreaming big and being bold." - Paula Morand and Victoria Craig, Paula Morand Enterprises. - from the Introduction.
-
-
Tools and Algorithms for the Construction and Analysis of Systems (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 3031572483 ISBN 13: 9783031572487
First Edition
Paperback. Condition: new. Paperback. 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. 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)
Language: English
Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 3031572556 ISBN 13: 9783031572555
First Edition
Paperback. Condition: new. Paperback. 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. 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)
Language: English
Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 3031572459 ISBN 13: 9783031572456
First Edition
Paperback. Condition: new. Paperback. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Condition: As New. Unread book in perfect condition.
-
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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 48.68
US$ 16.21 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 14572)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 54.78
US$ 16.21 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Lecture Notes in Artificial Intelligence)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 55.20
US$ 16.21 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Intelligent Computer Mathematics: 17th International Conference, CICM 2024, MontrĂ al, QC, Canada, August 5â"9, 2024, Proceedings (Lecture Notes in Artificial Intelligence)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Very Good.
-
Automated Reasoning : 11th International Joint Conference, Ijcar 2022, Haifa, Israel, August 8?10, 2022, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 55.19
US$ 20.30 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
-
Automated Reasoning : 11th International Joint Conference, Ijcar 2022, Haifa, Israel, August 8?10, 2022, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 61.64
US$ 20.30 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 66.04
US$ 20.96 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.17
US$ 16.21 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Reachability Problems: 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 75.69
US$ 16.21 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
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 C
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031572459 ISBN 13: 9783031572456
US$ 86.26
US$ 16.92 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 422 pages. 9.25x6.10x9.21 inches. In Stock.
-
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 C
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031572556 ISBN 13: 9783031572555
US$ 86.76
US$ 16.92 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 450 pages. 9.25x6.10x9.21 inches. In Stock.
-
Mikrohullámú Sütés kezd?knek: Egyszer? és Kreatív Ételek Villámgyorsan (Hungarian Edition)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 37.20
US$ 16.21 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Automated Reasoning
Language: English
Published by Springer, Berlin|Springer International Publishing|CADE|Springer, 2022
ISBN 10: 3031107683 ISBN 13: 9783031107689
Condition: New.
-
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
Tests and Proofs
Language: English
Published by Springer, Berlin|Springer International Publishing|Springer, 2022
ISBN 10: 3031098269 ISBN 13: 9783031098260
Kartoniert / Broschiert. Condition: New.
-
Reachability Problems: 18th International Conference, Rp 2024, Vienna, Austria, September 2527, 2024, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031726200 ISBN 13: 9783031726200
US$ 106.96
US$ 13.53 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 265 pages. 9.25x6.10x9.21 inches. In Stock.
-
Tools and Algorithms for the Construction and Analysis of Systems (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 3031572483 ISBN 13: 9783031572487
First Edition
Paperback. Condition: new. Paperback. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
![Seller image for Dreaming Big Being Bold: Inspiring Stories from Trailblazers, Visionaries and Change Makers [Volume One] for sale by Vero Beach Books](https://pictures.abebooks.com/inventory/md/md31283495558.jpg)
