Der Perlentaucher unter den Buchläden Eichendorff21

Suchergebnis

Gefundene Autoren: Bruno Berstel-Da Silva oder Cas Cremers oder Sjouke Mauw oder Markus Gabriel oder Nanny Grün

1. 

   Markus Gabriel / René Scheu

   Sätze über Sätze

   ABC des wachen Denkens

   • Kein + Aber
   • 2023

   • Gebunden
   • 152 Seiten

   20,00€

   Auf Lager

   Wir leben im Zeitalter der Hyperkomplexität. Das klingt komplizierter, als es ist. Der Grundgedanke ist simpel: Komplex ist nicht nur kompliziert, al…

2. 

   eng

   Sebastian Junger

   Freedom

   • Harper Collins Publ. UK
   • 2022

   • Taschenbuch
   • 147 Seiten

   12,00€

   Auf Lager

   **A profound rumination on the concept of freedom from the bestselling author of _The Perfect Storm_**

3. 

   eng

   Heike Thieme

   Little Wolf VI

   At Least About Love and Other Things

   • Books on Demand
   • 2020

   • Taschenbuch
   • 120 Seiten

   23,99€

   in Kürze

   I have my lust, the gift comes only from my body. I set my own goals. I know how to change, it's not about me, to let myself be socially absorbed, an…

4. 

   Nanny Grün

   Manifest der politischen Korrektheit - Teil 1

   Im Denken nie allein

   • Books on Demand
   • 2019

   • Taschenbuch
   • 124 Seiten

   9,99€

   in Kürze

   Nanny Grün hilft uns, korrekt und gut zu denken. Ein politischer Knigge für alle, die nicht rechts vom Weg abkommen wollen.

5. 

   eng

   Bruno Berstel-Da Silva

   Verification of Business Rules Programs

   • Springer Berlin Heidelberg
   • 2016

   • Taschenbuch
   • 256 Seiten

   53,49€

   in Kürze

   Rules represent a simplified means of programming, congruent with our understanding of human brain constructs. With the advent of business rules mana…

6. 

   eng

   Reliable Software Technologies ¿ Ada-Europe 2016

   21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

   • Springer International Publishing
   • 2016

   • Taschenbuch
   • 228 Seiten

   53,49€

   in Kürze

   This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, he…

7. 

   eng

   Formal Methods: Foundations and Applications

   17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

   • Springer International Publishing
   • 2015

   • Taschenbuch
   • 192 Seiten

   42,80€

   in Kürze

   This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Macei…

8. 

   eng

   Sjouke Mauw / Cas Cremers

   Operational Semantics and Verification of Security Protocols

   • Springer Berlin Heidelberg
   • 2014

   • Taschenbuch
   • 188 Seiten

   53,45€

   in Kürze

9. 

   eng

   Automated Technology for Verification and Analysis

   12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

   • Springer International Publishing
   • 2014

   • Taschenbuch
   • 456 Seiten

   53,49€

   in Kürze

   This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in S…

10. 

    eng

    Bruno Berstel-Da Silva

    Verification of Business Rules Programs

    • Springer Berlin Heidelberg
    • 2014

    • Gebunden
    • 256 Seiten

    53,49€

    in Kürze

    Rules represent a simplified means of programming, congruent with our understanding of human brain constructs. With the advent of business rules mana…

11. 

    eng

    Sjouke Mauw / Cas Cremers

    Operational Semantics and Verification of Security Protocols

    • Springer Berlin Heidelberg
    • 2012

    • Gebunden
    • 188 Seiten

    69,54€

    in Kürze

    Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use stro…

12. 

    eng

    Foundations of Software Science and Computational Structures

    12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

    • Springer Berlin Heidelberg
    • 2009

    • Taschenbuch
    • 488 Seiten

    53,49€

    in Kürze

    This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, …