topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 2088
 |
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:
1115,21 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:
192,30 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:
192,30 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:
221,75 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:
55,38 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:
39,27 zł |
 |
Wisdom 101
ISBN: 9781441551542 / Angielski / Miękka / 2009 / 108 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
73,87 zł |
 |
The Politics of Ideas
ISBN: 9789367830994 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
93,58 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:
500,03 zł |
 |
Rahat Sahab
ISBN: 9789387390782 / Hindi / Miękka / 2019 / 258 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
98,50 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:
251,25 zł |
 |
India`s China Dilemma: The Lost Equilibrium and Widening Asymmetries
ISBN: 9789390095452 Termin realizacji zamówienia: ok. 12 dni roboczych. 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:
270,85 zł |
 |
Candle Magic Works: Benefits of Hindu Prayers and Intention Based Candles
ISBN: 9781091123571 / Angielski / Miękka / 2019 / 54 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
46,15 zł |
 |
Overcoming Addictions : The Complete Mind-Body Programme for Addictive Behaviour
ISBN: 9780712601122 / Angielski / Miękka / 2001 / 144 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Using the ancient principles of Arurvedic mind-body medicine, Deepak Chopra shows the reader how to become more attuned to the needs and benfits of the spirit, to allow the body to overcome destructive dependencies to harmful substances.
Using the ancient principles of Arurvedic mind-body medicine, Deepak Chopra shows the reader how to become more attuned to the needs and benfits of th...
|
cena:
70,93 zł |
 |
Molecular Approaches to Improving Food Quality and Safety
ISBN: 9781468480726 / Angielski / Miękka / 2012 / 246 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Conventional food safety and quality research have traditionally dealt with the whole organism or food product, either plant or animal, or with the microorganisms that associate with these food-producing plants and ani- mals at various stages of growth, development, and maturation. However, conventional research methods no longer are sufficient to bring about the improvements in quality and safety of foods that are demanded in today's marketplace by increasingly educated and sophisticated consumers. Improved quality has generally been thought to mean (l) unblemished products, particularly...
Conventional food safety and quality research have traditionally dealt with the whole organism or food product, either plant or animal, or with the mi...
|
cena:
192,30 zł |
 |
Academic Accrediation in Libraries
ISBN: 9789350563922 / Angielski / Twarda / 2014 / 322 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
586,32 zł |
 |
Kurze Darstellung der Chironomiden (Diptera) in der Region Udaipur (Rajasthan)
ISBN: 9786208243487 / Niemiecki / Miękka / 2024 / 116 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Chironomiden, allgemein als Zuckmücken oder blinde Mücken bezeichnet, sind weit verbreitete und kosmopolitische Wasserinsekten . Sie sind schätzungsweise mindestens 200 Millionen Jahre alt und stammen aus der Trias (Ashe et al., 1987). Weltweit sind etwa 5.000 Arten beschrieben, aber Schätzungen zufolge gibt es bis zu 20.000 Arten (Ferrington et al., 2008). Chironomiden sind holometabole Insekten. Der durchschnittliche Lebenszyklus von Chironomiden beträgt vier Wochen. Ihr Lebenszyklus umfasst drei aquatische Entwicklungsstadien (Ei, Larve und Puppe) und ein terrestrisches...
Chironomiden, allgemein als Zuckmücken oder blinde Mücken bezeichnet, sind weit verbreitete und kosmopolitische Wasserinsekten . Sie sind schätzung...
|
cena:
252,98 zł |
 |
Adventure Thru' The Bible
ISBN: 9788172149338 / Angielski / Miękka / 2017 / 192 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
83,72 zł |
 |
Ethics Philosophy, Psychology & Public Administration
ISBN: 9781685637552 / Angielski / Miękka / 2021 / 100 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
66,47 zł |
 |
Service Life Prediction Model for Reinforced concrete Structures
ISBN: 9783659550171 / Angielski / Miękka / 2014 / 124 str. Termin realizacji zamówienia: ok. 10-14 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:
248,45 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
