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 “boro sitnikovski”
Skip side bar filters

  • Introduction to Dependent Types with Idris

    Encoding Program Proofs in Types

    de Boro Sitnikovski ...
    Series series Professional and Applied Computing (R0)
    Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties.The first part of the book serves as an introduction to the language's underlying theories. It starts by ... Leer más

    $31.99 USD

  • Introducing Software Verification with Dafny Language

    Proving Program Correctness

    de Boro Sitnikovski ...
    Series series Professional and Applied Computing (R0)
    Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are quite mathematically rigorous, this book will use as little mathematical symbols and rigor as possible, and explain every concept using plain English. It's the perfect primer for software programmers and developers with C# and ... Leer más

    $28.49 USD

  • Introducing Blockchain with Lisp

    Implement and Extend Blockchains with the Racket Language

    de Boro Sitnikovski ...
    Series series Professional and Applied Computing (R0)
    Implement blockchain from scratch covering all the details with Racket, a general-purpose Lisp. You'll start by exploring what a blockchain is, so you have a solid foundation for the rest of the book. You'll then be ready to learn Racket before starting on your blockchain implementation. Once you have a working blockchain, you'll move onto extending it. The book's appendices provide supporting ... Leer más

    $49.49 USD

La gente que leyó estos también disfrutó

  • Natural Language Processing with Python

    Analyzing Text with the Natural Language Toolkit

    de Steven Bird, Ewan Klein, Edward Loper ...
    This book offers a highly accessible introduction to natural language processing, the field that supports a variety of language technologies, from predictive text and email filtering to automatic summarization and translation. With it, you'll learn how to write Python programs that work with large collections of unstructured text. You'll access richly annotated datasets using a comprehensive range ... Leer más

    $33.99 USD

  • Software Design for Flexibility

    How to Avoid Programming Yourself into a Corner

    de Chris Hanson, Gerald Jay Sussman ...
    Strategies for building large systems that can be easily adapted for new situations with only minor programming modifications.Time pressures encourage programmers to write code that works well for a narrow purpose, with no room to grow. But the best systems are evolvable; they can be adapted for new situations by adding code, rather than changing the existing code. The authors describe techniques ... Leer más

    $33.99 USD

  • Elements of Programming

    de Paul McJones, Alexander Stepanov ...
    “Ask a mechanical, structural, or electrical engineer how far they would get without a heavy reliance on a firm mathematical foundation, and they will tell you, ‘not far.’ Yet so-called software engineers often practice their art with little or no idea of the mathematical underpinnings of what they are doing. And then we wonder why software is notorious for being delivered late and full of bugs, ... Leer más

    $34.19 USD

  • How to Design Programs, second edition

    An Introduction to Programming and Computing

    de Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi ...
    A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed programming.This introduction to programming places computer science at the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process, presenting program design guidelines ... Leer más

    $41.99 USD

  • Information Modeling and Relational Databases

    de Terry Halpin, Tony Morgan ...
    Information Modeling and Relational Databases, Second Edition, provides an introduction to ORM (Object-Role Modeling)and much more. In fact, it is the only book to go beyond introductory coverage and provide all of the in-depth instruction you need to transform knowledge from domain experts into a sound database design. This book is intended for anyone with a stake in the accuracy and efficacy of ... Leer más

    $78.99 USD

  • The Relational Database Dictionary

    A Comprehensive Glossary of Relational Terms and Concepts, with Illustrative Examples

    de C.J. Date ...
    Avoid misunderstandings that can affect the design, programming, and use of database systems. Whether you're using Oracle, DB2, SQL Server, MySQL, or PostgreSQL, The Relational Database Dictionary will prevent confusion about the precise meaning of database-related terms (e.g., attribute, 3NF, one-to-many correspondence, predicate, repeating group, join dependency), helping to ensure the success ... Leer más

    $9.99 USD

  • Program Proofs

    de K. Rustan M. Leino ...
    This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. ... Leer más

    $48.99 USD

  • Mastering Text Mining with R

    Extract and recognize your text data

    de KUMAR ASHISH ...
    Master text-taming techniques and build effective text-processing applications with RKey Features\[\*\] Develop all the relevant skills for building text-mining apps with R with this easy-to-follow guide\[\*\] Gain in-depth understanding of the text mining process with lucid implementation in the R language\[\*\] Example-rich guide that lets you gain high-quality information from text dataBook ... Leer más

    $34.99 USD o gratis con Kobo Plus

  • The New Relational Database Dictionary

    Terms, Concepts, and Examples

    de C.J. Date ...
    No matter what DBMS you are using—Oracle, DB2, SQL Server, MySQL, PostgreSQL—misunderstandings can always arise over the precise meanings of terms, misunderstandings that can have a serious effect on the success of your database projects. For example, here are some common database terms: attribute, BCNF, consistency, denormalization, predicate, repeating group, join dependency. Do you know what ... Leer más

    $19.99 USD