Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “mitsuhiro okada”
Skip side bar filters

  • Advances in Mathematical Logic

    Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

    Edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka ...
    Series series Springer Nature Proceedings excluding Computer Science
    Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91.Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program ... Read more

    $152.09 USD

  • Logic, Language, and Security

    Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

    Edited by Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada ...
    Series series Computer Science (R0)
    This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday.The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning for networked systems; and foundations of information security emphasizing cryptographic protocols. ... Read more

    $58.99 USD

People who read these also enjoyed

  • Neural Network Methods in Natural Language Processing

    by Yoav Goldberg, Graeme Hirst ...
    Series series Synthesis Lectures on Human Language Technologies
    Neural networks are a family of powerful machine learning models and this book focuses on their application to natural language data.The first half of the book (Parts I and II) covers the basics of supervised machine learning and feed-forward neural networks, the basics of working with machine learning over language data, and the use of vector-based rather than symbolic representations for words. ... Read more

    $53.99 USD

  • Markov Logic

    An Interface Layer for Artificial Intelligence

    by Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone ...
    Series series Synthesis Lectures on Artificial Intelligence and Machine Learning
    Most subfields of computer science have an interface layer via which applications communicate with the infrastructure, and this is key to their success (e.g., the Internet in networking, the relational model in databases, etc.). So far this interface layer has been missing in AI. First-order logic and probabilistic graphical models each have some of the necessary features, but a viable interface ... Read more

    $28.79 USD

  • Introduction to Abstract Algebra

    by W. Keith Nicholson ...
    Praise for the Third Edition". . . an expository masterpiece of the highest didactic value that has gained additional attractivity through the various improvements . . ."—Zentralblatt MATHThe Fourth Edition of Introduction to Abstract Algebra continues to provide an accessible approach to the basic structures of abstract algebra: groups, rings, and fields. The book's unique presentation helps ... Read more

    $142.00 USD

  • Handbook of Constraint Programming

    Edited by Francesca Rossi, Peter van Beek, Toby Walsh ...
    Series series Foundations of Artificial Intelligence
    Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint programming is currently applied with success to many domains, such as scheduling, planning, vehicle routing, configuration, networks, and bioinformatics ... Read more

    $193.49 USD

  • Handbook of Process Algebra

    Edited by J.A. Bergstra, A. Ponse, S.A. Smolka ...
    Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, concurrency theory, specification and verification, operational semantics, algorithms, complexity ... Read more

    $305.99 USD

  • Data Analysis For Network Cyber-security

    by Niall M Adams, Nicholas A Heard ...
    There is increasing pressure to protect computer networks against unauthorized intrusion, and some work in this area is concerned with engineering systems that are robust to attack. However, no system can be made invulnerable. Data Analysis for Network Cyber-Security focuses on monitoring and analyzing network traffic data, with the intention of preventing, or quickly identifying, malicious ... Read more

    $35.99 USD

  • Algorithmic Learning Theory

    27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings

    Edited by Ronald Ortner, Hans Ulrich Simon, Sandra Zilles ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 27th International Conference on Algorithmic Learning Theory, ALT 2016, held in Bari, Italy, in October 2016, co-located with the 19th International Conference on Discovery Science, DS 2016. The 24 regular papers presented in this volume were carefully reviewed and selected from 45 submissions. In addition the book contains 5 abstracts of ... Read more

    $49.99 USD

  • Number Theory And Its Applications

    by Fuhuo Li, Nianliang Wang, Shigeru Kanemitsu ...
    This book emphasizes the role of symmetry and presents as many viewpoints as possible of an important phenomenon — the functional equation of the associated zeta-function. It starts from the basics before warping into the space of new interest; from the ground state to the excited state. For example, the celebrated Gauss quadratic reciprocity law is proved in four independent ways, which are in ... Read more

    $19.99 USD

  • Tractability

    Practical Approaches to Hard Problems

    Edited by Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli ...
    Classical computer science textbooks tell us that some problems are 'hard'. Yet many areas, from machine learning and computer vision to theorem proving and software verification, have defined their own set of tools for effectively solving complex problems. Tractability provides an overview of these different techniques, and of the fundamental concepts and properties used to tame intractability. ... Read more

    $146.79 USD

  • Modal Logic for Philosophers

    by James W. Garson ...
    This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal ... Read more

    $45.99 USD