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 “dirk nowotka”
Skip side bar filters

  • Combinatorics on Words

    10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

    Edición de Dirk Nowotka, Florin Manea ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Combinatorics on Words, WORDS 2015, held in Kiel, Germany, in September 2015 under the auspices of the EATCS.The 14 revised full papers presented were carefully reviewed and selected from 22 submissions. The main object in the contributions are words, finite or infinite sequences of symbols over a finite ... Leer más

    $49.99 USD

  • Sailing Routes in the World of Computation

    14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

    Edición de Florin Manea, Russell G. Miller, Dirk Nowotka ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017.The 26 revised full papers were carefully reviewed and selected from 55 submissions. In addition, this volume includes 15 invited papers. The conference CiE 2018 has six special sessions, namely: Approximation and optimization, Bioinformatics and ... Leer más

    $49.99 USD

La gente que leyó estos también disfrutó

  • Sets, Logic and Maths for Computing

    de David Makinson ...
    Series series Computer Science (R0)
    This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic ... Leer más

    $31.99 USD

  • Sets, Logic and Maths for Computing

    de David Makinson ...
    Series series Computer Science (R0)
    The first part of this preface is for the student; the second for the instructor. But whoever you are, welcome to both parts. For the Student You have finished secondary school, and are about to begin at a university or technical college. You want to study computing. The course includes some mathematics { and that was not necessarily your favourite subject. But there is no escape: some finite ... Leer más

    $40.99 USD

  • New Frontiers in Artificial Intelligence

    JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers

    Edición de Yukiko Nakano, Ken Satoh, Daisuke Bekki ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2013 Workshops LENLS, JURISIN, MiMI, AAA, and DDS which tool place on October 2013, in Japan. The 28 contributions in this volume were carefully reviewed and selected from 48 submissions. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and ... 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

  • 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

  • Quaternions for Computer Graphics

    de John Vince ...
    Series series Computer Science (R0)
    Sir William Rowan Hamilton was a genius, and will be remembered for his significant contributions to physics and mathematics. The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement for anyone, but Hamilton also invented quaternions, which paved the way for modern vector analysis.Quaternions are one of the most documented ... Leer más

    Antes $76.99 USD Ahora $62.99 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

  • 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

  • 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

  • Artificial General Intelligence

    10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings

    Edición de Tom Everitt, Ben Goertzel, Alexey Potapov ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 10th International Conference on Artificial General Intelligence, AGI 2017, held in Melbourne, VIC, Australia, in August 2017.The 24 regular papers presented in this book together with 1 short paper were carefully reviewed and selected from 35 submissions. They cover topics such as architectures; mathematical foundations; algorithms; safety; ... Leer más

    $53.99 USD