topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 2063
 |
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:
1121,64 zł |
 |
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:
194,97 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:
194,97 zł |
 |
Model checking trace-based information flow properties
ISBN: 9783838377803 / Angielski / Miękka / 64 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Information flow properties are a way of specifying security properties of systems. A system is viewed as generating traces containing confidential and visible events (only the latter being observable by a low-level user) and the information flow properties specify restrictions on the kind of traces the system may generate, so as to restrict the amount of information a low-level user can infer about confidential events having taken place (or not) in an execution. Mantel identifies "basic security predicates or BSPs and shows them to be the building blocks of most of the known trace-based...
Information flow properties are a way of specifying security properties of systems. A system is viewed as generating traces containing confidential an...
|
cena:
224,84 zł |
 |
Wisdom 101
ISBN: 9781441551542 / Angielski / Miękka / 2009 / 108 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
73,33 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:
38,99 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:
54,98 zł |
 |
The Politics of Ideas
ISBN: 9789367830994 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
92,90 zł |
 |
Rahat Sahab
ISBN: 9789387390782 / Hindi / Miękka / 2019 / 258 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
97,80 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:
506,99 zł |
 |
India`s China Dilemma: The Lost Equilibrium and Widening Asymmetries
ISBN: 9789390095452 Termin realizacji zamówienia: ok. 8-10 dni roboczych (Dostawa przed świętami) The equilibrium and understanding between India and China that was built on the premise that both were at the same level of development, and hence need to give full play to their complementarities and potentialities, has seemingly shifted, owing to the balance of power favouring China. Finding new equilibrium and understanding will not be easy given India`s asymmetrical relationship with China. The nature of India-China coexistence, cooperation and competition will be determined by factors such as how quickly the narrative of India's rise regains traction, India and China`' relations with...
The equilibrium and understanding between India and China that was built on the premise that both were at the same level of development, and hence nee...
|
cena:
274,62 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:
249,45 zł |
| |
Revolutionary Love: Friendship-Love-Revenge: A Novel
ISBN: 9798201053185 / Angielski / Miękka / 2021 / 152 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
48,88 zł |
 |
Perfect Health--Revised and Updated: The Complete Mind Body Guide
ISBN: 9780609806944 / Angielski / Miękka / 2001 / 400 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. A decade ago, Deepak Chopra, M.D., wrote Perfect Health, the first practical guide to harnessing the healing power of the mind, which became a national bestseller. The book described how breakthroughs in physics and medicine were underscoring the validity of a 5,000-year-old medical system from ancient India known as Ayurveda (-the knowledge of life span- in Sanskrit). Perfect Health went on to describe how to apply the ancient wisdom of Ayurveda to everyday life. In celebration of this classic work we have created this new edition, revised and updated to include the latest...
A decade ago, Deepak Chopra, M.D., wrote Perfect Health, the first practical guide to harnessing the healing power of the mind, which became a ...
|
cena:
82,95 zł |
 |
The Seven Spiritual Laws Of Success: seven simple guiding principles to help you achieve your dreams from world-renowned author, doctor and self-help guru Deepak Chopra
ISBN: 9780593040836 / Angielski / Twarda / 1996 / 128 str. Termin realizacji zamówienia: ok. 8-10 dni roboczych (Dostawa przed świętami) This is a simple yet profound guide to creating abundance and prosperity in our lives. Chopra outlines simple steps to wealth consciousness based on a true understanding of the natural world.
This is a simple yet profound guide to creating abundance and prosperity in our lives. Chopra outlines simple steps to wealth consciousness based on a...
|
cena:
67,06 zł |
 |
International Conference on Innovative Computing and Communications: Proceedings of ICICC 2022, Volume 2
ISBN: 9789811925344 / Angielski / Miękka / 2022 Termin realizacji zamówienia: ok. 20 dni roboczych. This book includes high-quality research papers presented at the Fifth International Conference on Innovative Computing and Communication (ICICC 2022), which is held at the Shaheed Sukhdev College of Business Studies, University of Delhi, Delhi, India, on February 19–20, 2022. Introducing the innovative works of scientists, professors, research scholars, students and industrial experts in the field of computing and communication, the book promotes the transformation of fundamental research into institutional and industrialized research and the conversion of applied exploration into...
This book includes high-quality research papers presented at the Fifth International Conference on Innovative Computing and Communication (ICICC 2022)...
|
cena:
780,00 zł |
 |
Système de contrôle intelligent de processus basé sur un réseau neuronal
ISBN: 9786205403129 / Francuski / Miękka / 64 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Cette section présente une revue de l'état actuel de la recherche sur les applications des réseaux neuronaux dans le domaine de la commande. Elle est spécifiquement axée sur la commande de vitesse des moteurs à courant continu à aimant permanent basée sur les réseaux neuronaux. Il s'agit également d'une brève description d'articles récents présentant les avancées en matière de contrôle de vitesse des moteurs à courant continu. La principale source de documentation est l'Internet. Plusieurs articles publiés au niveau international ont été examinés.
Cette section présente une revue de l'état actuel de la recherche sur les applications des réseaux neuronaux dans le domaine de la commande. Elle e...
|
cena:
183,08 zł |
 |
A Bridge Not Too Far: Where Creativity Meets Innovation
ISBN: 9781957807836 / Angielski / Twarda / 2023 Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
108,98 zł |
 |
The Seven Spiritual Laws of Success: A Practical Guide to the Fulfillment of Your Dreams
ISBN: 9781878424112 / Angielski / Twarda / 1994 / 128 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This text outlines simple steps to wealth consciousness based on an understanding of the natural world and alignment with the forces that affect the flow of money in daily life. The teaching is based on seven spritual laws of success.
This text outlines simple steps to wealth consciousness based on an understanding of the natural world and alignment with the forces that affect the f...
|
cena:
78,62 zł |
 |
The Seven Spiritual Laws of Superheroes: Harnessing Our Power to Change the World
ISBN: 9780062059680 / Angielski / Miękka / 2012 / 176 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. "DeepakChopra has developed his own unique form of complementary, mind-body medicine."--U.S. News & World Report Theworld needs heroes, and, as spiritual authority Deepak Chopra demonstrates inthis gripping and deeply perceptive meditation on our potential to excel, everyone of us possesses the power to help save the planet--and the strength to claimour best possible lives. For readers who draw inspiration from comic books andmovies like Ironman, The Uncanny X-Men, and Superman, forthe Peter Parkers who wonder how to unlock their inner Spider-man,... "DeepakChopra has developed his own unique form of complementary, mind-body medicine."--U.S. News & World Report Theworld needs heroes, ... |
cena:
65,48 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
