wyszukanych pozycji: 44
The Secd Microprocessor: A Verification Case Study
ISBN: 9780792392453 / Angielski / Twarda / 1992 / 176 str. Termin realizacji zamówienia: ok. 20 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:
391,77 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:
787,03 zł |
The Secd Microprocessor: A Verification Case Study
ISBN: 9781461365891 / Angielski / Miękka / 2012 / 176 str. Termin realizacji zamówienia: ok. 20 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:
391,77 zł |
Think, Believe, Receive: Three Steps to an Amazing Life
ISBN: 9781452533643 / Angielski / Twarda / 2011 / 132 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
123,11 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:
262,29 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:
288,53 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. 18-20 dni roboczych. |
|
cena:
66,22 zł |
Think, Believe, Receive: Three Steps to an Amazing Life
ISBN: 9781452533629 / Angielski / Miękka / 2011 / 132 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
50,82 zł |
Bear and Butterfly: THE Relationship Book
ISBN: 9781542614870 / Angielski / Miękka / 2017 / 230 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
66,75 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. 13-18 dni roboczych. |
|
cena:
68,37 zł |
It's All About Me: The Involved Observer
ISBN: 9781508518600 / Angielski / Miękka / 2015 / 116 str. Termin realizacji zamówienia: ok. 13-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:
53,36 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. 13-18 dni roboczych. |
|
cena:
71,22 zł |
The Ladybug Buddies: Incredible Scuba Diving Adventure
ISBN: 9781944798239 / Angielski / Twarda / 2019 / 74 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
95,20 zł |
A Casebook Edition of the Diabolic Tragedy: Critical Essays and Translation
ISBN: 9789004720619 / Angielski / 27-02-2025 Książka dostępna od: 27-02-2025 |
|
Planowany termin premiery książki: 27-02-2025
Książkę można już zamówić z rabatem 5% |
|
287,04 zł |
The Kingdom Unveiled
ISBN: 9798528812229 / Angielski / Miękka / 226 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
68,49 zł |
Speech Acts in Blake's Milton
ISBN: 9781032379197 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
|
cena:
104,88 zł |
Speech Acts in Blake's Milton
ISBN: 9781032379180 / Angielski / Twarda / 2022 / 136 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
|
cena:
241,30 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. 13-18 dni roboczych. |
|
cena:
68,37 zł |
Introduction to Building Procurement
ISBN: 9780415482158 / Angielski / Twarda / 2011 / 272 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The procurement stage of the building process is critical to the success of any building project, and as such must be understood by everybody entering the industry. Introduction to Building Procurement is designed to familiarise the novice with the principles and methods of building procurement, starting at the most basic level. With chapter summaries and tutorial questions provided throughout the book, the reader will get to grips with the following topics: The structure of the construction industry The nature of clients The historical development of building procurement methods The roles...
The procurement stage of the building process is critical to the success of any building project, and as such must be understood by everybody entering...
|
|
cena:
918,20 zł |
The Ladybug Buddies Incredible Motorcycle Adventure
ISBN: 9781944798000 / Angielski / Twarda / 2016 / 70 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Get ready for The LADYBUG BUDDIES as they head out on their Incredible Motorcycle Adventure No ladybug has ever gone so far into the "Big Woody Forest" before, and survived to tell about it. But they are trying to find out what it really means to be a buddy. It's a lot harder than they thought it would be Soon they get into the kind of trouble they can't get out of by themselves. Or, can they? Get ready for The LADYBUG BUDDIES as they head out on their Incredible Motorcycle Adventure No ladybug has ever gone so far into the "Big... |
|
cena:
95,20 zł |