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


“richard kohar”

1 - 12 de 12 resultados para “richard kohar”
Skip side bar filters

  • Basic Discrete Mathematics: Logic, Set Theory, And Probability

    de Richard Kohar ...
    This lively introductory text exposes the student in the humanities to the world of discrete mathematics. A problem-solving based approach grounded in the ideas of George Pólya are at the heart of this book. Students learn to handle and solve new problems on their own. A straightforward, clear writing style and well-crafted examples with diagrams invite the students to develop into precise and ... Leer más

    $55.79 USD

La gente que leyó esto también disfrutó

  • Handbook of Proof Theory

    Edición de S.R. Buss ...
    Series Libro 137 - Studies in Logic and the Foundations of Mathematics
    This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self ... Leer más

    $211.49 USD

  • Scala: From a Functional Programming Perspective

    An Introduction to the Programming Language

    de Vicenç Torra ...
    Series series Computer Science (R0)
    This book gives an introduction to the programming language Scala. It presents it from a functional programming perspective. The book explains with detail functional programming and recursivity, and includes chapters on lazy and eager evaluation, streams, higher-order functions (including map, fold, reduce, and aggregate), and algebraic data types. The book also describes the object-oriented ... Leer más

    $49.49 USD

  • Formal Aspects of Component Software

    11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

    Edición de Ivan Lanese, Eric Madelaine ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and ... Leer más

    $49.99 USD

  • Semantic Technology

    5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers

    Edición de Guilin Qi, Kouji Kozaki, Jeff Z. Pan, Siwei Yu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 5th Joint International Semantic Technology Conference, JIST 2015, held in Yichang, China, in November 2015.The theme of the JIST 2015 conference was "Big Data and Social Media". The JIST 2015 conference consisted of main technical tracks including 2 keynotes, 2 invited talks, a regular technical paper track (full and short papers), ... Leer más

    $49.49 USD

  • Using Event-B for Critical Device Software Systems

    de Neeraj Kumar Singh ...
    Series series Computer Science (R0)
    Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).This is assessed and evaluated via a standard case study: the cardiac pacemaker. ... Leer más

    $89.09 USD

  • Uncertainty Reasoning for the Semantic Web III

    ISWC International Workshops, URSW 2011-2013, Revised Selected Papers

    Edición de Nicola Fanizzi, Kathryn B. Laskey, Fernando Bobillo, Thomas Lukasiewicz, Paulo C.G. Costa, Michael Pool, Matthias Nickles, Kenneth J. Laskey, Claudia d'Amato, Rommel N. Carvalho ...
    Series series Springer Nature Proceedings Computer Science
    This book contains revised and significantly extended versions of selected papers from three workshops on Uncertainty Reasoning for the Semantic Web (URSW), held at the International Semantic Web Conferences (ISWC) in 2011, 2012, and 2013. The 16 papers presented were carefully reviewed and selected from numerous submissions. The papers included in this volume are organized in topical sections on ... Leer más

    $49.49 USD

  • Structured Object-Oriented Formal Language and Method

    Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

    Edición de Zhenhua Duan, Shaoying Liu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model ... Leer más

    $49.49 USD

  • Intelligent Computer Mathematics

    10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

    Edición de Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of ... Leer más

    $49.49 USD

  • Logic, Rewriting, and Concurrency

    Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

    Edición de Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott ...
    Series series Computer Science (R0)
    This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday.These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Hélène ... Leer más

    $49.49 USD

  • Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

    Edición de Daniel Kroening, Corina S. Păsăreanu ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking ... Leer más

    $49.49 USD

  • Rohit Parikh on Logic, Language and Society

    Edición de Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam ...
    Series series Philosophy and Religion (R0)
    This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research.This volume is part of Springer’s book series ... Leer más

    $98.99 USD