Automated Verification of Concurrent Search Structures

Main
Computers - Databases
Automated Verification of Concurrent...

Automated Verification of Concurrent Search Structures

Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies

0 / 0

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

კატეგორია:

Computers - Databases

წელი:

2021

გამომცემლობა:

Morgan & Claypool

ენა:

english

ISBN 10:

1636391303

ISBN 13:

9781636391304

სერია:

Synthesis Lectures on Computer Science 13

ფაილი:

PDF, 8.87 MB

IPFS:

,

english, 2021

ონლაინ წაკითხვა

ჩატვირთვა (pdf, 8.87 MB)

ხორციელდება კონვერტაციის -ში

კონვერტაციის -ში ვერ მოხერხდა

შესაძლოა დაგაინტერესოთ

Linda Lee, Erik Gundersen — Select Readings Intermediate: Student Book: Intermediate level

Rod Edmond (editor), Vanessa Smith (editor) — Islands in History and Representation

Kim Kelly; (Law teacher) Jay Sanderson — A practical guide to legal research

Florike Egmond, Robert Zwijnenberg — Bodily Extremities: Preoccupations with the Human Body in Early Modern European Culture

Arsalan Iftikhar — Fear of a Muslim Planet: Global Islamophobia in the New World Order

Wayne Amsbury — Data Structures: From Arrays to Priority Queues (Wadsworth series in computer information systems)

Frank M. Carrano and Timothy M. Henry — Data Abstraction & Problem Solving with C++

Alex Petrov — Database Internals

Carrano, Frank M., Henry, Timothy M. — Data Abstraction & Problem Solving with C++: Walls and Mirrors (6th Edition)

Carrano, Frank, Henry, Timothy — Data Abstraction & Problem Solving with C++: Walls and Mirrors (6th Edition)

Robert Sedgewick — Algorithms in C

K. Rustan M. Leino — Program Proofs

Kenneth A. Lambert — Fundamentals Of Python: Data Structures

Kenneth Lambert — Fundamentals of Python: Data Structures

Alex Petrov — Database Internals: A deep-dive into how distributed data systems work

Khot, Atul S.;Mishra, Raju Kumar — Learning functional data structures and algorithms learn functional data structures and algorithms for your applications and bring their benefits to your work now

Atul S. Khot, Raju Kumar Mishra — Learning Functional Data Structures and Algorithms: Learn functional data structures and algorithms for your applications and bring their benefits to your work now

Michael Butler, Sylvain Conchon, Fatiha Zaïdi (eds.) — Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.) — Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

Rodney R. Howell — Algorithms: A Top-Down Approach

საკვანძო ფრაზები