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


Engineering (R0) Serie de eBooks

1 - 12 de 12 resultados
Skip side bar filters

  • Computational Statics Revision Course

    de Andreas Öchsner, Zia Javanbakht ...
    Series series Engineering (R0)
    This revision and work book offers a very specific concept for learning the finite element method applying it to problems from statics of: It skips all the classical derivations and focusses only the essential final results. Based on these `essentials', fully solved example problems are presented. To facilitate the initial learning process, the authors compiled 10 recommended steps for a linear ... Leer más

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

La gente que leyó estos también disfrutó

  • 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

  • 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

  • Classical Mechanics with Mathematica®

    de Antonio Romano ...
    Series series Mathematics and Statistics (R0)
    This textbook takes a broad yet thorough approach to mechanics, aimed at bridging the gap between classical analytic and modern differential geometric approaches to the subject. Developed by the author from 35 years of teaching experience, the presentation is designed to give students an overview of the many different models used through the history of the field—from Newton to Lagrange—while also ... Leer más

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

  • Geometry from Dynamics, Classical and Quantum

    de Giuseppe Marmo, Giuseppe Morandi, Alberto Ibort, José F. Cariñena ...
    Series series Physics and Astronomy (R0)
    This book describes, by using elementary techniques, how some geometrical structures widely used today in many areas of physics, like symplectic, Poisson, Lagrangian, Hermitian, etc., emerge from dynamics. It is assumed that what can be accessed in actual experiences when studying a given system is just its dynamical behavior that is described by using a family of variables ("observables" of the ... Leer más

    $134.09 USD

  • Handbook of Proof Theory

    Edición de S.R. Buss ...
    Series Libro 137 - Studies in Logic and the Foundations of Mathematics
    This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self ... Leer más

    $211.99 USD

  • Formal Aspects of Component Software

    14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

    Edición de José Proença, Markus Lumpe ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software ... Leer más

    $49.99 USD

  • Practical Multiscaling

    de Jacob Fish ...
    Practical Multiscaling covers fundamental modelling techniques aimed at bridging diverse temporal and spatial scales ranging from the atomic level to a full-scale product level. It focuses on practical multiscale methods that account for fine-scale (material) details but do not require their precise resolution. The text material evolved from over 20 years of teaching experience at Rensselaer and ... Leer más

    $110.00 USD

  • Meshfree Methods for Partial Differential Equations VIII

    Edición de Michael Griebel, Marc Alexander Schweitzer ...
    Series series Springer Nature Proceedings excluding Computer Science
    There have been substantial developments in meshfree methods, particle methods, and generalized finite element methods since the mid 1990s. The growing interest in these methods is in part due to the fact that they offer extremely flexible numerical tools and can be interpreted in a number of ways. For instance, meshfree methods can be viewed as a natural extension of classical finite element and ... Leer más

    $89.09 USD