Automated Verification Of Concurrent Search Structures eBook
idioma: inglês
Editor:
Springer Nature Switzerland, maio de 2022 ‧
ver detalhes do produto
66,24€
10% DESCONTO
CARTÃO
VTBOVVJFUndaalZaTTIxMWMydFhaMFpPTjFsUVNtWnpUMWh5TUZsT1ZYZzFZbkJ1UXpsR2JUTlZlRGRGT1M5Rk1VcDNha2RtVTFKMU16VlFSM2RqUm5scFZWSjJUbUptUm1SWE1TODJTM2d5VTB0RFYzQm9ja2xSTUUwNGRsUkRRVzVOUVdKSmRuWnZWMmwxVkdGblFuQkdkamN6UVRaTFZXa3hSMU5WZVZaWll6TlhORXhRY1hNMldpdE9ZMmRoWkhGNVJDdENaR1pQVG1JNFFrbzNUVGxoUjFsNFQweGtWR0pSTWxoMFR6WjVZVkY2TjA0d2RGZFpiMmN2YlN0UVRHY3lZU3R5WWxkSmJESkxkQzlDT1VZdlJ6TndNMHRXTlVSNlJWY3JXbkZaU1hKUU1FWklkVk00Y1c1MVEwNHJRelEyVnpGek1VNUJSVVp2Vld3dlYxRjJWRzlLVEROMFFUUnpNalpoUkhsVk4wMU9aVmh1ZDAxeVpqZEVTVXgwUkRKWU0yRnVVbTVPYkZBM2RqaFBRMjl0VWxoRlRGRnhjems1VGtkamEzQnRiRlpJWkZCMVFuUjBPSHBtWmpkb2FqRlpZbEJWTmtoT2MyOXNOblpVY1RWUWQweHpiRkpFWlZWcFNEbHdiMmhpZEdOaGJrdEJXbU0zZDJOc2RtSnJNRUl3TDAwM1dHbFdObkpQVlcwMU5IQm9SblpQYUhoR1RHNVdZa2ROZUVaSE5HMVFSME5rYmpaT05FVllMellyTlRWemFqTkxVRzRyT0dGMkwzbDZZMFkzZEd4dmRrRjJVMmhpYW1KTFRFRlRSa0ZvYTNsaVFXMDNibXRTYmtNMFRHNUtUWGhJU0RCaWQzTldVMDFZVUVaMmRtTkpibUp6YVVKUE9UWndiSFZqVWpGTFdqTk9hMUZYYlRGV2FUQjZOblJzZFd4YU16TktTRTlQYm10bmIzbzVOMGR4ZWxkSGJDdG5SbHBsWjNOWVoxazFOVmxIV25FemRteFVSMU5tYjNKR1VqQm1aUzlFY2xKSlVqaFZaVVJzUkdjNFVWVXZjbkJST0ZvMVJWcFZSbUpGTUU5QlNXRllPV2xMYzJ0R1FXMXplbWw2VDNCNmVqWm5hblJyZVRGd1FrRTFOVVpDUTJwcE1Hc3dPR3RvUzBsb1IwWnNRbFY2YVRBeGRIZEJVMjAxSzJNd1oxUlhjVEpJTWt0alEwc3JkRmcxYTNoQ2MwSnJhRFJDV0ZoT01tUk9LemxTUzA5VEx6VjZXVGgxYUZwWGIzTm1VbGRpV1U4ek4yOVlORWRpU1VVNVRWWmFZbmc0UFE9PTorLytCOUphUmkyR3Q3U2NLQ3ZjeStnPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783031018060 |
| Editor: | Springer Nature Switzerland |
| Data de Lançamento: | maio de 2022 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Synthesis Lectures On Computer Science |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
eBooks em Inglês > Informática > Outras Aplicações |
| EAN: | 9783031018060 |
LIVROS DA MESMA COLEÇÃO
-
On Raising A Digital Human10%Springer International Publishing AG42,57€
47,30€portes grátis -
Advances In Human Activity Detection And Recognition (Hadr) Systems10%Springer International Publishing AG42,57€
47,30€portes grátis