adicionar à lista de desejos
Automated Verification Of Concurrent Search Structures
idioma: inglês
Editor:
Springer International Publishing AG, junho de 2021 ‧
ver detalhes do produto
50,01€
10% DESCONTO
CARTÃO
Ym1kVFVGRk1PVVJIWldWWFVITnROekpEU0ZaV01FZDBUVU0wZDBzelZURlVOalpHZW5sMlowNWhOa1JUUXpWT1NqQkNNMVZQTWxSRGRsUklOVVp3VlZsbWNtZzVjWGx3VFZabFEyZG1kWEpWSzJoM1pVaFVPVWRPV1c1Rk1tTklNR1J5Y1RRemRsSTNiamRGVlU5a2J6aFpaek5VY1Zwd2JISnpSVE5uVmk5M00zWkZkV2RYWVhwMVNVdEpUMVlyWVM4eVNqZEhLM00xTTNCV1pETlFPSHAyYTBGU05sWnROVFpuWXk5aFYyVlpiRzVOVmxwTmVYWkNUM2RMT1UxbFpuRm1jVXBEVkhoSlNGTktTRFE1ZVUxTFNTOUlOekJITm5kYWRteE9XV2xuVG05Q2FVb3ZkemhpZDNaUFUyNUpVRW8wVVRGaFZHVlFZMnd4Y1d4WVRWVkJaR2sxUlZVNGExWm1aMmRGYzJ0SlNWazROMnA0WjFsbVFtUlVkMFZ5Tmk5NE4wMWtURkpvU2tkcFNrUnZSVFppTkZZNGJVcFBSVU5vY0RkeVdGaE5aVUoxTVZsUlExQm9ha2cwVmtGR01HeDVOekF6UTI0M1RrMVZVa2xOVmt0MmFEWjNZMmxNZGs1U05rdGxhVUpQZEZwR1RuaHdXVk1yU0cxUFFUSlhVM0Z2TmxGbGJHMVJkRkZqVUd4V1dUSlJObnBQUmpOblJXYzNTMVJTT0U5b1FrNVdXV3hpYW1sR1MzRkRSbUpoY2tscGEyWnpVbHB3WldwamQzcHFWQzkyVFRkSVZGWmlRVk5UYkdzMlIyTm5Sak01UzJ4cmNsbDFOMVJ5UmxsUlJtVXdVbHB2ZUdGR01sZHZMeTlLVWxaMEszVnhNRTUyVGl0U2Vsb3pSWG8xVTFJNFRtNU5WWFpXU1dsNFVtaENNa3hwTDBWdE1uSm9VRzlaVG5scGF6RjNRbFJ5VDBSWlZrTXZaV2czYkZaRmNUQkdlbEJPU0hKeWJWQmxjVzlwUVhWMFV5OVVjMVpFZGpJMFNGZDNOMjVQVjNWaE1HMW9WWEJuYVRWMGJYSTRURFU1ZGxRMFRUTnlOMmhaV2sxWGRVeHlabnBUYUUxclEwVmxTaXRTWjBFNGJra3ZWVWRwWlhaQk5XaHhXV05MWlVsaWF6ZFlkRlZ2YmxSc1IwUldWR1pGU1RKalVIYzJhaTlqY2k5REsyZGtWR0pDV0RkRWJrNVBSMHd3YVhKNmRYaERSQ3RvVVU1TVEyZHNVRnB1ZFhaRWNTOUJUSFpXUlRKaEszWTBTMWhPZGtwUVJuRlBNMHcyWkhwMFEyUjFPSGh5UnpoNVRYUnhLekp0ZVRWaGJHZ3paVmhWTW0wdk5VcEJWSGRaV0hWWk1qVjFZVzlITTJoWFNqSnlPRFpaT1dGcmNESlVOVGw0TVdaNUszSjFPV015VlRSblNtOVhWR3N2WjJzNFZBPT06WkRyNHR5dytzNVFGSndiWmMwakZOQT09
portes grátis
Venda o seu livro
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: | 9783031006784 |
| Editor: | Springer International Publishing AG |
| Data de Lançamento: | junho de 2021 |
| Idioma: | Inglês |
| Dimensões: | 191 x 235 x 20 mm |
| Encadernação: | Capa mole |
| Páginas: | 182 |
| Tipo de produto: | Livro |
| Coleção: | Synthesis Lectures On Computer Science |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
Livros em Inglês > Outros |
| EAN: | 9783031006784 |
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