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

Kobo Rakuten

Ma 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...


1-12 sur 12 résultats pour « andreas rauh »
Skip side bar filters

  • Design and Verification of Cyber-Physical Systems: From Theory to Applications

    Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday

    Modifié par Andreas Rauh, Bernd Finkbeiner, Paul Kröger ...
    Collections series Computer Science (R0)
    This Festschrift is dedicated to Martin Fränzle, a leading researcher in formal methods and cyber-physical systems. After an award-winning PhD at Christian Albrechts Universität zu Kiel, Prof. Fränzle has had roles as a researcher, associate professor, and guest professor at institutions such as the Chinese Academy of Sciences, the University of Oxford, and the Technical University of Denmark. In ... En savoir plus

    $102.99 CAD

  • Set-Valued Approaches to Control and Estimation of Uncertain Systems

    Theory and Applications

    Modifié par Thach Ngoc Dinh, Andreas Rauh, Sze Zheng Yong, Zhenhua Wang ...
    Collections series Intelligent Technologies and Robotics (R0)
    This edited book presents recent advances in state estimation, robust control synthesis, system identification, fault detection, localization, and optimization, with a particular emphasis on interval-based methods and set-membership techniques. Covering both theoretical developments and practical applications, the book brings together contributions from recognized experts in these research areas ... En savoir plus

    $217.79 CAD

  • Variable-Structure Approaches

    Analysis, Simulation, Robust Control and Estimation of Uncertain Dynamic Processes

    Modifié par Andreas Rauh, Luise Senkel ...
    Collections series Engineering (R0)
    This edited book aims at presenting current research activities in the field of robust variable-structure systems. The scope equally comprises highlighting novel methodological aspects as well as presenting the use of variable-structure techniques in industrial applications including their efficient implementation on hardware for real-time control. The target audience primarily comprises research ... En savoir plus

    $115.29 CAD

  • BENNI - (S)Eine wahre Geschichte

    par Andreas Rauh ...
    Stell dir vor, dein Leben ist scheiße! Du bist dreizehn, klein, ängstlich und hast keine richtigen Freunde. Dein kleiner Bruder nervt, dein Vater ist ein aggressiver Tyrann und wenn deine Mutter sich nicht gerade selbst bemitleidet, kommandiert sie dich nur herum. Und die Schule... Stell dir vor, du begegnest zum ersten Mal in deinem Leben jemandem, dem du vollständig vertraust und der dich mag - ... En savoir plus

    $9.99 CAD

  • Livre audio

    BENNI - (S)Eine wahre Geschichte (Ungekürzt)

    par Andreas Rauh ...
    Lu par Christian Böhnke ...

    Version Longue

    10 heure 51 min

    Stell dir vor, dein Leben ist scheiße! Du bist dreizehn, klein, ängstlich und hast keine richtigen Freunde. Dein kleiner Bruder nervt, dein Vater ist ein aggressiver Tyrann und wenn deine Mutter sich nicht gerade selbst bemitleidet, kommandiert sie dich nur herum. Und die Schule... Stell dir vor, du begegnest zum ersten Mal in deinem Leben jemandem, dem du vollständig vertraust und der dich mag - ... En savoir plus

    $28.99 CAD ou Gratuit avec Kobo Plus

Les lecteurs de ces romans ont aussi aimé

  • Computer Aided Verification

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

    Modifié par Shuvendu K. Lahiri, Chao Wang ...
    Collections Livre 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 ... En savoir plus

    Gratuit

  • Handbook of Blind Source Separation

    Independent Component Analysis and Applications

    Modifié par Pierre Comon, Christian Jutten ...
    Edited by the people who were forerunners in creating the field, together with contributions from 34 leading international experts, this handbook provides the definitive reference on Blind Source Separation, giving a broad and comprehensive description of all the core principles and methods, numerical algorithms and major applications in the fields of telecommunications, biomedical engineering and ... En savoir plus

    $145.99 CAD

  • Computer Aided Verification

    30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

    Modifié par Hana Chockler, Georg Weissenbacher ...
    Collections Livre 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... En savoir plus

    Gratuit

  • The Science of Deep Learning

    par Iddo Drori ...
    The Science of Deep Learning emerged from courses taught by the author that have provided thousands of students with training and experience for their academic studies, and prepared them for careers in deep learning, machine learning, and artificial intelligence in top companies in industry and academia. The book begins by covering the foundations of deep learning, followed by key deep learning ... En savoir plus

    $61.99 CAD

  • Formal Methods

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

    Modifié par André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...
    Collections Livre 1 - 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 ... En savoir plus

    Gratuit

  • Fuzzy Neural Networks for Real Time Control Applications

    Concepts, Modeling and Algorithms for Fast Learning

    par Erdal Kayacan, Mojtaba Ahmadieh Khanesar ...
    AN INDISPENSABLE RESOURCE FOR ALL THOSE WHO DESIGN AND IMPLEMENT TYPE-1 AND TYPE-2 FUZZY NEURAL NETWORKS IN REAL TIME SYSTEMS Delve into the type-2 fuzzy logic systems and become engrossed in the parameter update algorithms for type-1 and type-2 fuzzy neural networks and their stability analysis with this book! Not only does this book stand apart from others in its focus but also in its ... En savoir plus

    $87.99 CAD

  • Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

    Modifié par Alexandra Silva, K. Rustan M. Leino ...
    Collections Livre 2 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... En savoir plus

    Gratuit