Skip to main content

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

eBooks de Diseño lógico

Si te gustan los eBooks de Diseño lógico, seguro que te encanta esta selección.
Mostrando 1 - 24 de 428 resultados
Skip side bar filters
  • Reversible Computation

    16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Toruń, Poland, during July 4–5, 2024.The 10 full papers and 3 short papers included along with two invited papers in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Models of Reversible Computation; ... Leer más

    $94.39 USD

  • Artificial Intelligence: Concepts, Methodologies, Tools, and Applications

    Ongoing advancements in modern technology have led to significant developments in artificial intelligence. With the numerous applications available, it becomes imperative to conduct research and make further progress in this field. Artificial Intelligence: Concepts, Methodologies, Tools, and Applications provides a comprehensive overview of the latest breakthroughs and recent progress in ... Leer más

    $1,021.49 USD

  • Evolving OpenMP for Evolving Architectures

    14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 14th International Workshop on Open MP, IWOMP 2018, held in Barcelona, Spain, in September 2018.The 16 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: best paper; loops and OpenMP; OpenMP in heterogeneous systems; OpenMP improvements and innovations ... Leer más

    $52.49 USD

  • Efficient Test Methodologies for High-Speed Serial Links

    Series series Engineering (R0)
    Efficient Test Methodologies for High-Speed Serial Links describes in detail several new and promising techniques for cost-effectively testing high-speed interfaces with a high test coverage. One primary focus of Efficient Test Methodologies for High-Speed Serial Links is on efficient testing methods for jitter and bit-error-rate (BER), which are widely used for quantifying the quality of a ... Leer más

    $136.39 USD

  • Parallel Computational Technologies

    12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Conference on Parallel Computational Technologies, PCT 2018, held in Rostov-on-Don, Russia, in April 2018.The 24 revised full papers presented were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on high performance architectures, tools and technologies; parallel numerical ... Leer más

    $52.49 USD

  • Creativity in Intelligent Technologies and Data Science

    Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II

    Series Libro 2 - Springer Nature Proceedings Computer Science
    This two-volume set constitutes the proceedings of the Third Conference on Creativity in Intellectual Technologies and Data Science, CIT&DS 2019, held in Volgograd, Russia, in September 2019.The 67 full papers, 1 short paper and 3 keynote papers presented were carefully reviewed and selected from 231 submissions. The papers are organized in topical sections in the two volumes. Part I: cyber ... Leer más

    $52.49 USD

  • Speichereffizienter Aufbau von binären Entscheidungsdiagrammen

    de Rune Krauss ...
    Series series Computer Science and Engineering (German Language)
    Aufgrund der steigenden Komplexität von Hardwaresystemen besteht die Notwendigkeit, effizientere Datenstrukturen und darauf operierende Algorithmen zu entwickeln, um weiterhin das korrekte Verhalten solcher Systeme zu garantieren. Ein binäres Entscheidungsdiagramm ist eine geeignete Datenstruktur, da sie eine kompakte Repräsentation boolescher Funktionen und effiziente Algorithmen zur Manipulation ... Leer más

    $46.09 USD

  • OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity

    5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 5th OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2018.The 14 full papers presented in this book were carefully reviewed and selected for inclusion in this volume. The papers discuss a variety of ideas for extending the OpenSHMEM specification and discuss a variety of concepts, including interesting use of OpenSHMEM in HOOVER – a distributed ... Leer más

    $52.49 USD

  • Word Search – 100 Medium Puzzles

    A modern digital word search book with 1200+ words and all solutions included

    Word Search – 100 Medium Puzzles is a modern digital puzzle book for readers who enjoy classic word search challenges with a balanced level of difficulty. This EPUB edition includes 100 medium word search puzzles, more than 1200 words to find and all solutions included, making it a great choice for focused breaks, daily brain training and relaxed digital puzzling.The book is designed for ... Leer más

    $3.99 USD

  • High Performance Computing

    8th Latin American Conference, CARLA 2021, Guadalajara, Mexico, October 6–8, 2021, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers of the 8th Latin American High Performance Computing Conference, CARLA 2021, held in Guadalajara, Mexico, in October 2021. Due to the COVID-19 pandemic the conference was held in a virtual mode.The 16 revised full papers and 2 short papers presented were carefully reviewed and selected out of 45 submissions. The papers included in this book are ... Leer más

    $78.69 USD

  • Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection

    17th International Conference, PAAMS 2019, Ávila, Spain, June 26–28, 2019, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 17th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2019, held in Ávila, Spain, in June 2019.The 19 regular and 14 demo papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with the application and validation of agent-based models, methods, and technologies in a ... Leer más

    $52.49 USD

  • Computer Engineering and Technology

    22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 22nd CCF Conference on Computer Engineering and Technology, NCCET 2018, held in Yinchuan, China, in August 2018.The 17 full papers presented were carefully reviewed and selected from 120 submissions. They address topics such as processor architecture; application specific processors; computer application and software optimization; technology on ... Leer más

    $52.49 USD

  • Network and Parallel Computing

    15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 15th IFIP International Conference on Network and Parallel Computing, NPC 2018, held in Muroran, Japan, in November/December 2018.The 22 full and 12 short papers presented in this volume were carefully reviewed and selected from 72 submissions. The papers cover traditional areas of network and parallel computing, including parallel applications, ... Leer más

    $52.49 USD

  • Logic and Language Models for Computer Science

    This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It ... Leer más

    $42.29 USD

  • Applications of Evolutionary Computation

    22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

    Edición de Paul Kaufmann, Pedro A. Castillo ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 22nd International Conference on Applications of Evolutionary Computation, EvoApplications 2019, held in Leipzig, Germany, in April 2019, co-located with the Evo*2019 events EuroGP, EvoCOP and EvoMUSART.The 44 revised full papers presented were carefully reviewed and selected from 66 submissions. They were organized in topical sections named: ... Leer más

    $52.49 USD

  • Practical Hadoop Migration

    How to Integrate Your RDBMS with the Hadoop Ecosystem and Re-Architect Relational Applications to NoSQL

    de Bhushan Lakhe ...
    Series series Professional and Applied Computing (R0)
    Re-architect relational applications to NoSQL, integrate relational database management systems with the Hadoop ecosystem, and transform and migrate relational data to and from Hadoop components. This book covers the best-practice design approaches to re-architecting your relational applications and transforming your relational data to optimize concurrency, security, denormalization, and ... Leer más

    $39.19 USD

  • Next Generation Arithmetic

    5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20–21, 2024, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post-conference proceedings of the 5th International Conference for Next Generation Arithmetic, CoNGA 2024, held in Sydney, NSW, Australia, during February 20–21, 2024.The 5 revised full papers presented were carefully selected from 9 submissions. CoNGA is the leading conference on emerging technologies for computer arithmetic. The demands of both AI and HPC have ... Leer más

    $57.69 USD

  • Separation Logic for High-level Synthesis

    Series series Engineering (R0)
    This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’. Implementing computation on customised digital hardware plays an increasingly important role in the quest for energy-efficient high-performance ... Leer más

    $94.39 USD

  • High Performance Computing. ISC High Performance 2024 International Workshops

    Hamburg, Germany, May 12–16, 2024, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed workshop proceedings from the 39th International conference on High Performance Computing, ISC High Performance 2024, held in Hamburg, Germany, in May 2024.The 34 full papers presented here were carefully reviewed and selected from 50 submissions. These proceedings include papers from the following workshops:-Compiler-Assisted Correctness Checking and Performance ... Leer más

    $76.59 USD

  • New Frontiers in Mining Complex Patterns

    6th International Workshop, NFMCP 2017, Held in Conjunction with ECML-PKDD 2017, Skopje, Macedonia, September 18-22, 2017, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book features a collection of revised and significantly extended versions of the papers accepted for presentation at the 6th International Workshop on New Frontiers in Mining Complex Patterns, NFMCP 2017, held in conjunction with ECML-PKDD 2017 in Skopje, Macedonia, in September 2017. The book is composed of five parts: feature selection and induction; classification prediction; clustering; ... Leer más

    $52.49 USD

  • Research in Computational Molecular Biology

    23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings

    Edición de Lenore J. Cowen ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 23rd Annual Conference on Research in Computational Molecular Biology, RECOMB 2019, held in Washington, DC, USA, in April 2019.The 17 extended and 20 short abstracts presented were carefully reviewed and selected from 175 submissions. The short abstracts are included in the back matter of the volume. The papers report on original research in all areas ... Leer más

    $68.19 USD

  • Compact Models and Measurement Techniques for High-Speed Interconnects

    Series series Engineering (R0)
    Compact Models and Measurement Techniques for High-Speed Interconnects provides detailed analysis of issues related to high-speed interconnects from the perspective of modeling approaches and measurement techniques. Particular focus is laid on the unified approach (variational method combined with the transverse transmission line technique) to develop efficient compact models for planar ... Leer más

    $52.49 USD

  • Parallel Processing and Applied Mathematics

    12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

    Series Libro 2 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 10777 and 10778 constitutes revised selected papers from the 12th International Conference on Parallel Processing and Applied Mathematics, PPAM 2017, held in Lublin, Poland, in September 2017.The 49 regular papers presented in the proceedings were selected from 98 submissions. For the workshops and special sessions, that were held as integral parts of the PPAM 2017 ... Leer más

    $52.49 USD

  • Advanced Computer Architecture

    12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

    Edición de Chao Li, Junjie Wu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th Annual Conference on Advanced Computer Architecture, ACA 2018, held in Yingkou, China, in August 2018.The 17 revised full papers presented were carefully reviewed and selected from 80 submissions. The papers of this volume are organized in topical sections on: accelerators; new design explorations; towards efficient ML/AI; parallel ... Leer más

    $52.49 USD