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