Skip to main content
Search Button
Librairie Kobo Luxembourg Cartes cadeau Aide

Kobo Rakuten

Liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...

eBooks Étude logique

Si vous aimez les titres Étude logique, vous allez adorer cette sélection.
Affichage des résultats 1 - 24 sur 418
Skip side bar filters

  • High Performance Computing. ISC High Performance 2022 International Workshops

    Hamburg, Germany, May 29 – June 2, 2022, Revised Selected Papers

    Modifié par Hartwig Anzt, Amanda Bienz, Piotr Luszczek, Marc Baboulin ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed conference proceedings of the workshops held at the 37th International ISC High Performance 2022 Conference, in Hamburg, Germany, in June 2, 2022.The 27 full papers were included in this book were carefully reviewed and selected from 43 submissions.ISC High Performance 2022 presents the following workshops:Compiler-assisted Correctness Checking and Performance ... En savoir plus

    60,24 €

  • Algorithms and Architectures for Parallel Processing

    18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II

    Modifié par Jaideep Vaidya, Jin Li ...
    Collection Livre 2 - Springer Nature Proceedings Computer Science
    The four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in Guangzhou, China, in November 2018.The 141 full and 50 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Distributed and Parallel ... En savoir plus

    46,34 €

  • Accelerator Programming Using Directives

    5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

    Modifié par Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018.The 6 full papers presented have been carefully reviewed and selected from 12 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... En savoir plus

    46,34 €

  • Come creare l’immagine coordinata di marca

    L’approccio e gli strumenti indispensabili per definire con coerenza l’espressione visiva della marca

    par Livio Savioli ...
    Collection Livre 2 - I Quaderni di Liquid Diamond
    Come si fa a scegliere l’abito corretto per la propria marca?Quali sono i meccanismi che permettono di farsi riconoscere visivamente nel mercato?Come si fa a dare uniformità estetica agli strumenti di comunicazione di una marca?Come si fa a trasformare un concetto in un’immagine?Questo quaderno è per i professionisti del marketing e per chi deve coordinare il proprio ufficio comunicazione, ... En savoir plus

    7,90 € ou Gratuit avec Kobo Plus

  • Reliable and Energy Efficient Streaming Multiprocessor Systems

    par Anup Kumar Das, Akash Kumar, Bharadwaj Veeravalli, Francky Catthoor ...
    Collection series Engineering (R0)
    This book discusses analysis, design and optimization techniques for streaming multiprocessor systems, while satisfying a given area, performance, and energy budget. The authors describe design flows for both application-specific and general purpose streaming systems. Coverage also includes the use of machine learning for thermal optimization at run-time, when an application is being executed. The ... En savoir plus

    46,34 €

  • High Performance Computing

    36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings

    Modifié par Bradford L. Chamberlain, Ana-Lucia Varbanescu, Hatem Ltaief, Piotr Luszczek ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 36th International Conference on High Performance Computing, ISC High Performance 2021, held virtually in June/July 2021.The 24 full papers presented were carefully reviewed and selected from 74 submissions. The papers cover a broad range of topics such as architecture, networks, and storage; machine learning, AI, and emerging technologies; HPC ... En savoir plus

    46,34 €

  • Formal Verification of Floating-Point Hardware Design

    A Mathematical Approach

    par David M. Russinoff ...
    Collection series Computer Science (R0)
    This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design, Second Edition advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of ... En savoir plus

    101,96 €

  • Kickstart PLC Programming

    Design and Build Scalable Control Systems Using IEC 61131-3, Ladder Logic, SCADA and HMI for Modern Industrial Automation (English Edition)

    par Henrique Morata ...
    Your Fast-Track Guide to PLCs, SCADA, and Smart Control.Key Features● Learn core IEC 61131-3 PLC languages like Ladder, ST, and FBD in depth.● Design scalable control systems with reusable, modular logic.● Integrate PLCs with HMI, SCADA, and modern industrial networks.Book DescriptionEmbark on a structured, hands-on journey into the world of PLC Programming and Machine Automation. This c... ... En savoir plus

    17,49 € ou Gratuit avec Kobo Plus

  • Regular Nanofabrics in Emerging Technologies

    Design and Fabrication Methods for Nanoscale Digital Circuits

    par M. Haykel Ben Jamaa ...
    Collection series Engineering (R0)
    Regular Nanofabrics in Emerging Technologies gives a deep insight into both fabrication and design aspects of emerging semiconductor technologies, that represent potential candidates for the post-CMOS era. Its approach is unique, across different fields, and it offers a synergetic view for a public of different communities ranging from technologists, to circuit designers, and computer scientists. ... En savoir plus

    129,77 €

  • Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms

    A Cross-layer Approach

    Modifié par William Fornaciari, Dimitrios Soudris ...
    Collection series Engineering (R0)
    This book describes the state-of-the art of industrial and academic research in the architectural design of heterogeneous, multi/many-core processors. The authors describe methods and tools to enable next-generation embedded and high-performance heterogeneous processors to confront cost-effectively the inevitable variations by providing Dependable-Performance: correct functionality and timing ... En savoir plus

    83,42 €

  • Logic Circuit Design

    Selected Methods

    par Shimon P. Vingron ...
    Collection series Engineering (R0)
    In three main divisions the book covers combinational circuits, latches, and asynchronous sequential circuits. Combinational circuits have no memorising ability, while sequential circuits have such an ability to various degrees. Latches are the simplest sequential circuits, ones with the shortest memory. The presentation is decidedly non-standard.The design of combinational circuits is discussed ... En savoir plus

    83,42 €

  • Graph-Theoretic Concepts in Computer Science

    44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

    Modifié par Andreas Brandstädt, Ekkehard Köhler, Klaus Meer ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected papers of the 44th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2018, held in Cottbus, Germany, in June 2018.The 30 full papers presented in this volume were carefully reviewed and selected from 66 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic ... En savoir plus

    46,34 €

  • Beyond-CMOS Technologies for Next Generation Computer Design

    Modifié par Rasit O. Topaloglu, H.-S. Philip Wong ...
    Collection series Engineering (R0)
    This book describes the bottleneck faced soon by designers of traditional CMOS devices, due to device scaling, power and energy consumption, and variability limitations. This book aims at bridging the gap between device technology and architecture/system design. Readers will learn about challenges and opportunities presented by “beyond-CMOS devices” and gain insight into how these might be ... En savoir plus

    101,96 €

  • Introduction to Computer Science Unlocking the World of Technology

    par Benjamin Fredeman Britz ...
    "Introduction to Computer Science: Unlocking the World of Technology" is a comprehensive guide that introduces the exciting field of computer science to school students. This book covers a wide range of topics, starting with the basics of computer science and its history, and then delving into the fundamentals of computing, programming languages, software development, data structures and ... En savoir plus

    4,49 €

  • Computer Information Systems and Industrial Management

    18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings

    Modifié par Khalid Saeed, Rituparna Chaki, Valentina Janev ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 18th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2019, held in Belgrade, Serbia, in September 2019.The 43 full papers presented together with 3 abstracts of keynotes were carefully reviewed and selected from 70 submissions. The main topics covered by the chapters in this book are biometrics, ... En savoir plus

    46,34 €

  • Pattern Recognition and Image Analysis

    9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part I

    Modifié par Aythami Morales, Julian Fierrez, José Salvador Sánchez, Bernardete Ribeiro ...
    Collection Livre 1 - Springer Nature Proceedings Computer Science
    This 2-volume set constitutes the refereed proceedings of the 9th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2019, held in Madrid, Spain, in July 2019.The 99 papers in these volumes were carefully reviewed and selected from 137 submissions. They are organized in topical sections named:Part I: best ranked papers; machine learning; pattern recognition; image processing and ... En savoir plus

    46,34 €

  • Noise-Aware Quantum Circuit Simulation with Decision Diagrams

    par Thomas Grurl, Jürgen Fuß, Robert Wille ...
    Collection series Synthesis Collection of Technology (R0)
    This book provides an easy-to-read introduction to quantum computing, as well the classical simulation of quantum circuits with common types of error effects. The authors showcase the enormous potential that can be unleashed when doing these simulations using decision diagrams–a data-structure common in the design automation community, often used in quantum computing design tasks. The algorithms ... En savoir plus

    46,34 €

  • Heterogeneous SoC Design and Verification

    HW/SW Co-Exploration, Co-Design, Co-Verification and Co-Debugging

    par Khaled Salah Mohamed ...
    Collection series Synthesis Collection of Technology (R0)
    This book covers the foundations of hardware/software codesign, on-chip communication, debugging, and verification, for heterogenous SoCs. Its primary objective is to empower designers in making informed decisions, guiding them to strike the perfect balance between flexibility and performance for their SoC designs. Readers will benefit from a detailed exploration of the essential elements of the ... En savoir plus

    46,34 €

  • New Developments in Legal Reasoning and Logic

    From Ancient Law to Modern Legal Systems

    Modifié par Shahid Rahman, Matthias Armgardt, Hans Christian Nordtveit Kvernenes ...
    Collection series Philosophy and Religion (R0)
    This book intends to unite studies in different fields related to the development of the relations between logic, law and legal reasoning. Combining historical and philosophical studies on legal reasoning in Civil and Common Law, and on the often neglected Arabic and Talmudic traditions of jurisprudence, this project unites these areas with recent technical developments in computer science.This ... En savoir plus

    101,96 €

  • Bioinformatics Research and Applications

    14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

    Modifié par Fa Zhang, Zhipeng Cai, Pavel Skums, Shihua Zhang ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 14th International Conference on Bioinformatics Research and Applications, ISBRA 2018, held in Beijing, China, in June 2018.The 24 full and 10 short papers presented in this volume were carefully reviewed and selected from a total of 138 submissions. They were organized in topical sections named: network analysis and modelling; genomic data analysis; ... En savoir plus

    46,34 €

  • Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX

    Special Issue on Database- and Expert-Systems Applications

    Modifié par Abdelkader Hameurlain, Roland Wagner, Djamal Benslimane, Ernesto Damiani, William I. Grosky ...
    Collection series Computer Science (R0)
    This, the 39th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains extended and revised versions of seven papers selected from the 37 contributions presented at the 28th International Conference on Database and Expert Systems Applications, DEXA 2017, held in Lyon, France, in August 2017. Topics covered include knowledge bases, clustering algorithms, parallel ... En savoir plus

    46,34 €

  • Latest Advances In Inductive Logic Programming

    par Stephen Muggleton, Hiroaki Watanabe ...
    This book represents a selection of papers presented at the Inductive Logic Programming (ILP) workshop held at Cumberland Lodge, Great Windsor Park. The collection marks two decades since the first ILP workshop in 1991. During this period the area has developed into the main forum for work on logic-based machine learning. The chapters cover a wide variety of topics, ranging from theory and ILP ... En savoir plus

    30,48 €

  • Pattern Recognition

    40th German Conference, GCPR 2018, Stuttgart, Germany, October 9-12, 2018, Proceedings

    Modifié par Thomas Brox, Andrés Bruhn, Mario Fritz ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 40th German Conference on Pattern Recognition, GCPR 2018, held in Stuttgart, Germany, in October 2018.The 48 revised full papers presented were carefully reviewed and selected from 118 submissions. The German Conference on Pattern Recognition is the annual symposium of the German Association for Pattern Recognition (DAGM). It is the national ... En savoir plus

    83,42 €

  • Computer Algebra in Scientific Computing

    20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

    Modifié par Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 20th International Workshop on Computer Algebra in Scientific Computing, CASC 2018, held in Lille, France, in September 2018.The 24 full papers of this volume presented with an abstract of an invited talk and one paper corresponding to another invited talk were carefully reviewed and selected from 29 submissions. They deal with cutting-edge research in ... En savoir plus

    60,24 €