Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “carla held”
Skip side bar filters

  • Praxisbuch Biofeedback und Neurofeedback

    by Karl-Michael Haus, Carla Held, Axel Kowalski, Andreas Krombholz, Manfred Nowak, Edith Schneider, Gert Strauß, Meike Wiedemann ...
    Series series Medicine (German Language)
    Stressreaktionen bewusst wahrnehmen und durch Selbstregulation kontrollierenDieses Praxisbuch zeigt die Behandlungsmöglichkeiten von psychischen und durch Stress verursachte Erkrankungen mithilfe von Biofeedback und Neurofeedback. Anhand von Messgeräten und spezieller Software erlernen Patienten Achtsamkeit und ihre Beschwerden direkt zu beeinflussen. Die Selbstregulation autonomer ... Read more

    $35.99 USD

  • Praxisbuch Biofeedback und Neurofeedback

    by Karl-Michael Haus, Carla Held, Axel Kowalski, Andreas Krombholz, Manfred Nowak, Edith Schneider, Gert Strauß, Meike Wiedemann ...
    Series series Medicine (German Language)
    Ob Angststörungen, chronische Schmerzsyndrome oder Inkontinenz: Dieses Praxisbuch erläutert Ergotherapeuten, Psychotherapeuten und Physiotherapeuten die Funktionsweise und Anwendung der gängigen Biofeedback- und Neurofeedback-Verfahren. Krankheitsbilder aus Orthopädie, Neurologie und Psychiatrie können effizient behandelt und Beschwerden des Patienten nachweislich gelindert werden ... Read more

    $53.99 USD

  • Formal Techniques for Distributed Objects, Components, and Systems

    45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings

    Edited by Carla Ferreira, Claudio Antares Mezzina ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in June 2025, as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, during June 16–20, 2025.The 8 full papers and 5 short papers included in this ... Read more

    $62.99 USD

  • Schweinchen Carla und der Held vom Bauernhof - Bilderbuch für Kinder ab 3 bis 7 Jahren

    by Erika Pleschke ...
    Auf einem Bauernhof lebt Hahn Rico mit seinen Hennen. Rico leidet schrecklich unter Langeweile. Eines Tages aber ziehen neue Tiere auf den Hof. Unter ihnen ist das Schweinchen Carla. Es sieht so lustig aus! Bald hat Rico es heimlich tief ins Herz geschlossen. Doch dann, in einer dunklen Nacht, schleicht plötzlich ein Räuber um die Ställe. Und Hahn Rico muss zum Helden werden ... denn Carla ist in ... Read more

    $5.99 USD

People who read these also enjoyed

  • Formal Methods

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

    Edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...
    Series Book 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 ... Read more

    Free

  • 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

    Edited by Hana Chockler, Georg Weissenbacher ...
    Series Book 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 ... Read more

    Free

  • Computer Aided Verification

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

    Edited by Alexandra Silva, K. Rustan M. Leino ...
    Series Book 1 - 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 ... Read more

    Free

  • Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

    Edited by Bernd Finkbeiner, Laura Kovács ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions ... Read more

    Free

  • Computer Aided Verification

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

    Edited by Shuvendu K. Lahiri, Chao Wang ...
    Series Book 1 - 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 ... Read more

    Free

  • Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

    Edited by Isil Dillig, Serdar Tasiran ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical ... Read more

    Free

  • Formal Methods

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

    Edited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...
    Series Book 2 - 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 ... Read more

    Free

  • Computer Aided Verification

    34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

    Edited by Sharon Shoham, Yakir Vizel ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022.The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following ... Read more

    Free