topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 2063
 |
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ł |
 |
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ł |
 |
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ł |
 |
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ł |
 |
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ł |
 |
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ł |
 |
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ł |
 |
Rahat Sahab
ISBN: 9789387390782 / Hindi / Miękka / 2019 / 258 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
97,80 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ł |
 |
|
cena:
96,10 zł |
 |
Kalki: Maanavta Ke Saath Ek Messiah KI Ladayi
ISBN: 9781945621789 / Hindi / Miękka / 2016 / 304 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Kalki- Maanavta Ke Saath Ek Messiah Ki Ladayi is about the tenth and last Avatar of Lord Vishnu, Kalki. It is hard to imagine what would happen if God or His Avatar was to be re-born in this era. However, this story portrays what His life would be like in case He was. Being a messiah, Kalki has some inborn powers. As he grows up, he discovers his powers but never realises what he really is. He hides himself from people to protect his family from trouble. His life takes many turns that gives it new direction. He looks for his own identity for years and when he comes to know the truth, he finds...
Kalki- Maanavta Ke Saath Ek Messiah Ki Ladayi is about the tenth and last Avatar of Lord Vishnu, Kalki. It is hard to imagine what would happen if God...
|
cena:
59,58 zł |
 |
Processing XML documents with Oracle JDeveloper 11g
ISBN: 9781847196668 / Angielski / Miękka / 2009 / 384 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. XML is an open standard for creating markup languages and exchanging structured documents and data over the Internet. JDeveloper 11g presents an effective, quick, and easy-to-use means of processing XML documents. Inspired by the author's previous XML articles for the Oracle community, this expanded hands-on tutorial guides newcomers and intermediate users through JDeveloper 11g and XML document development. It offers up-to-date information on working with the latest version of JDeveloper, and brand new information on JAXB 2.0 support in JDeveloper 11g. Filled with illustrations, explanatory...
XML is an open standard for creating markup languages and exchanging structured documents and data over the Internet. JDeveloper 11g presents an effec...
|
cena:
298,37 zł |
 |
Future of God
ISBN: 9781846044168 / Angielski / Miękka / 2015 / 272 str. Termin realizacji zamówienia: ok. 30 dni roboczych. What has God done for you lately? Faith is in crisis. Are God and faith still useful in the modern world? If God is to have a future, the author argues, we must find a new approach to spirituality. He reveals how God is about much more than religion. He also explains the logic of faith, while providing an incisive critique of militant atheism.
What has God done for you lately? Faith is in crisis. Are God and faith still useful in the modern world? If God is to have a future, the author argue...
|
cena:
93,30 zł |
| |
Powyshenie ustojchiwosti zdanij k zemletrqseniqm i ciklonam
ISBN: 9786205427910 / Rosyjski / Miękka / 60 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
90,86 zł |
 |
International Conference on Innovative Computing and Communications: Proceedings of ICICC 2020, Volume 2
ISBN: 9789811551475 / Angielski / Miękka / 2020 / 1182 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
780,00 zł |
 |
Pharmaceutical Waste Management
ISBN: 9783845440897 / Angielski / Miękka / 76 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Improper disposal of pharmaceutical is having an adverse impact on the environment and human health worldwide The waste and disposal problem starts with the production of active pharmaceutical ingredient and finishes with the final disposal of a pharmaceutical product. Pharmaceutical waste many also contaminate the environment through improper incineration or landfill placement. The risk of disposal in the sewage system or in landfill is that the drug will ultimately reach the water cycle either by direct contamination or by leaching form landfill sites.
Improper disposal of pharmaceutical is having an adverse impact on the environment and human health worldwide The waste and disposal problem starts wi...
|
cena:
224,84 zł |
| |
Cerâmica dentária
ISBN: 9786206538202 / Portugalski / Miękka / 176 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
297,79 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
