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ł |
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ł |
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ł |
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ł |
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ł |
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ł |
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ł |
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ł |
Evolutionary Psychiatry: Current Perspectives on Evolution and Mental Health
ISBN: 9781316516560 / Angielski / Twarda / 2022 Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
320,76 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ł |
Tunisian Mosaics: Treasures from Roman Africa
ISBN: 9780892368570 / Angielski / Miękka / 2006 / 138 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. As the Roman Empire expanded its African settlements in the early centuries of the common era, thousands of mosaic floor pavements were fashioned to adorn the townhouses and rural estates of the African upper classes. Between the second and sixth centuries, mosaic art blossomed, particularly
in Africa Proconsularis, the region comprising modern Tunisia. In contrast to the official art of imperial Rome, mosaics generally expressed the worldviews of private citizens. These artworks are remarkable for the intricate beauty of their polychromatic geometric and floral designs, as well as... As the Roman Empire expanded its African settlements in the early centuries of the common era, thousands of mosaic floor pavements were fashioned to a...
|
|
cena:
160,65 zł |
In Search of Consciousness and the Theory of Everything: Towards the Final Answers to the Mystery of Existence
ISBN: 9780995174955 / Angielski / Miękka / 2017 / 476 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
92,90 zł |
Employment of Transmission Control Protocol over Simulation Platform
ISBN: 9786138942795 / Angielski / Miękka / 2020 / 120 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
300,50 zł |
Studio sul terrorismo e sull\'interpretazione giudiziaria di una disposizione sostanziale
ISBN: 9786205736159 / Włoski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
306,58 zł |