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
WTFkUFJHWkxOMDVKVTNoSmRraGpRV0pMUW5BNUt6SlZOM0Z6ZWsxNmJsTXpkMUI0YWpNNFoyMTZkWEpWYkhkS09WWk1ablprU2tkTmMxRk5lalY0U25Fdk1XWjVWVGR4UkROVFowRjVNbk5CVUhreVRWSm9SR1JxYUZVek15OTBWR2w2VkZoVlJ6TjZTR1o2VlU5RlRIRmtiMkZWVjNGWk4xSnhNWEJoSzFCU1MyODBPR3RZYTFKNVUwZ3djV2xyVlVKdlpuSnJlRTU1T1VoNlVHbENaR3BPYTB0QldHUkhSMUJIY0VGQlRFbEhSR0p3TUdFdldHUTRLMXB3VURsMlMwRTFTbWQ0ZWxwbk0wRlJSa1JtY0RsUE1sWTNZbWxIVTJWMFMwWm1PVFoyTTJzd1pGVlllVGhvWlVnMWJHSnlXWGhFYkRJemMzVldkV2hwVTB4NVNYaHJjWGxTV0U4NGFucERMekp0TnpWSk1DdHZjRk5oU1N0R1pHMU9VMWxFWlZCNGRGZDRiM2RCVFZwUVlrbExVV1pIVDFBNGNTdDBjV1U1YTNweFZ6VnNiek42YW5sa1NsUXJlVmR3ZWtaSFZYZFRaMFpDVjIxRWFUZEpRMnRLTVZVemNWSTJjbmtyT1daNE1WUkRTVXMzTm14bFZHUkplVEZOWkdsTU5VdDJTVUpSVm5VNGR6UXdRa3g0YVhkMWJFUlVNWGhKZFRSek9FTk9lbUprVnpsT2VtaFJRMVJFZDFnMFltRm5aVVU0U0dkbWNFcGxWblIxZDNZNWMxQnZXVEpZVWtZMU5tY3pNbFI1TVZRMlFubHJXWHBwYkZkYWRWTldXbUpYVFdkWmRuWjNXbXN6VUhnNFZteGxSMnR1V1haM2QyOW9lRkZtU0ZveFJXUjVMM0YwVldOMk5GZGljazFPZUd4d2R6YzFRa3hWVm5NeWJFVlNjVTl2Wlc5VmJHOVZUMnB3WTIxeFFUZ3dVSEJ1VVcweGNXb3pkbkJ2T1hSUWJYVkJVRzgxZUdsTFpuQmFURkJyVkZkYVJHNU9SRXM0VHpCbU5qSkxlSGx1TmtSdFVFMVRja1ZCU1ZWU1RFaENVakp5ZWxwM1kwbEJkRXR6YTA1RFFteHdjbVJUY0dWeWEwRlVVVkZ0YzBWYWJFeEZVakl2VlhOQlFtcG1Ra28wTUZKa1ZHazBNWGcwYTB4Q01HZFVXWEZwTm1Kc1MwNWhhV3hLTkRSS2MzSnZiSEZKZFV3eGNGWjJRVE5RU25SWVVUUjJSa1J1TVcxYVRHeEdVbUprTVRKSlZFUlJTVUkyTTNrM1kxQnFibkZ4Y1dwSGMwZFJXVEZxVkVwQmFtWXZSSFUwY1RWcVNVdDJhREJCVm1sek5EaFNWSGN4VkZrelZqWnBhRE41TTBkYVdWSkxkWEIyYkV4M2VUWTFXVmhLUmxoUVJWb3lLMEZWV1RsaUwzVkNNVE12TWtZMFlnPT06bXlUSldsNWE2N3FnT1ovU1VSVmVydz09
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
-
imagem não disponívelAn Introduction To Programming LanguagesAn Introduction To Programming LanguagesPré-lançamento10%Springer Nature Switzerland AG42,57€
47,30€portes grátis -
imagem não disponívelBuilding Ethical And Secure AiBuilding Ethical And Secure AiPré-lançamento10%Springer Nature Switzerland AG42,57€
47,30€portes grátis