wyszukanych pozycji: 113
Formal Methods for Computer/Communications Protocols and Software
ISBN: 9783659118357 / Angielski / Miękka / 2012 / 172 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. This book starts by introducing the different definitions/theorems for semantic equivalence and analysis them proving problems in them all. Then, it develops a sound definition and theory for semantic equivalence that is congrunt and develops a formal method to prove the equivalence. It then develops formal methods for automated derivation of testing sequences. These cover both control flow and data flow. These methods are proven to have the widest applicability and coverage in terms of discovering errors if there are. Then, we develop formal methods to transform formal specifications...
This book starts by introducing the different definitions/theorems for semantic equivalence and analysis them proving problems in them all. Then, it ...
|
|
cena:
309,16 zł |
Monotheism: The Way to the One True God
ISBN: 9781326651770 / Angielski / Twarda / 2014 / 280 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
215,50 zł |
Questions and Answers on Sufism
ISBN: 9780244105839 / Angielski / Miękka / 2018 / 274 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
97,58 zł |
Recent Developments in Video Surveillance
ISBN: 9789535104681 / Angielski / Twarda / 2012 / 136 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
705,77 zł |
INFORMATOR
ISBN: 9786202827164 / Polski / Miękka / 288 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
255,52 zł |
JavaScript Native Mobile Apps Development
ISBN: 9781783554171 / Angielski / Miękka / 2014 / 332 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
237,94 zł |
DER INSIDER
ISBN: 9786202827102 / Niemiecki / Miękka / 308 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. THE INSIDER: EIN UMFASSENDER LEITFADEN FÜR EFL-LEHRER IN LESE-, VOKABULAR- UND STUDIENFÄHIGKEITEN versucht, die Lese-, Vokabular- und Lernfähigkeiten, die Lehrer benötigen, um ihren Schülern zu helfen, ihre College-Fähigkeiten in diesen drei Bereichen zu entwickeln, kurz und klar darzustellen. Ziel ist es, fast alle Fähigkeiten, die für das Lehren / Lernen von Lese-, Wortschatz- und Lernfähigkeiten relevant sind, gründlich zu beschreiben. Das Buch hat zwei Leserschaften im Sinn. Die ersten sind Hochschullehrer, die sich mühsam bemühen, den Schülern dabei zu helfen, praktische...
THE INSIDER: EIN UMFASSENDER LEITFADEN FÜR EFL-LEHRER IN LESE-, VOKABULAR- UND STUDIENFÄHIGKEITEN versucht, die Lese-, Vokabular- und Lernfähigkeit...
|
|
cena:
255,52 zł |
O INFORMANTE
ISBN: 9786202827133 / Portugalski / Miękka / 292 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
255,52 zł |
L'INFILTRATO
ISBN: 9786202827140 / Włoski / Miękka / 288 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
255,52 zł |
Integration of Wireline and Core Data Offshore For Brent Crude Oil : Improving The Formation Evaluation of The Jurassic Reservoirs in Gullfaks Field, North Sea, Norway
ISBN: 9786200567635 / Angielski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
326,90 zł |
Imagerie Numerique Et Modelisation 3D Pour Le Medical
ISBN: 9786131512926 / Francuski / Miękka / 2010 / 200 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Alors que l'exploration fonctionnelle repose sur des techniques d'imagerie medicale sophistiquees, le releve anatomique de surface fait encore appel a des pratiques cliniques manuelles imprecises et couteuses. A partir d'images prises a main levee avec un appareil photo numerique, un outil innovant d'evaluation des plaies chroniques a ete developpe. Il combine l'analyse colorimetrique et la mesure dimensionnelle des tissus leses, pour une diffusion massive dans les equipes de soin. S'appuyant sur une verite terrain etablie par des cliniciens, une base d'echantillons cutanes a ete constituee...
Alors que l'exploration fonctionnelle repose sur des techniques d'imagerie medicale sophistiquees, le releve anatomique de surface fait encore appel a...
|
|
cena:
268,24 zł |
L'INITIÉ
ISBN: 9786202827119 / Francuski / Miękka / 296 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. THE INSIDER: UN GUIDE COMPREHENSIVE FOR EFL TEACHERS IN LECTURE, VOCABULARLY & STUDY COMPETENCES tente de présenter de manière succincte et claire les compétences en lecture, vocabulaire et étude dont les enseignants ont besoin pour aider leurs élèves à développer leurs compétences universitaires dans ces trois domaines. Il vise à fournir un compte rendu détaillé de presque toutes les compétences pertinentes à l'enseignement / l'apprentissage de la lecture, du vocabulaire et des compétences d'étude. Le livre a deux lecteurs à l'esprit. Les premiers sont des professeurs...
THE INSIDER: UN GUIDE COMPREHENSIVE FOR EFL TEACHERS IN LECTURE, VOCABULARLY & STUDY COMPETENCES tente de présenter de manière succincte et claire l...
|
|
cena:
255,52 zł |
Swarm Intelligence to Robust Control Design
ISBN: 9781727864793 / Angielski / Miękka / 2018 / 270 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
295,96 zł |
Monotheism: The Way to the One True God
ISBN: 9781533185136 / Angielski / Miękka / 2016 / 280 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
68,30 zł |
Understanding the Growth of Dilute Nitrides from First-Principles
ISBN: 9783838122151 / Angielski / Miękka / 2010 / 176 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Due to the large band-gap bowing associated with low N contents in III-V semiconductors, ternary and quaternary dilute nitride alloys have sparked interest over the last years for a wide range of technological applications. However, the realization of these alloys has been hampered by several challenges such as the extremely low equilibrium solubility of N and composition fluctuations. In order to overcome these challenges a detailed understanding of the growth of these alloys at the atomic level is crucial. Therefore, by employing state-of-the art first-principles calculations, this work...
Due to the large band-gap bowing associated with low N contents in III-V semiconductors, ternary and quaternary dilute nitride alloys have sparked int...
|
|
cena:
404,64 zł |
From Damascus to Beirut: Contested Cities in Arab Writing (1969-1989)
ISBN: 9781443885973 / Angielski / Twarda / 2016 / 140 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
|
cena:
219,06 zł |
Timeless Wisdom: Quotations from East & West
ISBN: 9780990411239 / Angielski / Twarda / 2014 / 354 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Never before have the open secrets of both East and the West been so close to one's fingertips. Huddled in the forthcoming pages are not token authors from the -other- side of the world, but a balanced collection of unearthed gems to be found in any one quote book. Ideas born from both halves of our diminutive planet by the world's greatest thinkers-warriors, philosophers, poets, academics, saints, and prophets alike-who reflect, with us in tow, on such subjects as the nature of time, love, morality, beauty, success, the divine, and for that matter the very words we utter. It is in this...
Never before have the open secrets of both East and the West been so close to one's fingertips. Huddled in the forthcoming pages are not token authors...
|
|
cena:
130,05 zł |
A dictionary of english language learning and teaching. Volume I
ISBN: 9783844325614 / Angielski / Miękka / 2011 / 320 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
359,17 zł |
Intelligent Model for Predicting EEG Band Power during Muslim Prayer
ISBN: 9783330804739 / Angielski / Miękka / 2016 / 228 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
317,80 zł |
Inside the Brotherhood
ISBN: 9780745682921 / Angielski / Miękka / 2016 / 240 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The definitive account of one of the worlds most controversial movements.
The definitive account of one of the worlds most controversial movements.
|
|
cena:
71,34 zł |