CİLTLER LİSTELER GÜNLÜK AKTİVİTE İNCELEMELER İSTATİSTİK ÜYELER

Yükleniyor

Kitaplarını kaydet, raflarını kur, inceleme yaz, herkese açık listeler yap ve zevkine güvendiğin okurları takip et.

Keşfet

Ciltleri gez
Listeler
Günlük
İstatistik

Topluluk

Okur aktivitesi
Herkese açık listeler
İncelemeler
Üyeler

Bülten

Haftalık kitap önerileri al.

© 2026 Cilt. Tüm hakları saklıdır.

Gizlilik Şartlar

Yükleniyor

Yazar

edmund m clarke

7 cilt bulundu.

Cilt sonuçları

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled · MIT Press

377 sayfa · 1999

Datenverarbeitungssystem / Computersystemen / Engenharia de software / Modellen / Verificação e validação de software

Logic for Programming Artificial Intelligence and Reasoning

Lecture Notes in Artificial Intelligence

Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial Intelligence

Edmund M. Clarke · Springer

Sayfa sayısı yok · 2011

Logic design / Software engineering / Computer science / Artificial intelligence / Logic programming

Handbook of Model Checking

Handbook of Model Checking

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem · Springer

1210 sayfa · 2017

Kategori yok

Prentice Hall Literature - Timeless Voices, Timeless Themes - The British Tradition

Prentice Hall Literature - Timeless Voices, Timeless Themes - The British Tradition

Kate Kinsella, Kevin Feldman, · Pearson Prentice Hall

Prentice Hall Literature--The British Tradition

Prentice Hall Literature--The British Tradition

Andrew W. Conrad, Joseph Addison, Matthew Arnold, W. H. Auden, Bede, James Berry, William Blake, · Prentice Hall

The Norton Anthology of English Literature -- Seventh Edition -- Volume 2B --The Victorian Age

The Norton Anthology of English Literature -- Seventh Edition -- Volume 2B --The Victorian Age

Carol T. Christ, Thomas Carlyle, John Henry Newman, John Stuart Mill, Elizabeth Barrett Browning, Alfred Lord Tennyson, Edward FitzGerald, Elizabeth Cleghorn Gaskell, Charles Dickens, Robert Browning, Emily Brontë, · W. W. Norton & Company

Models and modelmakingModel Checking, Second EditionOrna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke

Model Checking, Second Edition

Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke · MIT Press

424 sayfa · 2018

Sat (educational test) / Models and modelmaking

Colleen Shea-Stump Ph.D.,

Joyce Armstrong Carroll,

Edward E. Wilson,

Joseph Addison,

Anna Akhmatova,

Yehuda Amichai,

Matthew Arnold,

Joanna Baillie,

Charles Baudelaire,

Jorge Luis Borges,

Elizabeth Bowen,

Charlotte Brontë,

Emily Brontë,

Elizabeth Barrett Browning,

Robert Browning,

Geoffrey Chaucer,

Winston Churchill,

Arthur C. Clarke,

Samuel Taylor Coleridge,

Charles Dickens,

Queen of England,

Mohandas Karamchand Gandhi,

Nadine Gordimer,

Heinrich Heine,

Robert Herrick,

Gerard Manley Hopkins,

Thomas Jefferson,

Francis Jeffrey,

Samuel Johnson,

Rudyard Kipling,

D. H. Lawrence,

Richard Lovelace,

Thomas Babington Macaulay,

Louis MacNeice,

Christopher Marlowe,

Andrew Marvell,

Catherine McGuinness,

Sir Isaac Newton,

Wilfred Owen - undifferentiated,

Margaret Paston,

Francesco Petrarca,

Edgar Allan Poe,

Alexander Pope,

Walter Raleigh,

Arthur Rimbaud,

Siegfried Sassoon,

William Shakespeare,

Percy Bysshe Shelley,

Sir Philip Sidney,

Stephen Spender,

Edmund Spenser,

Jonathan Swift,

Alfred Lord Tennyson,

William Trevor,

Mary Wollstonecraft,

Virginia Woolf,

William Wordsworth,

William Butler Yeats

1305 sayfa · 2002

Readers (Secondary) / Study and teaching (Secondary) / English literature / British literature / short stories

Elizabeth Bowen,

Elizabeth Barrett Browning,

Robert Browning,

Geoffrey Chaucer,

Samuel Taylor Coleridge,

Charles Dickens,

Margaret Drabble,

Nadine Gordimer,

William Hazlitt,

George Herbert,

Robert Herrick,

Gerard Manley Hopkins,

Samuel Johnson,

Rudyard Kipling,

D. H. Lawrence,

Richard Lovelace,

Louis MacNeice,

Katherine Mansfield,

Christopher Marlowe,

Andrew Marvell,

George Meredith,

Wilfred Owen - undifferentiated,

Alexander Pope,

Walter Raleigh,

Christina Georgina Rosetti,

Dante Gabriel Rossetti,

Siegfried Sassoon,

William Shakespeare,

George Bernard Shaw,

Percy Bysshe Shelley,

Sir Philip Sidney,

Stephen Spender,

Edmund Spenser,

Sir Richard Steele,

Jonathan Swift,

Alfred Lord Tennyson,

William Trevor,

Virginia Woolf,

William Wordsworth,

William Butler Yeats

Sayfa sayısı yok · 2000

short stories / Readers (Secondary) / Drama / Flower vending / Linguistics teachers

Arthur Hugh Clough,

Matthew Arnold,

Thomas Henry Huxley,

George Meredith,

Dante Gabriel Rossetti,

Christina Georgina Rosetti,

William Morris,

Algernon Charles Swinburne,

Gerard Manley Hopkins,

William Ernest Henley,

George Bernard Shaw,

Francis Thompson,

Mary Elizabeth Coleridge,

Rudyard Kipling,

968 sayfa · 1999

Kategori yok