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