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ł |
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ł |
Wisdom 101
ISBN: 9781441551542 / Angielski / Miękka / 2009 / 108 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
69,98 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ł |
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ł |
Deepak Gupta Collection: The Complete Self Help Book (2015-2020)
ISBN: 9781639407606 / Angielski / Miękka / 2021 / 686 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
157,52 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ł |
Neural Network Based Controller for Ups Inverter Applications
ISBN: 9786200531933 / Angielski / Miękka / 2020 / 56 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
201,18 zł |
Questions to Ask in a Tarot Reading: Tarot Reading
ISBN: 9781799278726 / Angielski / Miękka / 2019 / 64 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
26,22 zł |
Experimental study of AHP and CV Requirements Prioritization Techniques
ISBN: 9783838313771 / Angielski / Miękka / 2009 / 80 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Prioritizing software requirements helps to determine which requirements are most important, and the order in which requirements should be developed and tested throughout the development life cycle. By prioritizing the requirements, software engineers can put focus on a subset of all requirements, and implement these in a particular release. This work aims to analyze two ratio scale prioritization techniques named Analytical Hierarchy Process (AHP) and Cumulative Voting (CV) by a controlled experiment, conducted on software engineering/computer science master students. The experiment was...
Prioritizing software requirements helps to determine which requirements are most important, and the order in which requirements should be developed a...
|
|
cena:
247,07 zł |
Up and Running with Bluebeam Revu 20: For Revu Standard
ISBN: 9798677381232 / Angielski / Miękka / 2020 / 586 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
258,24 zł |
The Invisible Piper: A Tea Planter's Odyssey
ISBN: 9781637145760 / Angielski / Miękka / 2021 / 214 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
52,48 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:
104,00 zł |
Total Meditation: Practices in Living the Awakened Life
ISBN: 9781984825315 / Angielski / Twarda / 2020 / 336 str. Termin realizacji zamówienia: ok. 8-10 dni roboczych. |
|
cena:
122,76 zł |
Kompletna medytacja
ISBN: 9788328374584 / Polski / broszurowa / 2021 / 280 str. Termin realizacji zamówienia: ok. 6-8 dni roboczych. W egzystencji każdego z nas roi się od nieuświadamianych nawyków. Fascynujemy się strumieniem swojej świadomości: nieustannym kalejdoskopem pragnień, obaw, życzeń i oczekiwań. Może to być pociągające, ale czasem bywa niebezpieczne. Natomiast przytomność umysłu jest cicha i statyczna, za to ma ogromną moc. Stan przytomności umysłu to dostrzeganie rzeczy, które wcześniej umykały uwadze. To głębia, siła i potencjał, dzięki któremu można odmienić na lepsze każdy aspekt swojego życia mimo otaczającej nas chaotycznej rzeczywistości. A więc warto się ...
W egzystencji każdego z nas roi się od nieuświadamianych nawyków. Fascynujemy się strumieniem swojej świadomości: nieustannym kalejdoskopem p...
|
|
46,55 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ł |