wyszukanych pozycji: 135
![]() |
The Verification of MDG Algorithms in the HOL Theorem Prover
ISBN: 9783838317380 / Angielski / Miękka / 2009 / 160 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking (MC)) or deductive reasoning (theorem proving). The combination of the two approaches promises to overcome the limitation and to enhance the capabilities of each. Our research is motivated by this goal. In this book, we provide the necessary infrastructure (data structure + algorithms) to define high level states exploration in the HOL theorem prover named as MDG-HOL platform. We have based our approach on Multiway Decision Graphs (MDGs). We formalize the...
Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking (MC)) or deduct...
|
cena:
296,00 zł |
![]() |
Voir Au-Delà Du Segment
ISBN: 9783841795823 / Francuski / Miękka / 2018 / 420 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Dans cet ouvrage l'auteur essaie de monter que le processus crA(c)atif est un processus de dA(c)placement faisant de l'art un questionnement continu qui traverse la modernitA(c). Cette dA(c)monstration est basA(c)e sur l'allA(c)gorie de l'eau et de son cycle perpA(c)tuel entre l'atmosphA]re, le sol et le sous-sol; trois niveaux qui ont inspirA(c) les trois parties du texte. La dA(c)monstration s'est faite, le long de ces parties, A travers une sA(c)rie d'arrAats sur des rA(c)alisations plastiques personnelles qui questionnent le rapport avec l'autre et qui recomposent la rA(c)alitA(c) ouvrant...
Dans cet ouvrage l'auteur essaie de monter que le processus crA(c)atif est un processus de dA(c)placement faisant de l'art un questionnement continu q...
|
cena:
711,59 zł |
![]() |
CSS Tutorial Step By Step
ISBN: 9786202516143 / Angielski / Miękka / 2020 / 152 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
310,53 zł |
![]() |
Gymnastics Notebook For Girls and Women, Gymnast Gifts 5 years old: Flip Out Gift Gymnast 5 years
ISBN: 9781679486098 / Angielski / Miękka / 2019 / 122 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
28,09 zł |
![]() |
Alef Bet Tracing and Practice: Learn How to Write the Arabic Letters from Alif to Ya Workbook Age 2 to 6
ISBN: 9798630379634 / Angielski / Miękka / 2020 / 64 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
26,08 zł |
![]() |
The Puzzling: A Mysterious Tale of Path Choices that Leads to Souls Choosing Optimism Vs. Pessimism
ISBN: 9781977211330 / Angielski / Miękka / 2019 / 74 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
45,41 zł |
![]() |
Introduction to Spoken Standard Arabic – A Conversatonal Course, Part 1, with Online Media
ISBN: 9780300222654 / Angielski / Miękka / 2016 / 384 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. This text and its companion online media can be used to improve the conversational skills of second- to third-semester beginning Arabic students. It helps students as they begin to express themselves in the Arabic language, guiding them through language functions such as introductions, describing people and places, and discussing typical daily activities. This text and its companion online media can be used to improve the conversational skills of second- to third-semester beginning Arabic students. I... |
cena:
187,43 zł |
![]() |
Fritzo
ISBN: 9789390266548 / Angielski / Miękka / 2020 / 48 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
51,05 zł |
![]() |
I'm writing this while playing my game
ISBN: 9781679223242 / Angielski / Miękka / 2019 / 122 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
35,89 zł |
![]() |
Anni Moon & The Elemental Artifact
ISBN: 9780990706243 / Angielski / Miękka / 2016 / 284 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Fantasy, adventure, and mystery collide in this coming of age fantasy series. Readers agree. It's perfect for all kids who are looking to get lost in a magical world filled with charm and wonder, brought to you from the humorous and whimsical mind of Melanie Abed. Anni Moon doesn't know about Elementals, Funk, Zephyrs, excited talking Bat-Rat creatures, or least of all, Dragons, but when her best friend, Lexi, is kidnapped, the girls are torn apart, left to their own separate quests. Follow Anni and Lexi as they are thrown into a world of mystery where... Fantasy, adventure, and mystery collide in this coming of age fantasy series. Readers agree. It's perfect for all kids who are looking to get lost ... |
cena:
58,02 zł |
![]() |
Mathematical Models of Time Series
ISBN: 9783848431182 / Angielski / Miękka / 2012 / 296 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The Dissertation thesis is dedicated to elaboration of elements of mathematical software for dealing information systems realizing the procedure of forecasting models construction based on analysis of statistic properties of dynamic series. Mathematical forecasting model of stochastic dynamic series with the consideration of a forecast error, synthesized based on the research of methods of exponential smoothing and their modifications, autoregress integral moving average (ARIMA) and under conditions of disturbing factors has been received in the dissertation for the first time. For the first...
The Dissertation thesis is dedicated to elaboration of elements of mathematical software for dealing information systems realizing the procedure of fo...
|
cena:
396,33 zł |
![]() |
Orcs in Space Vol. 3
ISBN: 9781637150917 / Angielski / Miękka / 2023 / 104 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
74,61 zł |
![]() |
An Ontology-Based Framework For Information Integration In Education
ISBN: 9783659637087 / Angielski / Miękka / 2014 / 116 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. One prominent characteristic of today's society is the huge volume of information that is being shared by a growing number of users and applications. As the result, this information must undergo a process to obtain uniformity of the terms. Subsequently, information integration has gained importance in the provision of focused and structured information for more comprehensive purposes in the educational domain in recent time. Although the Ministry of Higher Education in Iraq has a Web portal that provides information pertaining to Postgraduate studies and research, the retrieval for...
One prominent characteristic of today's society is the huge volume of information that is being shared by a growing number of users and applications. ...
|
cena:
250,33 zł |
![]() |
A Closer Look At Children with ADHD
ISBN: 9783659563225 / Angielski / Miękka / 2014 / 100 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Attention Deficit Hyperactivity Disorder (ADHD) is a commonly diagnosed disorder in children, and is thus diagnosed during childhood years with prevalence rates of between 3% and 7%. In their own environment, children with ADHD experience many challenges in their everyday learning and self-worth perception, and thus they are in need of support throughout their lives and in several different aspects. ADHD symptoms have the potential to lead to considerable problems in children, in and with their family, and schooling. The core symptoms of ADHD have considerable negative effects on the child...
Attention Deficit Hyperactivity Disorder (ADHD) is a commonly diagnosed disorder in children, and is thus diagnosed during childhood years with preval...
|
cena:
200,16 zł |
![]() |
Das therapeutische Potenzial des Hämoxgenase-1 Proteins
ISBN: 9786202224932 / Niemiecki / Miękka / 2019 / 72 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
200,16 zł |
![]() |
Left hand writing practice: left handed notebooks for kids: ABC Letter Tracing for Preschoolers left handed handwriting practice for Preschoolers, Left Hand Student Pre-Writing Skills Workbook Practic
ISBN: 9798684516276 / Angielski / Miękka / 2020 / 106 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
43,50 zł |
![]() |
America in the Memory of an Arab
ISBN: 9781440110955 / Angielski / Miękka / 2008 / 696 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This book is the harvest of my observations and reflections about the great American society of which i am a proud member. Greatful to be adopted, after been abandonned by my own country-Egypt, still i raise, out of love, some grievences in the three major themes that dominate our lives. 1-preemptive war politics adopted by the Bush's administration 2my beloved Christianity that has become void of the spirit of its divine founder 3-the sacred relationships that have become one form or another of the commercial transactions(my failing marriage is a testimony to that statement). engolfed by...
This book is the harvest of my observations and reflections about the great American society of which i am a proud member. Greatful to be adopted, aft...
|
cena:
157,40 zł |
![]() |
TCP Fundamentals and Implementation using Network Simulator 2
ISBN: 9783639669749 / Angielski / Miękka / 2015 / 120 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This book presents the architecture, fundamentals and analyzed the functional structure of Transmission Control Protocol (TCP). Besides, the book had focused on the congestion control mechanism used by typical TCP variants. It had reviewed the factors and the parameters that affect the behavior and the TCP performance, and had illustrated the design of the congestion control of six TCP source variants in addition to some other TCPs. Furthermore, in this book, a new TCP agent was generated with an enhanced congestion control algorithm which carry the general architecture of TCP Reno but it is...
This book presents the architecture, fundamentals and analyzed the functional structure of Transmission Control Protocol (TCP). Besides, the book had ...
|
cena:
300,50 zł |
![]() |
In Search of Consciousness and the Theory of Everything: Towards the final answer to the mystery of existence
ISBN: 9780995174900 / Angielski / Twarda / 2017 / 476 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
497,70 zł |
![]() |
The Palestinian Economy (Rle Economy of Middle East): Studies in Development Under Prolonged Occupation
ISBN: 9781138820272 / Angielski / Miękka / 2018 / 368 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This volume brings together the results of the symposium on Economic Development under Prolonged Occupation held at Oxford University in January 1986. The basic aim of the symposium was to stimulate research and discussion on issues of economic development by a prolonged occupation. It brought together a number of development economists, representatives from development assistance organisations and other individuals engaged in one facet or another of social and economic development in the occupied areas. The papers presented here reflect the wide range of thought on the issues surrounding... This volume brings together the results of the symposium on Economic Development under Prolonged Occupation held at Oxford University in January 19... |
cena:
127,13 zł |