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

    Avant CHF 22.66 Après CHF 15.07

  • 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

  • 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

  • Engineering Secure Software and Systems

    9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 submissions.The goal of this symposium is to bring together researchers and practitioners to advance the states of the art ... En savoir plus

    CHF 53.14

  • Theory and Practice of Model Transformation

    10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

    Modifié par Esther Guerra, Mark van den Brand ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; ... En savoir plus

    CHF 53.14

  • Beyond-CMOS Technologies for Next Generation Computer Design

    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

    CHF 127.83

  • Algorithms and Architectures for Parallel Processing

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

    Modifié par Jaideep Vaidya, Jin Li ...
    Collection Livre 3 - 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

    CHF 53.14

  • 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

  • Lógica de programación

    En este libro aprenderás a programar en el lenguaje C o en Java, para comenzar primero necesitamos pensar de forma correcta para poder llegar a solucionar problemas dentro del ramo de programación, al principio veremos definiciones, además de conceptos esenciales dentro de este mundo, ya que es importante comenzar de lo básico, hasta llegar a lo avanzado.Comenzaremos viendo algoritmos, después ... En savoir plus

    CHF 6.50

  • Computer Algebra in Scientific Computing

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

    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

    CHF 69.35

  • Next Generation Arithmetic

    Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers

    Modifié par John Gustafson, Vassil Dimitrov ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Third International Conference on Next Generation Arithmetic, CoNGA 2022, which was held in Singapore, during March 1–3, 2022.The 8 full papers included in this book were carefully reviewed and selected from 12 submissions. They deal with emerging technologies for computer arithmetic focusing on the demands of both AI and high-performance ... En savoir plus

    CHF 63.91

  • Fractions, Ratios, and Roots

    Rediscover the Basics and Learn About Interesting Applications

    par Renate Motzer ...
    Collection series Mathematics and Statistics (R0)
    Renate Motzer introduces the world of fractions and connects them with decimal numbers. She clearly shows that fractions can be understood as parts of a whole, but also as ratios of two quantities. The author clearly shows why roots cannot be exactly indicated by fractions, how to find good approximations and why an unusual addition of fractions can lead to paradoxical results. Furthermore, she ... En savoir plus

    CHF 5.00

  • Learning and Intelligent Optimization

    12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Learning and Intelligent Optimization, LION 12, held in Kalamata, Greece, in June 2018.The 28 full papers and 12 short papers presented have been carefully reviewed and selected from 62 submissions. The papers explore the advanced research developments in such interconnected fields as ... En savoir plus

    CHF 53.14

  • Recent Developments in Intelligent Nature-Inspired Computing

    Modifié par Srikanta Patnaik ...
    The development of nature-inspired computational techniques has enhanced problem solving in dynamic and uncertain environments. By implementing effective computing strategies, this ensures adaptable, self-organizing, and decentralized behavioral techniques. Recent Developments in Intelligent Nature-Inspired Computing is an authoritative reference source for the latest scholarly material on natural ... En savoir plus

    CHF 131.11

  • Calidad de Sistemas de Información (4ª edición ampliada y actualizada)

    En la actualidad, todas las organizaciones son en alguna manera “empresas de software”, ya que la calidad de sus sistemas de información se ha convertido en uno de sus principales objetivos estratégicos y, más que nunca, su propia supervivencia depende de la calidad de los productos y servicios informáticos._x000D_ La industria del software tiene casi setenta años y en este período ha realizado ... En savoir plus

    CHF 9.48 ou Gratuit avec Kobo Plus

  • Implementación de un servidor con Linux Debian paso a paso

    Este libro ofrece una guía práctica para aprender a administrar Linux mediante la distribución Debian y crear un servidor completo capaz de proporcionar múltiples servicios dentro de una red. A través de explicaciones claras y progresivas, el lector desarrollará un proyecto real en el que configurará un servidor funcional utilizando tecnologías ampliamente empleadas en entornos profesionales. ... En savoir plus

    CHF 9.48 ou Gratuit avec Kobo Plus

  • Johan van Benthem on Logic and Information Dynamics

    Modifié par Alexandru Baltag, Sonja Smets ...
    Collection series Philosophy and Religion (R0)
    This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire ... En savoir plus

    CHF 212.47

  • Euro-Par 2018: Parallel Processing Workshops

    Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the workshops held at 24th International Conference on Parallel and Distributed Computing, Euro-Par 2018, which took place in Turin, Italy, in August 2018.The 64 full papers presented in this volume were carefully reviewed and selected from 109 submissions.Euro-Par is an annual, international conference in Europe, covering all aspects of parallel ... En savoir plus

    CHF 106.28

  • Machine Learning in VLSI Computer-Aided Design

    Collection series Engineering (R0)
    This book provides readers with an up-to-date account of the use of machine learning frameworks, methodologies, algorithms and techniques in the context of computer-aided design (CAD) for very-large-scale integrated circuits (VLSI). Coverage includes the various machine learning methods used in lithography, physical design, yield prediction, post-silicon performance analysis, reliability and ... En savoir plus

    CHF 212.47

  • 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

  • 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