topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 48
 |
The Secd Microprocessor: A Verification Case Study
ISBN: 9780792392453 / Angielski / Twarda / 1992 / 176 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This is a milestone in machine-assisted microprocessor verification. Gordon 20] and Hunt 32] led the way with their verifications of sim ple designs, Cohn 12, 13] followed this with the verification of parts of the VIPER microprocessor. This work illustrates how much these, and other, pioneers achieved in developing tractable models, scalable tools, and a robust methodology. A condensed review of previous re search, emphasising the behavioural model underlying this style of verification is followed by a careful, and remarkably readable, ac count of the SECD architecture, its formalisation,...
This is a milestone in machine-assisted microprocessor verification. Gordon 20] and Hunt 32] led the way with their verifications of sim ple designs...
|
cena:
374,81 zł |
 |
In Search of Ireland : A Cultural Geography
ISBN: 9780415150071 / Angielski / Twarda / 1997 / 240 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This text asks whether there can be a multicultural Ireland. It examines how Catholics and Protestants, nationalists and loyalists, draw upon the past to validate their circumstances and future aspirations in Ireland - but do so within a complex geographical mosaic. Arguing that Ireland's political problems are created by conflicts and confusions of identity, the text discusses the nature of the political economy and the exercise of power within the context of contemporary cultural geography. Examining Ireland's historical complexities, literature, politics, religion, social dimensions and...
This text asks whether there can be a multicultural Ireland. It examines how Catholics and Protestants, nationalists and loyalists, draw upon the past...
|
cena:
755,61 zł |
 |
The Secd Microprocessor: A Verification Case Study
ISBN: 9781461365891 / Angielski / Miękka / 2012 / 176 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This is a milestone in machine-assisted microprocessor verification. Gordon 20] and Hunt 32] led the way with their verifications of sim- ple designs, Cohn 12, 13] followed this with the verification of parts of the VIPER microprocessor. This work illustrates how much these, and other, pioneers achieved in developing tractable models, scalable tools, and a robust methodology. A condensed review of previous re- search, emphasising the behavioural model underlying this style of verification is followed by a careful, and remarkably readable, ac- count of the SECD architecture, its...
This is a milestone in machine-assisted microprocessor verification. Gordon 20] and Hunt 32] led the way with their verifications of sim- ple design...
|
cena:
374,81 zł |
 |
Think, Believe, Receive: Three Steps to an Amazing Life
ISBN: 9781452533643 / Angielski / Twarda / 2011 / 132 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
121,59 zł |
 |
A Geography of Heritage: Power, Culture and Economy
ISBN: 9780340677780 / Angielski / Miękka / 2000 / 288 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The concept of heritage relates to the ways in which contemporary society uses the past as a social, political or economic resource. However, heritage is open to interpretation and its value may be perceived from differing perspectives - often reflecting divisions in society. Moreover, the schism between the cultural and economic uses of heritage also gives rise to potential conflicts of interest.
Examining these issues in depth, this book is the first sustained attempt to integrate the study of heritage into contemporary human geography. It is structured around three... The concept of heritage relates to the ways in which contemporary society uses the past as a social, political or economic resource. However, heritage...
|
cena:
251,82 zł |
 |
In Search of Ireland: A Cultural Geography
ISBN: 9780415150088 / Angielski / Miękka / 1997 / 254 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This text asks whether there can be a multicultural Ireland. It examines how Catholics and Protestants, nationalists and loyalists, draw upon the past to validate their circumstances and future aspirations in Ireland - but do so within a complex geographical mosaic. Arguing that Ireland's political problems are created by conflicts and confusions of identity, the text discusses the nature of the political economy and the exercise of power within the context of contemporary cultural geography. Examining Ireland's historical complexities, literature, politics, religion, social dimensions and...
This text asks whether there can be a multicultural Ireland. It examines how Catholics and Protestants, nationalists and loyalists, draw upon the past...
|
cena:
277,00 zł |
 |
On a Common Culture: The Idea of a Shared National Culture
ISBN: 9781789048322 / Angielski / Miękka / 2022 / 192 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
63,58 zł |
 |
Think, Believe, Receive: Three Steps to an Amazing Life
ISBN: 9781452533629 / Angielski / Miękka / 2011 / 132 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
50,19 zł |
 |
Bear and Butterfly: THE Relationship Book
ISBN: 9781542614870 / Angielski / Miękka / 2017 / 230 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
65,93 zł |
 |
Sarah: The life and times of Sarah, the wife of Abraham: Mother of the people of Faith
ISBN: 9798856993270 / Angielski / Miękka / 2023 / 140 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
50,63 zł |
| |
Reasons to Believe: Fresh devotional insights from the Gospel of John
ISBN: 9798528156743 / Angielski / Miękka / 2021 / 220 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
67,52 zł |
| |
The Queen of Days: The Relevance of the Holy Sabbath: a day like no otrher.
ISBN: 9798325325700 / Angielski / Miękka / 2024 / 116 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
40,09 zł |
 |
It's All About Me: The Involved Observer
ISBN: 9781508518600 / Angielski / Miękka / 2015 / 116 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Are you tired of being tired? Is each day a struggle to simply make it through the day? When you get home is it all you can do to drag yourself to bed, knowing tomorrow will be the same thing all over again? You no longer have to feel this way, because within the covers of this book is a blueprint for changing how you face the everyday challenges of life. Rather than assuming you have to feel mugged by the morning commute, you will discover how you can change your thinking about that commute. Rather than dreading a meeting, you will discover how you can change your experience. You no longer...
Are you tired of being tired? Is each day a struggle to simply make it through the day? When you get home is it all you can do to drag yourself to bed...
|
cena:
52,70 zł |
 |
The Lady Ashtar Story: An Amazing Journey for an Amazing Woman
ISBN: 9781546651987 / Angielski / Miękka / 2017 / 310 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
70,34 zł |
 |
The Ladybug Buddies: Incredible Scuba Diving Adventure
ISBN: 9781944798239 / Angielski / Twarda / 2019 / 74 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
94,04 zł |
| |
A Casebook Edition of the Diabolic Tragedy: Critical Essays and Translation
ISBN: 9789004720619 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
289,08 zł |
| |
The Kingdom Unveiled
ISBN: 9798528812229 / Angielski / Miękka / 226 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
67,65 zł |
 |
Speech Acts in Blake's Milton
ISBN: 9781032379197 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
100,70 zł |
 |
Speech Acts in Blake's Milton
ISBN: 9781032379180 / Angielski / Twarda / 2022 / 136 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
231,67 zł |
| |
The Grace Space: Where human depravity and God's holiness meets and we are not destroyed
ISBN: 9798795812380 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
67,52 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
