{"product_id":"property-testing-problems-and-techniques-9789811686245","title":"Pruebas de propiedades: Problemas y técnicas","description":"\u003cp\u003eEste libro presenta resultados y técnicas importantes en la prueba de propiedades, donde el objetivo es diseñar algoritmos que decidan si su entrada satisface una propiedad predeterminada en tiempo sublineal, o incluso en tiempo constante, es decir, el tiempo es independiente del tamaño de la entrada. \u003c\/p\u003e \u003cp\u003eEste libro consta de tres partes. La primera parte proporciona una introducción a los fundamentos de las pruebas de propiedades. La segunda parte estudia la prueba de propiedades específicas en cadenas, gráficos, funciones y problemas de satisfacción de restricciones. También se cubren vectores y matrices sobre números reales. La tercera parte es más avanzada y explica las condiciones generales, incluyendo caracterizaciones completas, bajo las cuales las propiedades son comprobables con consultas constantes.\u003c\/p\u003e \u003cp\u003eLa primera y segunda parte del libro están dirigidas a estudiantes de posgrado de primer año en ciencias de la computación. También deben ser accesibles para estudiantes de pregrado con la formación adecuada. La tercera parte puede ser utilizada por investigadores o estudiantes de posgrado ambiciosos que deseen obtener una comprensión teórica más profunda de las pruebas de propiedades.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-13982749\"\u003eArnab Bhattacharyya\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-15308650\"\u003eYuichi Yoshida\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 10\/03\/2023\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 427\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 2.20 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 11.00 alto x 8.25 ancho x 0.91 profundidad\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9789811686245\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 9811686246\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM051300\"\u003eProgramación | Algoritmos\u003c\/a\u003e\u003cbr\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eAcerca del Autor\u003c\/b\u003e\u003cbr\u003eArnab Bhattacharyya obtuvo su doctorado en el Instituto Tecnológico de Massachusetts en 2012 y actualmente es profesor asistente en la Universidad Nacional de Singapur. Es recipiente de la beca de la Fundación Nacional de Investigación de Singapur para la IA (2019) y de la beca Ramanujan en India (2014). Su área de investigación son los fundamentos teóricos de la ciencia de datos. \u003c\/p\u003e\u003cp\u003eYuichi Yoshida recibió un doctorado de la Universidad de Kioto en 2012 y actualmente es profesor asociado en el Instituto Nacional de Informática de Japón. Recibió el Premio JSPS Ikushi en 2012 y la Mención a la Ciencia y Tecnología del Ministro de Educación, Cultura, Deportes, Ciencia y Tecnología (Premio a Jóvenes Científicos) en 2017. Su interés de investigación es el fundamento teórico del big data.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":44569122767085,"sku":"9789811686245","price":119.98,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_e810e66d-4848-4f19-b79f-a16890c5d2eb.jpg?v=1701917693","url":"https:\/\/sureshotbooks.com\/es\/products\/property-testing-problems-and-techniques-9789811686245","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}