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ł |
![]() |
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ł |
![]() |
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ł |
![]() |
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ł |
![]() |
Wimax: Taking Wireless to the Max
ISBN: 9780849371868 / Angielski / Twarda / 2006 / 384 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. With market value expected to reach $5 billion by 2007 and the endorsement of some of the biggest names in telecommunications, World Interoperability for Microwave Access (WiMAX) is poised to change the broadband wireless landscape. But how much of WiMAX's touted potential is merely hype? Now that several pre-WiMAX networks have been deployed, what are the operators saying about QoS and ROI? How and when will device manufacturers integrate WiMAX into their products? What is the business case for using WiMAX rather than any number of other established wireless alternatives?
WiMAX: Taking... With market value expected to reach $5 billion by 2007 and the endorsement of some of the biggest names in telecommunications, World Interoperability ...
|
cena:
616,46 zł |
![]() |
Muhammad LP: A Story of the Last Prophet
ISBN: 9780062002518 / Angielski / Miękka / 2010 / 360 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. "Compassionate and clear...a courageous undertaking." --Greg Mortenson, New York Times bestselling author of Three Cups of Tea and Stones into Schools
"As a scholar and storyteller extraordinaire, Deepak Chopra portrays a morally courageous yet highly human messenger of God." --Irshad Manji, Director, Moral Courage Project, New York University From the New York Times bestselling author of Buddha and Jesus comes the page-turning and soul-stirring story of Muhammad. Deepak Chopra--easily one of the most influential... "Compassionate and clear...a courageous undertaking." --Greg Mortenson, New York Times bestselling author of Three Cups of Tea and <...
|
cena:
121,34 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ł |
![]() |
Proceedings of Data Analytics and Management: Icdam 2021, Volume 2
ISBN: 9789811662843 / Angielski / Twarda / 2021 / 884 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book includes original unpublished contributions presented at the International Conference on Data Analytics and Management (ICDAM 2021), held at Jan Wyzykowski University, Poland, during June 2021. The book covers the topics in data analytics, data management, big data, computational intelligence, and communication networks. The book presents innovative work by leading academics, researchers, and experts from industry which is useful for young researchers and students.
This book includes original unpublished contributions presented at the International Conference on Data Analytics and Management (ICDAM 2021), held at...
|
cena:
966,09 zł |
![]() |
CyberCrimes Technology's Menace of the 21st Century
ISBN: 9789383572533 / Angielski / Miękka / 2015 / 164 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. IT expert Dr. Deepak Shikarpur and advocate Vaishali Bhagwat, who collaborates with the police in cases relating to cyber-crime have co-authored this book on one of the modern-day menaces that can affect all our lives. The book offers valuable insights into cyber-stalking, phishing, identity theft and other online scams, and shows how we can safeguard against these through informed and diligent practices. Available in Marathi
IT expert Dr. Deepak Shikarpur and advocate Vaishali Bhagwat, who collaborates with the police in cases relating to cyber-crime have co-authored this ...
|
cena:
74,66 zł |
![]() |
Unlimited Learnings: (Because Life Never Stops Teaching)
ISBN: 9781543700329 / Angielski / Miękka / 2017 / 272 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
59,47 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ł |
![]() |
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ł |
![]() |
Ladder to Leadership- Leading isn't Failing Others
ISBN: 9789359890791 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
112,51 zł |
![]() |
Dynamics 365 for Finance and Operations Development Cookbook - Fourth Edition: Recipes to explore forms, look-ups and different integrations like Powe
ISBN: 9781786468864 / Angielski / Miękka / 2017 / 480 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
308,09 zł |
![]() |
The Shadow Effect LP
ISBN: 9780061979613 / Angielski / Miękka / 2010 / 300 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. In this groundbreaking exploration, three New York Times bestselling authors--Debbie Ford (The Dark Side of the Light Chasers, Why Good People Do Bad Things), Marianne Williamson (The Age of Miracles, A Return to Love), and Deepak Chopra (Jesus: A Story of Enlightenment)--deliver a comprehensive and practical guide to harnessing the power of our dark side.
In this groundbreaking exploration, three New York Times bestselling authors--Debbie Ford (The Dark Side of the Light Chasers, Why Good P...
|
cena:
126,01 zł |