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ł |
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ł |
Wisdom 101
ISBN: 9781441551542 / Angielski / Miękka / 2009 / 108 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
69,98 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ł |
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ł |
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ł |
Smart Sensors for Industrial Internet of Things: Challenges, Solutions and Applications
ISBN: 9783030526238 / Angielski / Twarda / 2021 / 306 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
695,57 zł |
Ageless Body, Timeless Mind: A Practical Alternative To Growing Old
ISBN: 9781846041044 / Angielski / Miękka / 2008 / 352 str. Termin realizacji zamówienia: ok. 8-10 dni roboczych. Shows how you can retain your physical vitality, creativity, memory and self-esteem. This title bases its theories on the ancient Indian science of Ayurveda, according to which, optimum health is about achieving balance physically, emotionally and psychologically, and demonstrates that we can direct the way our bodies metabolize time.
Shows how you can retain your physical vitality, creativity, memory and self-esteem. This title bases its theories on the ancient Indian science of Ay...
|
|
cena:
66,45 zł |
Rhodes Framework for Android(tm) Platform and Blackberry(r) Smartphones
ISBN: 9781461435785 / Angielski / Miękka / 2012 / 50 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The Rhodes framework offers several advantages over other mobile frameworks. Some of the unique features of the Rhodes frameworks are as follows: - The only smartphone framework to offer support for the Model View Controller pattern - The only smartphone framework to offer support for the Object-Relational manager -The only smartphone framework to offer offline, disconnected access to data with the Rho-Synch server - The only smartphone framework to support all mobile devices including Android, BlackBerry, iPhone, Symbian, and Windows - Provides Ruby... The Rhodes framework offers several advantages over other mobile frameworks. Some of the unique features of the Rhodes frameworks are as follows: <... |
|
cena:
193,19 zł |
Well Done! You Are Hired: Smart Tips for the Journey from Campus to Corporate
ISBN: 9789389024036 / Angielski / Miękka / 2019 / 258 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
43,72 zł |
Temporary People
ISBN: 9781632061423 / Angielski / Miękka / 2017 / 272 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Winner of the Restless Books Prize for New Immigrant Writing "Guest workers of the United Arab Emirates embody multiple worlds and identities and long for home in a fantastical debut work of fiction, winner of the inaugural Restless Books Prize for New Immigrant Writing.... The author's crisp, imaginative prose packs a punch, and his whimsical depiction of characters who oscillate between two lands on either side of the Arabian Sea unspools the kind of immigrant narratives that are rarely told. An enchanting, unparalleled anthem of displacement and repatriation."...
Winner of the Restless Books Prize for New Immigrant Writing "Guest workers of the United Arab Emirates embody multiple worlds and identiti...
|
|
cena:
79,20 zł |
Powerful Quotes
ISBN: 9798886410150 / Angielski / Miękka / 2022 / 28 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
41,97 zł |
CTET & TETs (CDP, Math, EVS, Hindi, English) - 20 Practice Sets: Paper 1 - Hindi Medium
ISBN: 9789389600810 / Hindi / Miękka / 2020 / 340 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
140,02 zł |
The Soul of Leadership: Unlocking Your Potential for Greatness
ISBN: 9780307408075 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
83,33 zł |
Sedm duchovních zákonů úspěchu
ISBN: 8594072273056 / Czeski / audio (mc/cd) / 2017 Termin realizacji zamówienia: ok. 16-18 dni roboczych. Audiokniha Sedm duchovních zákonů úspěchu vám umožní dosáhnout mistrovské úrovně životního konání. Světový odborník na poli vědomí Deepak Chopra zkoncentroval esenci svého učení do sedmi prostých, ale mocných principů, které lze snadno uplatnit ve všech oblastech života. Věnujete-li jim pozornost a budete-li cvičit podle naznačeného návodu, poznáte, že můžete dosáhnout všeho, nač pomyslíte – bohatství, peněz i úspěchu. Také zjistíte, že se váš život stal radostnějším a že oplývá v mnoha směrech hojností, protože tyto duchovní...
Audiokniha Sedm duchovních zákonů úspěchu vám umožní dosáhnout mistrovské úrovně životního konání. Světový odborník na poli vědom...
|
|
cena:
59,94 zł |
Creating Health: How to Wake Up the Body's Intelligence
ISBN: 9780544310308 / Angielski / Twarda / 1995 / 224 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Dr. Deepak Chopra, author of the best-selling Ageless Body, Timeless Mind, offers his thousands of fans a newly revised edition of Creating Health, his groundbreaking book about the healing power of the mind. First published in 1987, Creating Health introduces the basic premises of Ayurveda, the six-thousand-year-old tradition of health care from India, and guides readers toward a sound understanding of the mind-body connection. Dr. Chopra is considered the preeminent spokesman for Ayurveda, which he blends with Western medical philosophy to create an intelligent and balanced approach to...
Dr. Deepak Chopra, author of the best-selling Ageless Body, Timeless Mind, offers his thousands of fans a newly revised edition of Creating Health, hi...
|
|
cena:
145,90 zł |
Reinventing the Body, Resurrecting the Soul: How to Create a New You
ISBN: 9780307452986 / Angielski / Miękka / 2010 / 304 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Deepak Chopra presents ten lessons to help build awareness and change the distorted energy patterns that are the root cause of aging, infirmity, and disease.
Fifteen years after his #1 New York Times bestseller, Ageless Body, Timeless Mind, Deepak Chopra revisits -the forgotten miracle--the body's infinite capacity for change and renewal. You cannot take advantage of this miracle, Chopra says, unless you are willing to completely reinvent your body, transforming it from a material object to a dynamic, flowing process. -Your physical body is a fiction, - Chopra contends.... Deepak Chopra presents ten lessons to help build awareness and change the distorted energy patterns that are the root cause of aging, infirmity, and d...
|
|
cena:
74,99 zł |