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ł |
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ł |
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ł |
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ł |
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ł |
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ł |
In Search of Consciousness and the Theory of Everything: Towards the Final Answers to the Mystery of Existence
ISBN: 9781773022468 / Angielski / Miękka / 2017 / 476 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Abed Peerally’s books will not only review historically how humans have been searching for their ultimate cosmological explanation of existence since millennia, but will actually clearly explain to the whole of humanity, not just scientists, how the Supernatural Mind or God went about to produce all our realities. To date, in spite of the enormous contributions by several generations of top physicists and philosophers toward elucidating how the universe originated scientifically, Abed’s first book “In Search of Consciousness and the Theory of Everything”,... Abed Peerally’s books will not only review historically how humans have been searching for their ultimate cosmological explanation of existen... |
|
cena:
167,18 zł |
Zinc Oxide nanoparticles
ISBN: 9786200487520 / Angielski / Miękka / 2020 / 144 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
310,53 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ł |
Computer-Mediated Environment and Learner Support
ISBN: 9781934844083 / Angielski / Miękka / 2008 / 212 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This study examines the effective use of computer-mediated environments (CME) for online learning, networking, and teach-ing in the context of Open University course H804, The Imple-mentation of Open and Distance Learning . He contends that an effective approach requires a learner-centred focus, taking into account the practitioners views of learner support in open and distance learning. He concentrates on a particular 6-week period when the students were discussing learner support in open and distance education, partly because of the importance of learner support in a computer-mediated...
This study examines the effective use of computer-mediated environments (CME) for online learning, networking, and teach-ing in the context of Open Un...
|
|
cena:
174,69 zł |
Transmission Control Protocol over 4G LTE-Advanced Networks
ISBN: 9783659679766 / Angielski / Miękka / 2015 / 112 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Transmission Control Protocol (TCP) is the dominant protocol in modern communication networks, within which the issues of reliability, data flow and congestion control must be handled efficiently. TCP provides a communication service at an intermediate level between an application program and the Internet Protocol (IP). With the evolution of Third Generation (3G) toward 4G wireless network, such as Long Term Evolution-Advanced (LTE-Advanced) standard, the use of TCP becoming more important for reliable end-to-end data delivery. As TCP was initially designed for wired networks, the...
Transmission Control Protocol (TCP) is the dominant protocol in modern communication networks, within which the issues of reliability, data flow and c...
|
|
cena:
275,42 zł |
Estudo sobre Terrorismo e Interpreta??o Judicial de Disposi??o Substantiva
ISBN: 9786205736098 / Portugalski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
306,58 zł |
Advances in Control, Communication Networks, and Transportation Systems: In Honor of Pravin Varaiya
ISBN: 9780817643850 / Angielski / Twarda / 2005 / 358 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume was prepared in conjunction with a Symposium held in Berkeley June 5 7, 2005, as a tribute to Professor Pravin Varaiya. The contributions represent most of the lectures given at the meeting. The Symposium brought together former students, collaborators and friends from throughout the world to celebrate Pravin s career as he approached the memorable occasion of his 65th birthday. The authors, speakers, organizers, supporters and attendees of the Symposium are very pleased to dedicate this work to Pravin, to congratulate him on his many seminal contributions, and to thank him for...
This volume was prepared in conjunction with a Symposium held in Berkeley June 5 7, 2005, as a tribute to Professor Pravin Varaiya. The contributions ...
|
|
cena:
383,73 zł |