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...
  • Encyclopedia of Microcomputers

    Volume 12 - Multistrategy Learning to Operations Research: Microcomputer Applications

    Edición de Allen Kent, James G. Williams ...
    Series series Microcomputers Encyclopedia
    "The Encyclopedia of Microcomputers serves as the ideal companion reference to the popular Encyclopedia of Computer Science and Technology. Now in its 10th year of publication, this timely reference work details the broad spectrum of microcomputer technology, including microcomputer history; explains and illustrates the use of microcomputers throughout academe, business, government, and society in ... Leer más

    $300.99 USD

  • Encyclopedia of Microcomputers

    Volume 6 - Electronic Dictionaries in Machine Translation to Evaluation of Software: Microsoft Word Version 4.0

    Edición de Allen Kent, James G. Williams ...
    Series series Microcomputers Encyclopedia
    "The Encyclopedia of Microcomputers serves as the ideal companion reference to the popular Encyclopedia of Computer Science and Technology. Now in its 10th year of publication, this timely reference work details the broad spectrum of microcomputer technology, including microcomputer history; explains and illustrates the use of microcomputers throughout academe, business, government, and society in ... Leer más

    $59.99 USD

La gente que leyó estos también disfrutó

  • Introduction to Information Retrieval

    Class-tested and coherent, this textbook teaches classical and web information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. It gives an up-to-date treatment of all aspects of the design and implementation of systems for gathering, indexing, and searching documents; methods for evaluating systems; and an introduction to the ... Leer más

    $65.59 USD

  • Big Data Application in Power Systems

    Edición de Reza Arghandeh, Yuxun Zhou ...
    Big Data Application in Power Systems brings together experts from academia, industry and regulatory agencies who share their understanding and discuss the big data analytics applications for power systems diagnostics, operation and control. Recent developments in monitoring systems and sensor networks dramatically increase the variety, volume and velocity of measurement data in electricity ... Leer más

    $94.49 USD

  • Big-Data Analytics for Cloud, IoT and Cognitive Computing

    The definitive guide to successfully integrating social, mobile, Big-Data analytics, cloud and IoT principles and technologiesThe main goal of this book is to spur the development of effective big-data computing operations on smart clouds that are fully supported by IoT sensing, machine learning and analytics systems. To that end, the authors draw upon their original research and proven track ... Leer más

    $94.00 USD

  • Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

    Edición de Shuvendu K. Lahiri, Chao Wang ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Leer más

    Gratis

  • Tools and Algorithms for the Construction and Analysis of Systems

    29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I

    Series Libro 1 - Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume ... Leer más

    Gratis

  • eMaintenance

    Essential Electronic Tools for Efficiency

    eMaintenance: Essential Electronic Tools for Efficiency enables the reader to improve efficiency of operations, maintenance staff, infrastructure managers and system integrators, by accessing a real time computerized system from data to decision. In recent years, the exciting possibilities of eMaintenance have become increasingly recognized as a source of productivity improvement in industry. The ... Leer más

    $152.99 USD

  • Artificial Intelligence Methods For Software Engineering

    Software is an integral part of our lives today. Modern software systems are highly complex and often pose new challenges in different aspects of Software Engineering (SE).Artificial Intelligence (AI) is a growing field in computer science that has been proven effective in applying and developing AI techniques to address various SE challenges.This unique compendium covers applications of state-of ... Leer más

    $113.99 USD

  • Semantic Computing

    Presents the state of the technology and points to future directions for semantic computingSemantic computing, a rapidly evolving interdisciplinary field, seeks to structure, design, and manipulate computer content to better satisfy the needs and intentions of users and create a more meaningful user experience. This remarkable contributed work examines the art, engineering, technology, and ... Leer más

    $143.00 USD

  • Implementing Industry 4.0

    The Model Factory as the Key Enabler for the Future of Manufacturing

    Edición de Carlos Toro, Wei Wang, Humza Akhtar ...
    Series series Intelligent Technologies and Robotics (R0)
    This book relates research being implemented in three main research areas: secure connectivity and intelligent systems, real-time analytics and manufacturing knowledge and virtual manufacturing.Manufacturing SMEs and MNCs want to see how Industry 4.0 is implemented. On the other hand, groundbreaking research on this topic is constantly growing. For the aforesaid reason, the Singapore Agency for ... Leer más

    $170.99 USD

  • Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

    Series Libro 2 - Springer Nature Proceedings Computer Science
    The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The ... Leer más

    Gratis