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ł |
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ł |
Wisdom 101
ISBN: 9781441551542 / Angielski / Miękka / 2009 / 108 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
69,98 zł |
Rahat Sahab
ISBN: 9789387390782 / Hindi / Miękka / 2019 / 258 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
93,32 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ł |
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ł |
Malicious Sensor Node
ISBN: 9783848480449 / Angielski / Miękka / 2012 / 72 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Wireless sensor networks offer various novel applications. Sensor nodes are the simplest devices in the Wireless sensor network but have an important place in meeting environmental challenges when incorporated with applications in multiple fields.Wireless sensor are networks of smart nodes that sense and also have potential to control the resources if programmed so. Reliability for sensor node applications plays a major role in a wireless sensor network. Our experiment based on a malicious sensor node for finding the effect on the technical efficiency of the node processor having auto...
Wireless sensor networks offer various novel applications. Sensor nodes are the simplest devices in the Wireless sensor network but have an important ...
|
|
cena:
247,07 zł |
Yantra, Mantra and Tantrism: A Complete Guide
ISBN: 9780956492838 / Angielski / Miękka / 2012 / 202 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
109,42 zł |
The Crimson Dune
ISBN: 9781943851461 / Angielski / Miękka / 2016 / 194 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The Crimson Dune is a work of fiction by the author and is based on a young boy, the hero who manages to salvage his career after series of doomsday and is written in a humorous way. The boy faces many hurdles and moments of glory in his life and unravels the mystery surrounding him along with his bunch of friends. The story revolves around the mystic and jovial happenings of the places explored by him and his friends for life. The hero of this story survives all odds and come out as a real hero in front of his parents. The early years of his life were confined to the premises of the Nuclear...
The Crimson Dune is a work of fiction by the author and is based on a young boy, the hero who manages to salvage his career after series of doomsday a...
|
|
cena:
41,32 zł |
Service Life Prediction Model for Reinforced concrete Structures
ISBN: 9783659550171 / Angielski / Miękka / 2014 / 124 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Reinforced concrete structures in marine environment undergo deterioration mainly due to corrosion of reinforcement. structural deterioration leads to degradation of an element to an unacceptable serviceability limit, is the service life of element. Service life therefore relates to repair cycle of the element. Defining service life is somewhat ambiguous and confusion persists, as unlike living beings, clear cut demarcation event of death, that separates itself from the life, does not exist for structures. Service life of RC structures depends on number of factors starting from the material...
Reinforced concrete structures in marine environment undergo deterioration mainly due to corrosion of reinforcement. structural deterioration leads to...
|
|
cena:
276,81 zł |
Golf For Enlightenment: The Seven Lessons for the Game of Life
ISBN: 9781844135813 / Angielski / Miękka / 2005 / 208 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Golf for Enlightenment is the fable of Adam Seaver, an ordinary person, with a terrible game. Adam meets a mysterious young teaching pro named Wendy who, in seven crisp, short yet profound lessons, teaches him things that seem baffling at first: - You and the ball are one - Find the now, and you will find the shot - Let the game play you. From the moment they begin to put these lessons into practice, what was previously a humiliation turns into a transforming experience, not just for Adam's score but for his whole life. Long a famous writer on spiritual subjects, hailed as the...
Golf for Enlightenment is the fable of Adam Seaver, an ordinary person, with a terrible game. Adam meets a mysterious young teaching pro named Wendy w...
|
|
cena:
91,88 zł |
The Rules of Being Highly Skillful
ISBN: 9798885913416 / Angielski / Miękka / 2022 / 64 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
52,47 zł |
Ai-Enabled 6g Networks and Applications
ISBN: 9781119812647 / Angielski / Twarda / 2022 / 350 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. |
|
cena:
486,68 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ł |
Reading Intention Based Candles
ISBN: 9781092152242 / Angielski / Miękka / 2019 / 48 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
43,72 zł |
Die heilende Kraft in mir : Altindisches Wissen und moderne Naturwissenschaft
ISBN: 9783932130250 / Niemiecki / Miękka / 2018 / 300 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
67,75 zł |
Fire in the Heart: A Spiritual Guide for Teens
ISBN: 9780689862175 / Angielski / Miękka / 2006 / 208 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. A fifteen-year-old boy is walking through a swirling fog on his way to school when a voice calls out, "Come here. We need to talk." Out of the mist emerges an old man with a white beard. He is a fantastic figure, as wizardly as Merlin, as wise as Socrates, as peaceful as Buddha. Whoever he is, the old man has appeared on that very day to change the boy's life. "You are old enough to learn about things," he says mysteriously. "And who is going to teach you but me?" The old man gives the boy four days of "soul training," a time of riddles, tricks, parables, and incredible twists that...
A fifteen-year-old boy is walking through a swirling fog on his way to school when a voice calls out, "Come here. We need to talk." Out of the mist em...
|
|
cena:
66,65 zł |