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
20%
50,01€
Poupe 10,00€ (20%) 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.

Da mesma coleção

On Raising A Digital Human
20%
portes grátis
20% Cartão Leitor Bertrand
47,30€
Poupe 9,46€
Springer International Publishing AG
Advances In Human Activity Detection And Recognition (Hadr) Systems
20%
portes grátis
20% Cartão Leitor Bertrand
47,30€
Poupe 9,46€
Springer International Publishing AG
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
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.