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


Serie m´´as popular en Estados Unidos

1 - 12 de 12 resultados para “daniel leivant”
Skip side bar filters

  • Logic, Language, Information, and Computation

    22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

    Edición de Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira ...
    Series series Springer Nature Proceedings Computer Science
    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully ... Leer más

    $40.49 USD

La gente que leyó esto también disfrutó

  • Pursuit of the Universal

    12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

    Edición de Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016.The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions. The conference CiE 2016 has six special sessions – two sessions, cryptography and information theory and symbolic ... 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.49 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

  • Principles and Practice of Constraint Programming

    22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

    Edición de Michel Rueher ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016.The 63 revised regular papers presented together with 4 short papers and the abstracts of 4 invited talks were carefully reviewed and selected from 157 submissions. The scope of CP 2016 includes all ... Leer más

    $89.99 USD

  • Developments in Language Theory

    20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

    Edición de Srečko Brlek, Christophe Reutenauer ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016.The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed and selected from 48 submissions. This volume presents current developments in formal languages and automata, especially from the following topics ... 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.49 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.49 USD

  • Mathematical Foundations of Computer Science 2015

    40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

    Edición de Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of ... Leer más

    $49.49 USD

  • Hybrid Metaheuristics

    10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings

    Edición de Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vincenzo Cutello, Mario Pavone, El-Ghazali Talbi, Alessandro Di Nuovo ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Workshop on Hybrid Metaheuristics, HM 2016, held in Plymouth, UK, in June 2016.The 15 revised full papers presented were carefully reviewed and selected from 43 submissions. The selected papers are of interest for all the researchers working on integrating metaheuristics with other areas for solving both optimization and ... Leer más

    $49.49 USD

  • 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