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 423
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 45.95

  • 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

  • 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

  • PIC® Micro Principles Teachers Pack V11

    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 3.39

  • Computer Networks Laboratory

    2023006, #6

    par NA.VIKRAMAN ...
    Collection Livre 6 - 2023006
    This course provides students with hands on training regarding the design, troubleshooting, modeling and evaluation of computer networks. In this course, students are going to experiment in a real test-bed networking environment, and learn about network design and troubleshooting topics and tools such as: network addressing, Address Resolution Protocol (ARP), basic troubleshooting tools (e.g. ping ... En savoir plus

    CHF 14.00

  • Non-Axiomatic Logic

    A Model of Intelligent Reasoning

    par Pei Wang ...
    This book provides a comprehensive, up-to-date, and rigorously detailed introduction to Non-Axiomatic Logic (NAL), a groundbreaking framework for adaptive systems operating under conditions of insufficient knowledge and resources. Designed according to the principles of human cognition, NAL serves as a cornerstone for advancing general-purpose Artificial Intelligence while addressing many topics ... En savoir plus

    CHF 75.09

  • Web Information Systems Engineering – WISE 2018

    19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part II

    Collection Livre 2 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 11233 and LNCS 11234 constitutes the proceedings of the 19th International Conference on Web Information Systems Engineering, WISE 2018, held in Dubai, United Arab Emirates, in November 2018.The 48 full papers and 21 short papers presented were carefully reviewed and selected from 209 submissions. The papers are organized in topical sections on blockchain, security, social ... En savoir plus

    CHF 53.14

  • High Performance Computing

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

    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

    CHF 53.14

  • 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

  • Reversible Computation

    9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

    Modifié par Hafizur Rahaman, Iain Phillips ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017.The 13 full and 5 short papers included in this volume together with one invited paper were carefully reviewed and selected from 47 submissions. The papers are organized in the following topical sections: foundations; reversible circuit ... En savoir plus

    CHF 53.14

  • The Ultimate Systems Analyst Guide to AI — For Beginners

    The Ultimate Systems Analyst Guide to AI — for BeginnersWhat if understanding and using AI wasn't about coding, but about asking the right questions?This is not a guide for tech wizards. It's a powerful field manual for anyone — especially those working in business, education, consulting, project management, writing, or administration — who wants to learn how to think like a systems analyst and ... En savoir plus

    CHF 7.50 ou Gratuit avec Kobo Plus

  • High Performance Computing

    ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 – July 2, 2021, Revised Selected Papers

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post-conference proceedings of 9 workshops held at the 35th International ISC High Performance 2021 Conference, in Frankfurt, Germany, in June-July 2021:Second International Workshop on the Application of Machine Learning Techniques to Computational Fluid Dynamics and Solid Mechanics Simulations and Analysis; HPC-IODC: HPC I/O in the Data Center Workshop; ... En savoir plus

    CHF 106.28

  • High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation

    8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings papers from the 8th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems, PMBS 2017, held in Denver, Colorado, USA, in November 2017.The 10 full papers and 3 short papers included in this volume were carefully reviewed and selected from 36 submissions. They were organized in topical sections ... En savoir plus

    CHF 53.14

  • Algorithms and Complexity

    11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings

    Modifié par Pinar Heggernes ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed conference proceedings of the 11th International Conference on Algorithms and Complexity, CIAC 2019, held in Rome, Italy, in May 2019.The 30 full papers were carefully reviewed and selected from 95 submissions. The International Conference on Algorithms and Complexity is intended to provide a forum for researchers working in all aspects of computational ... En savoir plus

    CHF 70.27

  • Computational Science – ICCS 2019

    19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

    Collection Livre 4 - Springer Nature Proceedings Computer Science
    The five-volume set LNCS 11536, 11537, 11538, 11539 and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.The total of 65 full papers and 168 workshop papers presented in this book set were carefully reviewed and selected from 573 submissions (228 submissions to the main track and 345 submissions to the ... En savoir plus

    CHF 95.92

  • Architecture of Computing Systems – ARCS 2019

    32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 32nd International Conference on Architecture of Computing Systems, ARCS 2019, held in Copenhagen, Denmark, in May 2019.The 24 full papers presented in this volume were carefully reviewed and selected from 40 submissions. ARCS has always been a conference attracting leading-edge research outcomes in Computer Architecture and Operating Systems, including ... En savoir plus

    CHF 69.35

  • High Performance Computing for Computational Science -- VECPAR 2014

    11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on High Performance Computing for Computational Science, VECPAR 2014, held in Eugene, OR, USA, in June/July 2014.The 25 papers presented were carefully reviewed and selected of numerous submissions. The papers are organized in topical sections on algorithms for GPU and manycores, large ... En savoir plus

    CHF 53.14

  • Den Ultimata Guiden till AI för Systemanalytiker

    Den Ultimata Guiden till AI för Systemanalytiker – för NybörjareTänk om nyckeln till att förstå och använda AI inte handlade om kodning – utan om att ställa rätt frågor?Det här är inte en handbok för teknikgurus. Det är en praktisk fältmanual för dig som arbetar inom exempelvis företagande, utbildning, konsultverksamhet, projektledning, skrivande eller administration – och som vill lära dig tänka ... En savoir plus

    CHF 7.50 ou Gratuit avec Kobo Plus

  • Formal Verification of Floating-Point Hardware Design

    A Mathematical Approach

    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

    CHF 117.06

  • Practical JavaScript: Real-world Examples for Web Developers

    par Drovian Carvel ...
    So, you want to learn JavaScript? Excellent choice. It's the language that powers the web, sneaks into almost every website you visit, and occasionally causes you to yell at your screen because "undefined is not a function." (Don't worry—you'll get used to it.)Practical JavaScript: Real-world Examples for Web Developers isn't your average "dry as toast" programming book. This one's packed with ... En savoir plus

    CHF 19.50 ou Gratuit avec Kobo Plus

  • 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

  • Speech Processing in Embedded Systems

    Collection series Engineering (R0)
    Speech Processing has rapidly emerged as one of the most widespread and well-understood application areas in the broader discipline of Digital Signal Processing. Besides the telecommunications applications that have hitherto been the largest users of speech processing algorithms, several non-traditional embedded processor applications are enhancing their functionality and user interfaces by ... En savoir plus

    CHF 106.28

  • High-Performance Computing Applications in Numerical Simulation and Edge Computing

    ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the referred proceedings of two workshops held at the 32nd ACM International Conference on Supercomputing, ACM ICS 2018, in Beijing, China, in June 2018. This volume presents the papers that have been accepted for the following workshops: Second International Workshop on High Performance Computing for Advanced Modeling and Simulation in Nuclear Energy and Environmental ... En savoir plus

    CHF 53.14