Skip to main content

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...
  • Rigorous Methods in Theory and Practice

    Essays Dedicated to Egon Börger on the Occasion of His 80th Birthday

    Series series Computer Science (R0)
    This Festschrift is in honor of Egon Börger on the occasion of his 80th birthday. It reflects his impact as a scientist, author, mentor, and community organizer. A pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns ... Leer más

    $67.99 USD

  • Handbook of Conceptual Modeling

    Theory, Practice, and Research Challenges

    Series series Computer Science (R0)
    Conceptual modeling is about describing the semantics of software applications at a high level of abstraction in terms of structure, behavior, and user interaction.Embley and Thalheim start with a manifesto stating that the dream of developing information systems strictly by conceptual modeling – as expressed in the phrase “the model is the code” – is becoming reality. The subsequent contributions ... Leer más

    $143.99 USD

  • Correct Software in Web Applications and Web Services

    Series series Computer Science (R0)
    The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they ... Leer más

    $49.99 USD

  • Modelling to Program

    Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the Second International Workshop on Modelling to Program, M2P 2020, held in Lappeenranta, Finland, in March 2020.The 10 papers presented were thoroughly reviewed and selected from 24 submissions. The papers provide a discussion on novel approaches to programming based on modelling approaches such as model-driven development (MDE, MDA, MDD) and ... Leer más

    $49.99 USD

  • Data Analytics and Management in Data Intensive Domains

    23rd International Conference, DAMDID/RCDL 2021, Moscow, Russia, October 26–29, 2021, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the post-conference proceedings of the 23rd International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2021, held in Moscow, Russia, in October 2021*.The 16 revised full papers were carefully reviewed and selected from 61 submissions. The papers are organized in the following topical sections: problem solving infrastructures, experiment ... Leer más

    $80.99 USD

  • Data Analytics and Management in Data Intensive Domains

    22nd International Conference, DAMDID/RCDL 2020, Voronezh, Russia, October 13–16, 2020, Selected Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the post-conference proceedings of the 22nd International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2020, held in Voronezh, Russia, in October 2020*.The 16 revised full papers and two keynotes were carefully reviewed and selected from 60 submissions. The papers are organized in the following topical sections: data Integration, ... Leer más

    $49.99 USD

  • Advances in Databases and Information Systems

    20th East European Conference, ADBIS 2016, Prague, Czech Republic, August 28-31, 2016, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 20th East European Conference on Advances in Databases and Information Systems, ADBIS 2016, held in Prague, Czech Republic, in August 2016.The 21 full papers presented together with two keynote papers and one keynote abstract were carefully selected and reviewed from 85 submissions. The papers are organized in topical sections such ... Leer más

    $49.99 USD

  • Database Systems for Advanced Applications

    19th International Conference, DASFAA 2014, International Workshops: BDMA, DaMEN, SIM³, UnCrowd; Bali, Indonesia, April 21--24, 2014, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the workshop proceedings of the 19th International Conference on Database Systems for Advanced Applications, DASFAA 2014, held in Bali, Indonesia, in April 2014. The volume contains papers from 4 workshops, each focusing on hot topics related to database systems and applications: the Second International Workshop on Big Data Management and Analytics, BDMA 2014; the Third ... Leer más

    $49.99 USD

  • Advances in Databases and Information Systems

    22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2–5, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 22nd European Conference on Advances in Databases and Information Systems, ADBIS 2018, held in Budapest, Hungary, in September 2018.The 17 regular papers presented together with two invited papers were carefully selected and reviewed from numerous submissions. The papers are organized in topical sections such as information extraction and integration; ... Leer más

    $49.99 USD

  • New Trends in Databases and Information Systems

    ADBIS 2016 Short Papers and Workshops, BigDap, DCSA, DC, Prague, Czech Republic, August 28-31, 2016, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed short papers, workshops and Doctoral Consortium papers of the 20th East European Conference on Advances in Databases and Information Systems, ADBIS 2016, held in Prague, Czech Republic, in August 2016.The 11 short papers and one historical paper were carefully selected and reviewed from 85 submissions. The rest of papers was selected from reviewing ... Leer más

    $49.99 USD

  • New Trends in Databases and Information Systems

    ADBIS 2018 Short Papers and Workshops, AI*QA, BIGPMED, CSACDB, M2U, BigDataMAPS, ISTREND, DC, Budapest, Hungary, September, 2-5, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed short papers, workshops and doctoral consortium papers of the 22th European Conference on Advances in Databases and Information Systems, ADBIS 2018, held in Budapest, Hungary, in September 2018.The 20 full and the 4 short workshop papers as well as the 3 doctoral consortium papers were carefully reviewed and selected from 54 submissions to the ... Leer más

    $49.49 USD

La gente que leyó estos también disfrutó

  • 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

    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