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 “samuel mimram”
Skip side bar filters

  • Directed Algebraic Topology and Concurrency

    de Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt ...
    Series series Computer Science (R0)
    This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis.Taking well-known discrete models for concurrent processes in resource management as a point of departure, the book goes on to refine combinatorial and topological models. In the process, it develops tools and invariants for the new ... Leer más

    $89.99 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

  • Topics in Theoretical Computer Science

    The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

    Edición de Mohammad Reza Mousavi, Mohammed Taghi Hajiaghayi ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the First IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, held in Tehran, Iran, in August 2015.The 10 full papers presented together with 3 invited talks were carefully reviewed and selected from 48 submissions. The papers feature novel and high-quality research in all areas of theoretical ... Leer más

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

  • Recent Trends in Algebraic Development Techniques

    22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

    Edición de Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania.The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal ... Leer más

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

  • 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

  • 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

  • Regulated Grammars and Automata

    de Alexander Meduna, Petr Zemek ...
    Series series Computer Science (R0)
    This is the first book to offer key theoretical topics and terminology concerning regulated grammars and automata. They are the most important language-defining devices that work under controls represented by additional mathematical mechanisms. Key topics include formal language theory, grammatical regulation, grammar systems, erasing rules, parallelism, word monoids, regulated and unregulated ... Leer más

    $89.09 USD

  • Formal Grammar

    20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

    Edición de Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016. The 19 revised full papers presented together with 2 invited talks were carefully reviewed and selected from a total of 34 submissions.The focus of papers are as follows ... 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

  • Cellular Automata and Discrete Complex Systems

    22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

    Edición de Matthew Cook, Turlough Neary ...
    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the thoroughly refereed proceedings of the 22nd IFIP WG 1.5International Workshop on Cellular Automata and Discrete ComplexSystems, AUTOMATA 2016, held in Zurich, Switzerland, in June 2016.This volume contains 3 invited talks in full-paper length and 12 regularpapers, which were carefully reviewed and selected from a total of 23submissions. The papers feature research on ... Leer más

    $49.99 USD