wyszukanych pozycji: 1390
Automated Technology for Verification and Analysis: 15th International Symposium, Atva 2017, Pune, India, October 3-6, 2017, Proceedings
ISBN: 9783319681665 / Angielski / Miękka / 2017 / 482 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions.
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, h...
|
|
cena:
193,19 zł |
Modern Applications of Automata Theory
ISBN: 9789814271042 / Angielski / Twarda / 2012 / 672 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Automata theory has come into prominence with a plethora of applications in fields ranging from verification to XML processing and file compression. This book covers a range of applications of automata theory. It deals with verification and model checking. It is suitable for software practitioners working in this area.
Automata theory has come into prominence with a plethora of applications in fields ranging from verification to XML processing and file compression. T...
|
|
cena:
1104,48 zł |
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
ISBN: 9783662460801 / Angielski / Miękka / 2015 / 468 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCA...
|
|
cena:
193,19 zł |
Wisdom 101
ISBN: 9781441551542 / Angielski / Miękka / 2009 / 108 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
69,98 zł |
Mango Tree Tales
ISBN: 9781482869934 / Angielski / Miękka / 2016 / 148 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This is a book with short stories dedicated to Lord Buddha. Today I am willing to forgive each and every person that has come into my life. Please take this message to all the souls/beings. Be happy, Bhavatu Sabba Mangalam, www.dhamma.org
This is a book with short stories dedicated to Lord Buddha. Today I am willing to forgive each and every person that has come into my life. Please tak...
|
|
cena:
37,20 zł |
A Practical book of Pharmaceutical Chemistry
ISBN: 9781648991172 / Angielski / Miękka / 2020 / 52 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
52,47 zł |
Linking and Mining Heterogeneous and Multi-View Data
ISBN: 9783030018719 / Angielski / Twarda / 2019 / 343 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
502,35 zł |
Rahat Sahab
ISBN: 9789387390782 / Hindi / Miękka / 2019 / 258 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
93,32 zł |
Challenger Physics for JEE Main & Advanced with past 5 years Solved Papers ebook (12th edition)
ISBN: 9789386146526 / Angielski / Miękka / 2016 / 718 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
238,06 zł |
Return of the Rishi: A Doctor's Story of Spiritual Transformation and Ayurvedic Healing
ISBN: 9780395574201 / Angielski / Miękka / 1991 / 224 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. With his earlier books, Quantum Healing, Perfect Health and Creating Health, Dr Chopra developed a blend of Eastern and Western medical philosophy with the intention of creating a cleaner, richer view of the road to perfect health - a balance of mind, body and spirit. He now continues his prescription as he describes his journey from India to the West and from a formal practice as a board-certified endocrinologist to a wider view of the primacy of the mind and spirit.
With his earlier books, Quantum Healing, Perfect Health and Creating Health, Dr Chopra developed a blend of Eastern and Western medical philosophy wit...
|
|
cena:
74,82 zł |
No One Gets To Walk Away
ISBN: 9789390362417 / Angielski / Miękka / 2020 / 128 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
62,98 zł |
Think Like a Golfer, Win Like a Golfer (English)
ISBN: 9789355438089 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
83,99 zł |
Library Indexing and Abstracting
ISBN: 9789350563946 / Angielski / Twarda / 2014 / 296 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
532,19 zł |
Self Power: Spiritual Solutions to Life's Greatest Challenges
ISBN: 9781846042874 / Angielski / Miękka / 2013 / 224 str. Termin realizacji zamówienia: ok. 30 dni roboczych. The author has made clear his conviction that it is within the potential of every human being to live an enriching, self-aware, magnificent life. But to reach that state of empowerment is a difficult task, calling for courage, will power and - often - guidance. In this book, he offers that guidance and encouragement.
The author has made clear his conviction that it is within the potential of every human being to live an enriching, self-aware, magnificent life. But ...
|
|
cena:
81,06 zł |
Neural Network Based Controller for Ups Inverter Applications
ISBN: 9786200531933 / Angielski / Miękka / 2020 / 56 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
201,18 zł |
Blockchain Tethered AI: Trackable, Traceable Artificial Intelligence and Machine Learning
ISBN: 9781098130480 / Angielski / Miękka / 2023 / 200 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. With this practical book, system architects, software engineers, and systems solution specialists will learn how enterprise blockchain provides permanent provenance of AI, removes the mystery, and allows you to validate AI before it's ever used.
With this practical book, system architects, software engineers, and systems solution specialists will learn how enterprise blockchain provides perman...
|
|
cena:
333,44 zł |
Questions to Ask in a Tarot Reading: Tarot Reading
ISBN: 9781799278726 / Angielski / Miękka / 2019 / 64 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
26,22 zł |
Moralica: A Collection of Moral Short Stories
ISBN: 9798696055404 / Angielski / Miękka / 2021 / 28 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
43,77 zł |
The Power Pack of Short Stories: Box Set of Crime, Thriller & Suspense Stories
ISBN: 9781393359104 / Angielski / Miękka / 2020 / 172 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
74,66 zł |