Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


1 - 12 de 12 resultados para “ilya sergey”
Skip side bar filters

  • Practical Aspects of Declarative Languages

    26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings

    Edición de Martin Gebser, Ilya Sergey ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17–19, 2024.The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logic programming, including reactive ... Leer más

    $62.99 USD

  • Programming Languages and Systems

    20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings

    Edición de Ilya Sergey ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Semantics and Analysis; Testing and Verification; Types. ... Leer más

    $62.99 USD

La gente que leyó estos también disfrutó

  • Fundamental Approaches to Software Engineering

    22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Edición de Reiner Hähnle, Wil van der Aalst ...
    Series series Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed ... Leer más

    Gratis

  • Tools and Algorithms for the Construction and Analysis of Systems

    29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

    Edición de Sriram Sankaranarayanan, Natasha Sharygina ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume ... Leer más

    Gratis

  • Trends in Functional Programming Volume 6

    Edición de Marko Van Eekelen ...
    Series series Trends in Functional Programming
    This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programming, transformational and generic programming to type checking and designing new classes of data types.Not all papers in this book belong to the category of research papers. Also, the categories of ... Leer más

    $39.99 USD

  • Integrated Formal Methods

    16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

    Edición de Brijesh Dongol, Elena Troubitsyna ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and ... Leer más

    $49.99 USD

  • The Semantic Web – ISWC 2016

    15th International Semantic Web Conference, Kobe, Japan, October 17–21, 2016, Proceedings, Part I

    Edición de Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flöck, Yolanda Gil ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9981 and 9982 constitutes the refereed proceedings of the 15th International Semantic Web Conference, ISWC 2016, which was held in Kobe, Japan, in October 2016. The 75 full papers presented in these proceedings were carefully reviewed and selected from 326 submissions.The International Semantic Web Conference is the premier forum for Semantic Web research, where cutting ... Leer más

    $49.99 USD

  • Tests and Proofs

    17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings

    Edición de Virgile Prevosto, Cristina Seceleanu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July ... Leer más

    $49.99 USD

  • Programming Languages and Systems

    19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings

    Edición de Hakjoo Oh ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification.* The conference ... Leer más

    $76.99 USD

  • Introduction to Information Retrieval

    de Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze ...
    Class-tested and coherent, this textbook teaches classical and web information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. It gives an up-to-date treatment of all aspects of the design and implementation of systems for gathering, indexing, and searching documents; methods for evaluating systems; and an introduction to the ... Leer más

    $65.99 USD

  • Programming Languages and Systems

    27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

    Edición de Amal Ahmed ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections ... Leer más

    Gratis

  • Mining the Web

    Discovering Knowledge from Hypertext Data

    de Soumen Chakrabarti ...
    Series series The Morgan Kaufmann Series in Data Management Systems
    Mining the Web: Discovering Knowledge from Hypertext Data is the first book devoted entirely to techniques for producing knowledge from the vast body of unstructured Web data. Building on an initial survey of infrastructural issues—including Web crawling and indexing—Chakrabarti examines low-level machine learning techniques as they relate specifically to the challenges of Web mining. He then ... Leer más

    $82.99 USD