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


Lecture Notes in Logic Serie de eBooks

1 - 12 de 12 resultados
Skip side bar filters

  • Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

    de Martin Grohe ...
    Series Libro 47 - Lecture Notes in Logic
    Descriptive complexity theory establishes a connection between the computational complexity of algorithmic problems (the computational resources required to solve the problems) and their descriptive complexity (the language resources required to describe the problems). This groundbreaking book approaches descriptive complexity from the angle of modern structural graph theory, specifically graph ... Leer más

    $186.99 USD

La gente que leyó esto también disfrutó

  • Trusted Systems

    7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers

    Edición de Moti Yung, Jianbiao Zhang, Zhen Yang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Trusted Systems, INTRUST 2015, held in Beijing, China, in December 2015.The revised 12 full papers presented have been carefully reviewed and selected from 29 submissions. They are devoted to all aspects of trusted computing systems, including trusted modules, platforms; networks, ... Leer más

    $49.99 USD

  • Combinatorial Algorithms

    27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings

    Edición de Veli Mäkinen, Simon J. Puglisi, Leena Salmela ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 27th International Workshop on Combinatorial Algorithms, IWOCA 2016, held in Helsinki, Finland, in August 2016.The 35 papers presented in this volume were carefully reviewed and selected from 87 submissions. They were organized in topical sessions named: computational complexity; computational geometry; networks; enumeration; online algorithms; ... Leer más

    $49.99 USD

  • Combinatorial Algorithms

    26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers

    Edición de Zsuzsanna Lipták, William F. Smyth ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-workshop proceedings for the 26 International Workshop on combinatorial Algorithms, IWOCA 2015, held in Verona, Italy, in October 2015.The 29 revised full papers presented were carefully reviewed and selected from a total of 90 submissions. The topics of the papers include algorithms and data structures (including sequential, parallel, distributed ... Leer más

    $49.99 USD

  • Concise Computer Mathematics

    Tutorials on Theory and Problems

    de Ovidiu Bagdasar ...
    Series series Computer Science (R0)
    Adapted from a modular undergraduate course on computational mathematics, Concise Computer Mathematics delivers an easily accessible, self-contained introduction to the basic notions of mathematics necessary for a computer science degree. The text reflects the need to quickly introduce students from a variety of educational backgrounds to a number of essential mathematical concepts. The material ... Leer más

    $62.99 USD

  • Transactions on Rough Sets XVIII

    Edición de James F. Peters, Andrzej Skowron, Tianrui Li, Yan Yang, JingTao Yao, Hung Son Nguyen ...
    Series series Computer Science (R0)
    The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such ... Leer más

    $40.99 USD

  • Unveiling Dynamics and Complexity

    13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

    Edición de Jarkko Kari, Florin Manea, Ion Petre ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017.The 24 revised full papers and 12 invited papers were carefully reviewed and selected from 69 submissions. The conference CiE 2016 has six special sessions, namly: algorithmics for biology; combinatorics and algorithmics on words; computability in ... Leer más

    $49.99 USD

  • Multi-Agent Systems and Agreement Technologies

    13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

    Edición de Michael Rovatsos, George Vouros, Vicente Julian ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected papers from the 13 European Conference on Multi-Agent Systems, EUMAS 2015, and the Third International Conference on Agreement Technologies, AT 2015, held in Athens, Greece, in December 2015.The 36 papers presented in this volume were carefully reviewed and selected from 65 submissions. They are organized in topical sections named: coordination and ... Leer más

    $49.99 USD

  • Logics in Computer Science

    A Study on Extensions of Temporal and Strategic Logics

    de Fabio Mogavero ...
    Series series Mathematics and Statistics (R0)
    In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with ... Leer más

    $49.99 USD

  • Descriptional Complexity of Formal Systems

    17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

    Edición de Jeffrey Shallit, Alexander Okhotin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were carefully reviewed and selected from 29 submissions. The subject of the workshop was descriptional complexity. Roughly speaking, this field is ... Leer más

    $49.99 USD

  • Business Process Management

    15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings

    Edición de Josep Carmona, Gregor Engels, Akhil Kumar ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 15th International Conference on Business Process Management, BPM 2017, held in Barcelona, Spain, in September 2017.The 19 revised full papers papers presented were carefully reviewed and selected from 116 initial submissions. The topics selected by the authors demonstrate an increasing interest of the research community in the area of process mining, ... Leer más

    $49.99 USD

  • Descriptional Complexity of Formal Systems

    18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

    Edición de Cezar Câmpeanu, Florin Manea, Jeffrey Shallit ...
    Series series Springer Nature Proceedings Computer Science
    his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The 13 full papers presented together with 4 invited talks were carefully reviewed and selected from 21 submissions.Descriptional Complexity is a field in Computer Science that deals with the size of all kind of ... Leer más

    $49.99 USD