Automated Verification Of Concurrent Search Structures eBook
language: english
Publisher:
Springer Nature Switzerland, May of 2022 ‧
see product details
66,24€
10% OFF
CARD
TkRFNVpsaDJUbGhRZUhoa2FWSnNORFZVWTFWWVoycDNhRWxhY0dkNGRqVkRRV2hSZGxGWmRIbFpjemMyYWpWR2J6bDVWbnB1ZFZaa2VuSTBWVkZUVDFaalIwNWFWak13WVhkbFVsRXJaa3RpVjFJNVMyd3ZXRTFGYTBWYU9XTnNZbHBKTVVoalJISkhaVGxQU1dWTlZXRTVlV0UwVURCcWVEQjRMekp6VFhaa1kxQkVlbmxrTlRsNGRVNTBkVTFsTlhoQ1pFZHVURTlyYm5JdlpEbHdUa3cyWkVjeFFsZFlPREJTVjFwVGFtbDBVWEZ5VjFCdEwyeEhZUzlETVhwbVdVeG9UbGhLWkdOUWMzWjFaa2xRUkZOMlp6ZHlaSFJ0WVc4d1NIRXpRVFZpTVZSVVkzSndORGR6TjNGSGRFUmpOVVl3WVU5NWNYbzJSM0E1ZUhFcksyaFdja1ZTV1ZJeWVqTjRUWEpqYkVKb1dqRXJORFJ1U0hCV1JVNDBTbWx5TW1ZNUwzSTBVWEF2TTJnMVlUaDJXbEZRUjI5emJraFhNbGRWVTNsMGFVMXRNbEZpTDAxaGVrNTBMMk5aTXpaTmJqSTVhMmMyYW5ablNuSmFiVFJTZGxscFlpdDZPVlEyUkZkTmRYQmpNbUZzV0dwbVRWTkhRMlJPVTFGU0wwZEVPV0pJUjFWWFNISjRka1ZvT0U5a2JqRTNXblV2WkZSMGNUZHBRbGxJWVZkS2NsSmhZbWhqTUVrek1VMUlNVUZZZUdkSFRVd3lUR295YkZwa2EyZFRkMXB2Ukhnek9XWmpkeTlVVkhCd00zTlhOMmRzVUdOWFF6UkpWblF2YmtwVWRWUjFXVFZZUkRGeEsxcFVlQ3R5WjI1bE1WTjFZVTlVTlhJNFNubFBNWFl5VUdKWGNXVlhhR1ZqTVV4VlJWVTFWRzkxYzJWd2VtVlFUMXBvYlVVelkwcFVjMEpQTTNKb2RuRjRNV05aVG1GSFlYQlRSMUZJVVRsdk0zcGtaa2h2SzFGbGFuRnJSQzlTVGpsNFptUjNNRmR0VEV0dkwweGlUMGQ1WjBNNGJIVXlOV3AyY0daV1RtbHVVMWhZTkVKT1JHbFRha3BYTDA0eVNqbEplVXRWTDB0cFNDOXBVakZyYjNZeVZtTXlXVTFYTjB0dllYa3labU5xZVhoNFdFcG9UbVJxV1ZJeWRrZEVOa1l3V2twb1dISXhhSEJGVEc5R1drRjFNMGxHU25KNE1VZFNNbU56YVRFeE5UaHRObGRMUWl0eU5sWm1ObUY1TlZwdVlYVTRkekJpWjFRMk1HSTVhVWxKUFE9PTpBMHBNeHVkVVMxOVNLcGVrb1IzeUJRPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783031018060 |
| Publisher: | Springer Nature Switzerland |
| Release Date: | May of 2022 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Synthesis Lectures On Computer Science |
| Categories: |
eBooks in English
>
Science
>
Mathematics
eBooks in English > Computing > Other Applications |
| EAN: | 9783031018060 |
BOOKS FROM THE SAME COLLECTION
-
imagem não disponívelAn Introduction To Programming LanguagesPre-order10%An Introduction To Programming LanguagesSpringer Nature Switzerland AG42,57€
47,30€free shipping -
imagem não disponívelBuilding Ethical And Secure AiPre-order10%Building Ethical And Secure AiSpringer Nature Switzerland AG42,57€
47,30€free shipping