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ł |
 |
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ł |
 |
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ł |
 |
Wisdom 101
ISBN: 9781441551542 / Angielski / Miękka / 2009 / 108 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
73,33 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ł |
 |
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ł |
 |
Réponse du blé semé tardivement à l'azote
ISBN: 9786202785198 / Francuski / Miękka / 96 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. La culture du blé étant la première culture céréalière au monde, elle joue un rôle majeur dans la réduction de la faim de la population mondiale en pleine expansion. Avec le développement de variétés à haut rendement et de nouvelles technologies, la production et la productivité depuis la fin des années 1970 ont considérablement augmenté jusqu'à aujourd'hui. Il existe encore divers facteurs limitant le rendement, l'un d'entre eux étant les semis tardifs, en particulier dans les zones agricoles où le système riz-blé est prédominant. Dans le contexte récent du changement...
La culture du blé étant la première culture céréalière au monde, elle joue un rôle majeur dans la réduction de la faim de la population mondia...
|
cena:
173,90 zł |
 |
Constitutive Modeling of FRP Confined Concrete from Damage Mechanics
ISBN: 9783659620157 / Angielski / Miękka / 2014 / 76 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. The proposed analytical model developed for concrete confined by FRP composite jackets, might become useful document for various designers and researchers working in the field of retrofitting. Results given by this model easily accepts with the one obtained from the experimental results. The model suggests that, lateral confinement of concrete with FRP composite jackets increases the strength and ductility, under uniaxial compressive load.
The proposed analytical model developed for concrete confined by FRP composite jackets, might become useful document for various designers and researc...
|
cena:
183,08 zł |
 |
Abundance: The Inner Path to Wealth
ISBN: 9780593233818 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
78,58 zł |
| |
Deepak Gupta Collection: The Complete Self Help Book (2015-2020)
ISBN: 9798201938963 / Angielski / Miękka / 2021 / 738 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
171,18 zł |
 |
Total Meditation: Practices in Living the Awakened Life
ISBN: 9781984825339 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
74,26 zł |
| |
Up and Running with Bluebeam Revu 21: For Revu Basics, Core, and Complete
ISBN: 9798363979514 / Angielski / Miękka / 2022 / 590 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
270,60 zł |
 |
Le Fils caché
ISBN: 9788194735687 / Francuski / Twarda / 2020 / 154 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
131,04 zł |
| |
Cuerpo Cu?ntico. La Nueva Ciencia Para Una Vida M?s Larga, Sana Y Vital / Quantu M Body: The New Science of Living a Longer, Healthier, More Vital Lif
ISBN: 9786073840101 / Hiszpański Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
87,14 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
