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


Top Series in United States

Showing 1 - 12 of 12 results for “stepan kuznetsov”
Skip side bar filters

  • 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 this 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

  • 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

  • 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

  • Machine Learning for Text

    by Charu C. Aggarwal ...
    Series series Computer Science (R0)
    This second edition textbook covers a coherently organized framework for text analytics, which integrates material drawn from the intersecting topics of information retrieval, machine learning, and natural language processing. Particular importance is placed on deep learning methods. The chapters of this book span three broad categories:Basic algorithms: Chapters 1 through 7 discuss the classical ... Read more

    $53.99 USD

  • Language and Automata Theory and Applications

    10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

    Edited by Adrian-Horia Dediu, Bianca Truthe, Carlos Martín-Vide, Jan Janoušek ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Language and Automata Theory and Applications, LATA 2016, held in Prague, Czech Republic, in March 2016.The 42 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 119 submissions. The papers cover the following topics: algebraic language theory; algorithms for ... Read more

    $49.99 USD

  • Cryptography and Coding

    16th IMA International Conference, IMACC 2017, Oxford, UK, December 12-14, 2017, Proceedings

    Edited by Máire O'Neill ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 16th IMA International Conference on Cryptography and Coding, IMACC 2017, held at Oxford, UK, in December 2017. The 19 papers presented were carefully reviewed and selected from 32 submissions. The conference focuses on a diverse set of topics both in cryptography and coding theory. ... Read more

    $49.99 USD

  • Automated Technology for Verification and Analysis

    13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

    Edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, ... Read more

    $49.49 USD