Skip to main content

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 426
Skip side bar filters
  • About Face

    The Essentials of Interaction Design

    The essential interaction design guide, fully revised and updated for the mobile ageAbout Face: The Essentials of Interaction Design, Fourth Edition is the latest update to the book that shaped and evolved the landscape of interaction design. This comprehensive guide takes the worldwide shift to smartphones and tablets into account. New information includes discussions on mobile apps, touch ... En savoir plus

    CHF 33.00

  • Fundamentals of Software Architecture

    A Modern Engineering Approach

    Salary surveys worldwide regularly place software architect in the top 10 best jobs, yet no real guide exists to help developers become architects. Until now. This updated edition provides a comprehensive overview of software architecture's many aspects, with five new chapters covering the latest insights from the field. Aspiring and existing architects alike will examine architectural ... En savoir plus

    CHF 39.49

  • Entwurf integrierter 3D-Systeme der Elektronik

    Modifié par Jens Lienig, Manfred Dietrich ...
    Collection series Computer Science and Engineering (German Language)
    Der zunehmende Einsatz dreidimensional strukturierter elektronischer Schaltkreise und Baugruppen ermöglicht eine signifikante Steigerung ihrer Funktionalität durch hohe Integrationsdichten sowie heterogener Integration. Dieser heute zu beobachtende technologische Paradigmenwechsel hat einen gravierenden Einfluss auf die Vorgehensweise beim Entwurf der neuartigen Baugruppen. Das Buch stellt die ... En savoir plus

    CHF 60.11

  • Logikkalküle in der Informatik

    Wie wird Logik vom Rechner genutzt?

    par Michael Schenke ...
    Collection series Computer Science and Engineering (German Language)
    Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt: Prädikatenlogik, modale, temporale, ... En savoir plus

    CHF 22.66

  • Quantum Machine Learning and Optimisation in Finance

    On the Road to Quantum Advantage

    Learn the principles of quantum machine learning and how to apply themWhile focus is on financial use cases, all the methods and techniques are transferable to other fieldsPurchase of Print or Kindle includes a free eBook in PDFKey FeaturesDiscover how to solve optimisation problems on quantum computers that can provide a speedup edge over classical methodsUse methods of analogue and digita... ... En savoir plus

    CHF 34.87 ou Gratuit avec Kobo Plus

  • What Makes Us Smart

    The Computational Logic of Human Cognition

    How a computational framework can account for the successes and failures of human cognitionAt the heart of human intelligence rests a fundamental puzzle: How are we incredibly smart and stupid at the same time? No existing machine can match the power and flexibility of human perception, language, and reasoning. Yet, we routinely commit errors that reveal the failures of our thought processes. What ... En savoir plus

    CHF 23.18

  • Parallel Computational Technologies

    13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th International Conference on Parallel Computational Technologies, PCT 2019, held in Kaliningrad, Russia, in April 2019.The 24 revised full papers presented were carefully reviewed and selected from 96 submissions. The papers are organized in topical sections on high performance architectures, tools and technologies; parallel numerical ... En savoir plus

    CHF 53.14

  • Building Recommendation Systems in Python and JAX

    Hands-On Production Systems at Scale

    Implementing and designing systems that make suggestions to users are among the most popular and essential machine learning applications available. Whether you want customers to find the most appealing items at your online store, videos to enrich and entertain them, or news they need to know, recommendation systems (RecSys) provide the way.In this practical book, authors Bryan Bischof and Hector ... En savoir plus

    CHF 39.49

  • OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence

    4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 4th OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2017.The 11 full papers presented in this book were carefully reviewed and selected from 14 submissions. The papers discuss a variety of ideas for extending the OpenSHMEM specification and making it efficient for current and next generation systems. This includes new research for ... En savoir plus

    CHF 45.03

  • Employability Skills

    Brush Up Your Computing

    An enhanced eBook published in full colour. Now including extensive interactive content enabling exploration by inserting any values that would occur in a real situation whereby the graphics are redrawn to reflect those changes.Calculations can be also tested against any standard subject textbook to compare the results.Interactive Technology when used in the classroom can motivate passive students ... En savoir plus

    CHF 2.94

  • Java How To Improve Coding Skills

    Training Lessons Of Expert Beginners

    par Mohmad Yakub ...
    I dedicate this book as a medium of hope for thoseWho is unaware of any approach to craft any programming logic?Who had a hard time learning to program?Who had some experience in programming and have no confidence?Who carries the False notion that coding is only for super-smart people.Who is looking for 1st solid move to become a self-taught programmer?Who is the victim of discouragement comments ... En savoir plus

    CHF 8.06 ou Gratuit avec Kobo Plus

  • Trustworthy Hardware Design: Combinational Logic Locking Techniques

    Collection series Engineering (R0)
    With the popularity of hardware security research, several edited monograms have been published, which aim at summarizing the research in a particular field. Typically, each book chapter is a recompilation of one or more research papers, and the focus is on summarizing the state-of-the-art research.Different from the edited monograms, the chapters in this book are not re-compilations of research ... En savoir plus

    CHF 90.48

  • Learning ROS for Robotics Programming Second Edition

    Take control of the Linux based Robot Operating System, and discover the tools, libraries, and conventions you need to create your own robots without the hassle.

    Key FeaturesBook DescriptionIf you have ever tried building a robot, then you know how cumbersome programming everything from scratch can be. This is where ROS comes into the picture. It is a collection of tools, libraries, and conventions that simplifies the robot building process. What’s more, ROS encourages collaborative robotics software development, allowing you to connect with experts in ... En savoir plus

    CHF 39.70 ou Gratuit avec Kobo Plus

  • Reversible Computation: Extending Horizons of Computing

    Selected Results of the COST Action IC1405

    Collection series Computer Science (R0)
    This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019.Reversible computation is a new paradigm that extends the traditional forwards-only ... En savoir plus

    Gratuit

  • Computational Science and Its Applications – ICCSA 2019

    19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II

    Collection Livre 2 - Springer Nature Proceedings Computer Science
    The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five ... En savoir plus

    CHF 104.44

  • Advanced Artificial Intelligence (Second Edition)

    par Zhongzhi Shi ...
    Collection Livre 4 - Series On Intelligence Science
    The joint breakthrough of big data, cloud computing and deep learning has made artificial intelligence (AI) the new focus in the international arena. AI is a branch of computer science, developing intelligent machine with imitating, extending and augmenting human intelligence through artificial means and techniques to realize intelligent behaviour.This comprehensive compendium, consisting of 15 ... En savoir plus

    CHF 103.00

  • Fundamentals of Logic and Computation

    With Practical Automated Reasoning and Verification

    par Zhe Hou ...
    Collection series Computer Science (R0)
    This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. ... En savoir plus

    CHF 63.91

  • Logic Circuit Design

    Selected Topics and Methods

    Collection series Engineering (R0)
    The 2nd edition has been thoroughly revised and is intended as a wakeup call in the stagnant and dormant field of switching algebra and logic circuit design. It presents the material in a concise but thorough way. The topics selected are an in-depth presentation of switching algebra, a theory of memory circuits (sometimes called flop flops), a new approach to asynchronous circuits, and a newly ... En savoir plus

    CHF 159.33

  • Multiple-Valued Logic Design

    an Introduction

    par G Epstein ...
    Multiple-Valued Logic Design: An Introduction explains the theory and applications of this increasingly important subject. Written in a clear and understandable style, the author develops the material in a skillful way. Without using a huge mathematical apparatus, he introduces the subject in a general form that includes the well-known binary logic as a special case. The book is further enhanced ... En savoir plus

    CHF 431.16

  • Logic Functions and Equations

    Binary Models for Computer Science

    Collection series Computer Science (R0)
    The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science. The approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods.Updated throughout, some major additions for the 2nd edition ... En savoir plus

    CHF 180.98

  • Supercomputing Frontiers

    4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

    Modifié par Rio Yokota, Weigang Wu ...
    Collection series Springer Nature Proceedings Computer Science
    It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore in March 2018. Supercomputing Frontiers will be rebranded as Supercomputing Frontiers Asia (SCFA), which serves as the technical programme for SCA18. The technical programme for SCA18 consists of four tracks:Application, Algorithms & LibrariesProgramming System SoftwareArchitecture, ... En savoir plus

    Gratuit

  • Learn Digital and Microprocessor Techniques on your Smartphone

    An enhanced eBook published in full colour. Now including extensive interactive content enabling exploration by inserting any values that would occur in a real situation whereby the graphics are redrawn to reflect those changes.Calculations can be also tested against any standard subject textbook to compare the results.Interactive Technology when used in the classroom can motivate passive students ... En savoir plus

    CHF 2.94

  • Virtual Leadership

    Secrets from the Round Table for the Multi-Site Manager

    This book, with the legendary leader King Arthur, shows you how to transform a geographically distributed team that's falling short of its goals, into a "virtual work group" that gets results. ... En savoir plus

    CHF 7.00

  • Pattern Recognition and Image Analysis

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

    Collection Livre 2 - 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

    CHF 87.30