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


“franz baader”

Showing 1 - 12 of 12 results for “franz baader”
Skip side bar filters

  • An Introduction to Description Logic

    by 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 ... Read more

    $45.09 USD

  • Term Rewriting and All That

    by 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 ... Read more

    $62.39 USD

People who read these also enjoyed

  • Learn Python Programming the Easy and Fun Way

    by 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 ... Read more

    $7.00 USD or Free with Kobo Plus

  • Voronoi Diagrams And Delaunay Triangulations

    by 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 ... Read more

    $34.19 USD

  • Hadoop Application Architectures

    Designing Real-World Big Data Applications

    by 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 ... Read more

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

  • Logical Foundations of Computer Science

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

    Edited by 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, ... Read more

    $49.49 USD

  • Effective MySQL Replication Techniques in Depth

    by 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 ... Read more

    $23.79 USD

  • Numerical Computations with GPUs

    Edited by 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 ... Read more

    $143.09 USD

  • Better, Faster, Lighter Java

    by 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 ... Read more

    $20.99 USD

  • Advanced Finite Element Simulation with MSC Marc

    Application of User Subroutines

    by 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 ... Read more

    $89.09 USD

  • Visualizing Data with Microsoft Power View (SET 2)

    by 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 ... Read more

    $19.49 USD