Deepak D'Souza - książki - KrainaKsiazek.pl

Deepak D'Souza » książki

zaloguj się | załóż konto

topmenu

Księgarnia internetowa

Książki na zamówienie

Książka na prezent

Wyszukiwanie zaawansowane

Bezpłatna dostawa dla zamówień powyżej 20 zł

Bezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka

[2949965]

• Literatura piękna

[1857847]

Kategorie szczegółowe BISAC

	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. ISBN: 9783319681665/Angielski/Miękka/2017/482 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Deepak D'Souza; K. Narayan Kumar 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: 201,72

	Modern Applications of Automata Theory ISBN: 9789814271042 / Angielski / Twarda / 2012 / 672 str. ISBN: 9789814271042/Angielski/Twarda/2012/672 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) Deepak D'Souza 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: 1046,58

	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. ISBN: 9783662460801/Angielski/Miękka/2015/468 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Deepak D'Souza;Akash Lal;Kim Guldstrand Larsen 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: 201,72

	Model checking trace-based information flow properties ISBN: 9783838377803 / Angielski / Miękka / 64 str. ISBN: 9783838377803/Angielski/Miękka/64 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Raghavendra Kagalavadi Ramesh; Deepak D'Souza; Barbara Sprick 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: 219,69

	Kedar Se Kailash Tak - Aarambh (केदार से कैलाश तक - आरम्भ) ISBN: 9789363180086 / Hindi / Twarda / 2024 / 194 str. ISBN: 9789363180086/Hindi/Twarda/2024/194 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami)

	cena: 116,17

	Wisdom 101 ISBN: 9781441551542 / Angielski / Miękka / 2009 / 108 str. ISBN: 9781441551542/Angielski/Miękka/2009/108 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Deepak

	cena: 64,52

	Kedar to Kailash ISBN: 9789369392674 / Angielski ISBN: 9789369392674/Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Deepak

	cena: 107,56

	Kedar Se Kailash Tak - Milan (केदार से कैलाश तक - मि&# ISBN: 9789354860263 / Hindi ISBN: 9789354860263/Hindi Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Deepak

	cena: 116,17

	Mango Tree Tales ISBN: 9781482869934 / Angielski / Miękka / 2016 / 148 str. ISBN: 9781482869934/Angielski/Miękka/2016/148 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Deepak 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: 34,30

	Kedar Se Kailash Tak - Aarambh (केदार से कैलाश तक - आरम्भ) ISBN: 9789363186415 / Hindi / Miękka / 2024 / 194 str. ISBN: 9789363186415/Hindi/Miękka/2024/194 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami)

	cena: 64,52

	A Practical book of Pharmaceutical Chemistry ISBN: 9781648991172 / Angielski / Miękka / 2020 / 52 str. ISBN: 9781648991172/Angielski/Miękka/2020/52 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Deepak

	cena: 48,37

	Kedar Se Kailash Tak - Milan (केदार से कैलाश तक - मि&# ISBN: 9789363186156 / Hindi ISBN: 9789363186156/Hindi Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Deepak

	cena: 60,22

	The Politics of Ideas ISBN: 9789367830994 / Angielski ISBN: 9789367830994/Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Deepak

	cena: 81,73

	Oceans of Forgiveness: A Love Rekindled by the Shores of Forgiveness ISBN: 9798341006881 / Angielski / Miękka / 2024 / 44 str. ISBN: 9798341006881/Angielski/Miękka/2024/44 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami)

	cena: 33,29

	Illustrated Book of Mythology: Curses and Boons ISBN: 9789361566998 / Angielski ISBN: 9789361566998/Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) M.R. Deepak

	cena: 87,11

	Code of Affection: Love Beyond the Lines of Code ISBN: 9798342643955 / Angielski / Miękka / 2024 / 74 str. ISBN: 9798342643955/Angielski/Miękka/2024/74 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami)

	cena: 36,28

	India`s China Dilemma: The Lost Equilibrium and Widening Asymmetries ISBN: 9789390095452 / Angielski ISBN: 9789390095452/Angielski Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) B.R. Deepak 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: 191,43

	Challenger Physics for JEE Main & Advanced with past 5 years Solved Papers ebook (12th edition) ISBN: 9789386146526 / Angielski / Miękka / 2016 / 718 str. ISBN: 9789386146526/Angielski/Miękka/2016/718 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Deepak Er Agarwal

	cena: 219,47

	In Search of Glory ISBN: 9798895561157 / Angielski / Miękka / 2024 / 50 str. ISBN: 9798895561157/Angielski/Miękka/2024/50 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami)

	cena: 55,41

	Rahat Sahab ISBN: 9789387390782 / Hindi / Miękka / 2019 / 258 str. ISBN: 9789387390782/Hindi/Miękka/2019/258 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Deepak Dr Ruhani

	cena: 86,04

Następna

Facebook - konto krainaksiazek.pl

Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl

Zobacz:

1997-2025 DolnySlask.com Agencja Internetowa

Przechowalnia

Przechowalnia