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ł |
![]() |
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ł |
![]() |
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ł |
![]() |
Born to be King (The Epic of Kautilya)
ISBN: 9798371218209 / Angielski / Miękka / 2019 / 376 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
61,24 zł |
![]() |
Ethics Philosophy, Psychology & Public Administration
ISBN: 9781685637552 / Angielski / Miękka / 2021 / 100 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
62,98 zł |
![]() |
The Wilting Leaves
ISBN: 9781948424639 / Angielski / Miękka / 2018 / 248 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
52,52 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ł |