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


“franz baader”

1 - 12 de 12 resultados para “franz baader”
Skip side bar filters

  • An Introduction to Description Logic

    de Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler ...
    Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned ... Leer más

    $45.99 USD

  • Term Rewriting and All That

    de Franz Baader, Tobias Nipkow ...
    This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger's algorithm. The main algorithms are presented both ... Leer más

    $62.99 USD

La gente que leyó estos también disfrutó

  • Learn Python Programming the Easy and Fun Way

    de Elaiya Iswera Lallan ...
    This book is written with the intention to let readers understand and learn Python programming in a fun and easy way. Basically everybody finds it hard to understand programming language. However with the right techniques and programming logics, anyone can learn Python programming easily. In today's industry, Python programming is widely used for Big Data, Internet of Things, Geographical ... Leer más

    $7.00 USD o gratis con Kobo Plus

  • Voronoi Diagrams And Delaunay Triangulations

    de Franz Aurenhammer, Rolf Klein, Der-tsai Lee ...
    Voronoi diagrams partition space according to the influence certain sites exert on their environment. Since the 17th century, such structures play an important role in many areas like Astronomy, Physics, Chemistry, Biology, Ecology, Economics, Mathematics and Computer Science. They help to describe zones of political influence, to determine the hospital nearest to an accident site, to compute ... Leer más

    $34.99 USD

  • Hadoop Application Architectures

    Designing Real-World Big Data Applications

    de Mark Grover, Ted Malaska, Jonathan Seidman, Gwen Shapira ...
    Get expert guidance on architecting end-to-end data management solutions with Apache Hadoop. While many sources explain how to use various components in the Hadoop ecosystem, this practical book takes you through architectural considerations necessary to tie those components together into a complete tailored application, based on your particular use case.To reinforce those lessons, the book’s ... Leer más

    $30.99 USD

  • Tractability

    Practical Approaches to Hard Problems

    Edición de 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. ... Leer más

    $146.99 USD

  • Logical Foundations of Computer Science

    International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

    Edición de Sergei Artemov, Anil Nerode ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Leer más

    $49.99 USD

  • Effective MySQL Replication Techniques in Depth

    de Ronald Bradford, Chris Schneider ...
    The Essential Guide to Scaling Your Business Solution Written by Oracle ACE Director and MySQL expert Ronald Bradford, with coauthor Chris Schneider, Effective MySQL: Replication Techniques in Depth describes what is needed to understand and implement MySQL replication to build scalable solutions. This book includes detailed syntax examples to demonstrate the features, options, and limitations of ... Leer más

    $23.99 USD

  • Numerical Computations with GPUs

    Edición de Volodymyr Kindratenko ...
    Series series Computer Science (R0)
    This book brings together research on numerical methods adapted for Graphics Processing Units (GPUs). It explains recent efforts to adapt classic numerical methods, including solution of linear equations and FFT, for massively parallel GPU architectures. This volume consolidates recent research and adaptations, covering widely used methods that are at the core of many scientific and engineering ... Leer más

    $143.99 USD

  • Better, Faster, Lighter Java

    de Justin Gehtland, Bruce Tate ...
    Sometimes the simplest answer is the best. Many Enterprise Java developers, accustomed to dealing with Java's spiraling complexity, have fallen into the habit of choosing overly complicated solutions to problems when simpler options are available. Building server applications with "heavyweight" Java-based architectures, such as WebLogic, JBoss, and WebSphere, can be costly and cumbersome. When you ... Leer más

    $20.99 USD

  • Advanced Finite Element Simulation with MSC Marc

    Application of User Subroutines

    de Andreas Öchsner, Zia Javanbakht ...
    Series series Engineering (R0)
    This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. It is a specialized program for nonlinear problems (implicit solver) which is common in academia and industry. The primary goal of this book is to provide a comprehensive introduction to a special feature of this software: the user can write user ... Leer más

    $89.99 USD

  • Visualizing Data with Microsoft Power View (SET 2)

    de Brian Larson, Mark Davis, Dan English, Paul Purington ...
    Reveals how to build rich BI reports with just a few clicks using Crescent, Microsoft’s newest BI toolTechnical review by Microsoft’s Crescent team and Foreword by Group Program Manager for CrescentComplete, practical examples are immediately usable to readers in a commercial environmentCD-ROM contains 30+ reusable reports, all code samples, and supporting animations that walk thru each example ... Leer más

    $19.99 USD