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
YlVsRVpYUm1SbXg2Y0RWRldrTnlkMUppTVM4clRWQXdiVmt4VTBWc05UTm9LMlIyYTNkTk5YaGFUVXhZYWpKVlYwdENVV3B0YjJGVlZqZDRTMHR0TlhkeVJXbFhka2xQVGtsUFdrdEthR0pNTVU5aU5WaDRRbE5TT0ROd2JsTXZSSFJQT0hZelIweFlTVlZDV210allrODNNalY2VUU5d1JGaHBWRkpQYTNwVlZHODRhRWRVZWpCVGJIcGlZbkpWSzNKSVdWRlRRakZqV2twdFpsSlhURXRXVHpBdlZYQm9TVmd2TTNodldIZExiVlJqV2tKTGJrTjZSUzlZVG1GNldEQm5WbVkyWVVKT1NFdEhkV2h4UzFacGEyZElSbWMzTW1GbFZHNHZVMGMyY3pSTE1sVnVaV2wwYm1wSEx6SjFkMlp2TUU4eWMwOUphbHBMVG10M1p6VlRhMFk0VjNGTGNtUXZNVTB2ZG1kM2JtRk5ka05DYVd4TmREZHJWMWhJUjBNd1REaEpZWGROWkVOWVVraGhSVmRvWW1wQ1VuSnBkRUkzYVVjM1VqUXpjM3A2V0hwSVJubENSR3QxYVdkUk56VkRjRTlLZVVzemNHVm5TMlkzVVhoU1NrRkxiMDV1UVU5SWFXNUNkVXhRVmxGbVJtNU1aVVpGY25wM2VtZERRVTlHV1ZScWNFTlZUemhET0ZZeFJVMUJSMGgwUkdoS1VUTjRRMjEyYldkTk0zbzVWMm96YTNNdlJYSkZia1pqTUdKRGVGcDROMjgyVVZZeFRUVnlhbWM0YjBwQ1pWaG9iVmc1WVRCSUt6QkRWMVp6Ykc1bE1sbG1VM0pZZEdKV1VIVmtZMFp1VkVGclRESnBaa2x3TTNwRllqWnlSWGQwWVhwd09ETk1WVlZGWjNwS1ZFYzJUV0ZXVVhwQlNVdHFTbUY0UzAwM0wybENaaTlrVHpCdlNTdDFSRkZFWjNoU1drSnVkbmh2YkRka1ozWm9ZMlpaVUc5d1duVk5ObTVwVVdGTldEZ3pjWGhrVUVwdlFUUXlTRUptUXpSQmJ6VllhMWR0VmtaRmFreFJhakZNUjJkTFkyVXJiRTlCT0hKRE1HNVpMMWRpUldOVlNVMWtOVGxtVG5ScmVWaHRkM1V4YzFseWEyNVZMMnhKVkRWb0x6ZFNWM0pZWm5WclNHRmpZVzB5Ym1KSloySnhaREZVYkV4UllqUm9WbTlqZEZCRmExbGthalkyYmpSUk5qRjVSR1Z0TlZsTloxZGFMellyT0VKaFRqUnBSazlUVVZNMmNqUm9UMHB1ZUdjd2JsTjNNSFYyUjAxQ2RGaDBkRTFWTm1SV1VrZEpibkZrVVVGMWVYTlVhek55Y0ZZMk5YWk1TV2xNY1ZsbFpVNDJTMWRhWTNscFNVUnVOV2R5U0haYVVubG1jWEJqTDJKa05UaFBVVU0wVG1Kd1lXNXZZV1ZTUTI1NmRBPT06OHJKeHFBQnlId1lEV3d2TmM4OUkrZz09
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