Automated Verification Of Concurrent Search Structures

de Siddharth Krishna, Thomas Wies, Dennis Shasha e Nisarg Patel 

Bertrand.pt - Automated Verification Of Concurrent Search Structures
idioma: Inglês
Editor: Springer International Publishing AG
Edição: junho de 2021
Portes
Grátis
10%
67,58€
Poupe 6,76€ (10%) Cartão Leitor Bertrand

Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access to search structures on multicore and distributed servers.

Coleções

Automated Verification Of Concurrent Search Structures
de Siddharth Krishna, Thomas Wies, Dennis Shasha e Nisarg Patel 
ISBN:
9783031006784
Ano de edição:
06-2021
Editor:
Springer International Publishing AG
Idioma:
Inglês
Dimensões:
191 x 235 x 20 mm
Encadernação:
Capa mole
Páginas:
182
Tipo de Produto:
Livro
EAN:
9783031006784
10% cartão
portes grátis
10% cartão
portes grátis
10% cartão
10% cartão
portes grátis
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.