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


1 - 12 de 12 resultados para “nachum dershowitz”
Skip side bar filters

  • Calendrical Calculations

    de Nachum Dershowitz, Edward M. Reingold ...
    A valuable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, this new edition of the popular calendars book expands the treatment of the previous edition to new calendar variants: generic cyclical calendars and astronomical lunar calendars as well as the Korean, Vietnamese, Aztec, and Tibetan calendars. The authors frame the calendars of the ... Leer más

    $39.99 USD

  • Fields of Logic and Computation II

    Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

    Edición de Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte, Lev D. Beklemishev ...
    Series series Computer Science (R0)
    This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this ... Leer más

    $49.49 USD

  • Fields of Logic and Computation III

    Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

    Edición de Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner ...
    Series series Springer Nature Proceedings Computer Science
    This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally ... Leer más

    $49.99 USD

La gente que leyó estos también disfrutó

  • Raspberry Pi I/O Programming Using Python

    de Agus Kurniawan ...
    This book provides alternative approach to access Raspberry Pi I/O using Python. It describes how to work with Raspberry Pi I/O and illustrates their use with code examples in Python. The following is highlight topics in book:* Setup Development Environment* Hello Raspberry Pi I/O and Python* Raspberry Pi GPIO* Raspberry Pi UART* Raspberry Pi I2C* Raspberry Pi SPI* Working with DAC and ADC on ... Leer más

    $3.99 USD

  • C#: A Beginner's Guide

    de Pat McGee ...
    Essential Skills--Made Easy!C#: A Beginner's Guide offers a step-by-step approach to learning object-oriented programming with C# and the .NET Framework while preparing you for data driven-development. More than 150 easy-to-follow examples are included. The book covers Visual Studio for developmentand debugging, collections and advanced C# structures,LINQ and traditional database development, as ... Leer más

    $33.99 USD

  • Getting Started with ASP.NET 5 for OS X, Linux, and Windows

    de Agus Kurniawan ...
    ASP.NET 5 is a new open-source and cross-platform framework for building modern cloud-based Web applications using .NET. This book helps you to get started with ASP.NET 5 on OS X, Linux, and Windows. The following is highlight topic in this book:* Preparing Development Environment* Deploying ASP.NET 5 on OS X* Deploying ASP.NET 5 on Linux* Deploying ASP.NET 5 on Windows* ASP.NET 5 Development* ASP ... Leer más

    $1.99 USD

  • The Hitchhiker's Guide to Python

    Best Practices for Development

    de Kenneth Reitz, Tanya Schlusser ...
    The Hitchhiker's Guide to Python takes the journeyman Pythonista to true expertise. More than any other language, Python was created with the philosophy of simplicity and parsimony. Now 25 years old, Python has become the primary or secondary language (after SQL) for many business users. With popularity comes diversityâ??and possibly dilution.This guide, collaboratively written by over a hundred ... Leer más

    $18.99 USD

  • Reactive Programming with RxJava

    Creating Asynchronous, Event-Based Applications

    de Tomasz Nurkiewicz, Ben Christensen ...
    In today’s app-driven era, when programs are asynchronous and responsiveness is so vital, reactive programming can help you write code that’s more reliable, easier to scale, and better-performing. With this practical book, Java developers will first learn how to view problems in the reactive way, and then build programs that leverage the best features of this exciting new programming paradigm ... Leer más

    $28.99 USD

  • Quality Software: Volume 1.1: How Software Is Built

    Quality Software Managment, #1

    de Gerald M. Weinberg ...
    Series Libro 1 - Quality Software Managment
    This is part 1 of the latest edition of the classic, Quality Software Management. Its fundamental purpose is to teach how to understand the dynamics of software development organizations, to plan software projects, and to act effectively to carry out those plans. ... Leer más

    $9.99 USD o gratis con Kobo Plus

  • Introducing Regular Expressions

    Unraveling Regular Expressions, Step-by-Step

    de Michael Fitzgerald ...
    If you’re a programmer new to regular expressions, this easy-to-follow guide is a great place to start. You’ll learn the fundamentals step-by-step with the help of numerous examples, discovering first-hand how to match, extract, and transform text by matching specific words, characters, and patterns.Regular expressions are an essential part of a programmer’s toolkit, available in various Unix ... Leer más

    $24.99 USD

  • flex & bison

    Text Processing Tools

    de John Levine ...
    If you need to parse or process text data in Linux or Unix, this useful book explains how to use flex and bison to solve your problems quickly. flex & bison is the long-awaited sequel to the classic O'Reilly book, lex & yacc. In the nearly two decades since the original book was published, the flex and bison utilities have proven to be more reliable and more powerful than the original Unix tools ... Leer más

    $17.99 USD

  • Programming Beyond Practices

    Be More Than Just a Code Monkey

    de Gregory T Brown ...
    Writing code is the easy part of your work as a software developer. This practical book lets you explore the other 90%—everything from requirements discovery and rapid prototyping to business analysis and designing for maintainability. Instead of providing neatly packaged advice from on high, author Gregory Brown presents detailed examples of the many problems developers encounter, including the ... Leer más

    $18.99 USD