Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
Type of Material
Consortium
  • 1
    Book
    Book
    Boston [u.a.] : Kluwer Academic Publishers
    UID:
    (DE-627)347916406
    Format: XVIII, 150 S , graph. Darst , 25 cm
    ISBN: 1402071035
    Note: Teilw. zugl.: Stanford, Univ., Diss., 1999 u.d.T.: Applications of symbolic simulation to the formal verification of microprocessors , Includes bibliographical references (S. [135]-142) and index
    Language: English
    Subjects: Computer Science
    RVK:
    RVK:
    Keywords: Logiksimulation ; Formale Methode ; Hardwareverifikation ; Hardwareverifikation ; Formale Methode ; Logiksimulation ; Hochschulschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    Boston, MA : Springer US | Cham : Springer International Publishing AG
    UID:
    (DE-603)42628187X
    Format: 1 Online-Ressource (XVIII, 151 Seiten)
    ISBN: 9781461511014 , 1461511011 , 1461353955
    Additional Edition: Erscheint auch als Druck-Ausgabe Jones, Robert B Symbolic Simulation Methods for Industrial Formal Verification Boston, MA : Springer US, 2002 9781461353959
    Additional Edition: 9781461353959
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Book
    Book
    Amherst : Univ. of Massachussets Press
    UID:
    (DE-605)HT006406083
    Format: XV, 191 S.
    ISBN: 0870238604
    Language: English
    Keywords: Toomer, Jean 1894-1967 ; Philosophie
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Online Resource
    Online Resource
    Boston, MA : Springer US
    UID:
    (DE-604)BV045148892
    Format: 1 Online-Ressource (XVIII, 151 p)
    ISBN: 9781461511014
    Content: Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, approaches to the verification problem. Both are based on symbolic simulation. The first approach is applied at the gate level and has been successful in verifying sub-circuits of industrial microprocessors with tens and even hundreds of thousands of gates. The second approach is applied at a high-level of abstraction and is used for high-level descriptions of designs. The book contains three main topics: Self consistency, a technique for deriving a formal specification of design behavior from the design itself; The use of the parametric representation to encode predicates as functional vectors for symbolic simulation, an important step in addressing the state-explosion problem; Incremental flushing, a method used to verify high-level descriptions of out-of-order execution. Symbolic Simulation Methods for Industrial Formal Verification concludes with work on verification of simplified models of out-of-order processors
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9781461353959
    Language: English
    Keywords: Hardwareverifikation ; Formale Methode ; Logiksimulation
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    (DE-602)gbv_1851676570
    Format: ix, 387 pages , illustrations , 24 cm
    Edition: First Simon & Schuster hardcover edition
    ISBN: 9781668009512 , 9781668009529
    Content: "The story of three locations in the United States -- in Mississippi, Minnesota, and Oklahoma -- where the indigenous people were driven out by European colonists, where vicious racial killings took place in the last century, and how these places are coming to terms with the past, creating new organizations dedicated to racial repair and reconciliation as they aspire to a more inclusive, more promising future"--
    Note: Includes bibliographical references and index , Before Mississippi -- The murder of Emmett Till -- Commemoration and repair in Mississippi -- Before Minnesota -- The lynchings in Duluth -- Commemoration and repair in Minnesota -- Before Oklahoma -- The Tulsa Race Massacre -- Commemoration and repair in Oklahoma -- The search for hope in history -- Discovery and democracy in America.
    Additional Edition: ISBN 9781668009536
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    (DE-627)185988105X
    Format: 1 online resource (349 pages)
    Edition: 1st ed.
    ISBN: 9781668009536
    Note: Description based on publisher supplied metadata and other sources
    Additional Edition: 9781668009512
    Additional Edition: Erscheint auch als Druck-Ausgabe 9781668009512
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Book
    Book
    New York ; London ; Toronto ; Sydney ; New Delhi : Simon & Schuster
    UID:
    (DE-605)HT020989361
    Format: 306 Seiten , Illustrationen
    ISBN: 9781982122867
    Content: "WHITE TOO LONG draws on history, statistics, and memoir to urge that white Christians reckon with the racism of the past and the amnesia of the present to restore a Christian identity free of the taint of white supremacy"--
    Note: Includes bibliographical references and index
    Additional Edition: Erscheint auch als Online-Ausgabe 9781982122881
    Language: English
    Keywords: USA ; Weiße ; Vorherrschaft ; Christentum ; Rassendiskriminierung ; Geschichte
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Book
    Book
    New York : Simon & Schuster
    UID:
    (DE-602)gbv_847725499
    Format: vii, 309 Seiten , Illustrationen, Diagramme , 24 cm
    Edition: First Simon & Schuster hardcover edition
    ISBN: 9781501122293 , 1501122290
    Content: Obituary: White Christian America, prominent cultural force in the nation's history, is dead -- Who is White Christian America? -- Vital signs: a divided and dying White Christian America -- Politics: the end of the White Christian strategy -- Family: gay marriage and White Christian America -- Desegregating White Christian America -- A eulogy for White Christian America
    Note: Includes bibliographical references and index
    Additional Edition: ISBN 9781501122330
    Language: English
    Keywords: USA ; Weiße ; Christentum ; Dominanz ; Politischer Wandel ; Politische Kultur
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    (DE-603)469147342
    Format: 306 Seiten , Illustrationen, Diagramme , 24 cm
    Edition: First Simon & Schuster hardcover edition
    ISBN: 9781982122867 , 1982122862
    Content: Drawing on history, public opinion surveys, and personal experience, Robert P. Jones delivers a provocative examination of the unholy relationship between American Christianity and white supremacy, and issues an urgent call for white Christians to reckon with this legacy for the sake of themselves and the nation. As the nation grapples with demographic changes and the legacy of racism in America, Christianity’s role as a cornerstone of white supremacy has been largely overlooked. But white Christians—from evangelicals in the South to mainline Protestants in the Midwest and Catholics in the Northeast—have not just been complacent or complicit; rather, as the dominant cultural power, they have constructed and sustained a project of protecting white supremacy and opposing black equality that has framed the entire American story. With his family’s 1815 Bible in one hand and contemporary public opinion surveys by Public Religion Research Institute (PRRI) in the other, Robert P. Jones delivers a groundbreaking analysis of the repressed history of the symbiotic relationship between Christianity and white supremacy. White Too Long demonstrates how deeply racist attitudes have become embedded in the DNA of white Christian identity over time and calls for an honest reckoning with a complicated, painful, and even shameful past. Jones challenges white Christians to acknowledge that public apologies are not enough—accepting responsibility for the past requires work toward repair in the present. White Too Long is not an appeal to altruism. Drawing on lessons gleaned from case studies of communities beginning to face these challenges, Jones argues that contemporary white Christians must confront these unsettling truths because this is the only way to salvage the integrity of their faith and their own identities. More broadly, it is no exaggeration to say that not just the future of white Christianity but the outcome of the American experiment is at stake
    Content: As the nation grapples with demographic changes and the legacy of racism in America, Christianity's role as a cornerstone of white supremacy has been largely overlooked. White Christians-- from evangelicals in the South to mainline Protestants in the Midwest and Catholics in the Northeast-- have not just been complacent or complicit; rather, as the dominant cultural power, they have constructed and sustained a project of protecting white supremacy and opposing black equality that has framed the entire American story. Jones shows how deeply racist attitudes have become embedded in the DNA of white Christian identity over time and calls for an honest reckoning with a complicated, painful, and even shameful past. -- adapted from jacket
    Note: Literaturverzeichnis: Seite 279 - 292 , Seeing: our current moment -- Remembering: Christianity as the conducter of white supremacy -- Believing: the theology of white supremacy -- Marking: monuments to white supremacy -- Mapping: the white supremacy gene in American Christianity -- Telling: stories of change -- Reckoning: toward responsibility and repair
    Additional Edition: 9781982122881
    Language: English
    Subjects: Sociology
    RVK:
    RVK:
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    (DE-604)BV009260209
    Format: 92 S.
    ISBN: 0950890324
    Language: English
    Keywords: Wales ; Hochschule ; Geschichte
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages