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 “georg struth”
Skip side bar filters

  • Relational and Algebraic Methods in Computer Science

    16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

    Edición de Peter Höfner, Damien Pous, Georg Struth ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017.The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions. Topics covered range from mathematical foundations to applications as conceptual and ... Leer más

    $49.49 USD

La gente que leyó esto también disfrutó

  • Applied Logic for Computer Scientists

    Computational Deduction and Formal Proofs

    de Mauricio Ayala-Rincón, Flávio L. C. de Moura ...
    Series series Computer Science (R0)
    This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems ... Leer más

    $44.99 USD

  • Logic-Based Program Synthesis and Transformation

    25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

    Edición de Moreno Falaschi ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015.The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote ... 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

  • String Analysis for Software Verification and Security

    de Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...
    Series series Computer Science (R0)
    This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string ... Leer más

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

  • 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

  • Mathematics of Program Construction

    12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

    Edición de Ralf Hinze, Janis Voigtländer ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. ... Leer más

    $49.99 USD

  • Computer Science -- Theory and Applications

    10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

    Edición de Lev D. Beklemishev, Daniil V. Musatov ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015.The 25 full papers presented in this volume were carefully reviewed and selected from 61 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas in theoretical ... Leer más

    $49.99 USD

  • Logic, Rationality, and Interaction

    6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

    Edición de Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada ...
    Series series Springer Nature Proceedings Computer Science
    This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan.The focus of the workshop is on following topics: Agency, Argumentation and Agreement, Belief Revision and Belief Merging, Belief Representation, Cooperation, Decision making and Planning, Natural ... Leer más

    $49.99 USD