کتاب های Bernhard Reus (auth.)
![Fehlzeiten-Report 2011: Führung und Gesundheit: Zahlen, Daten, Analysen aus allen Branchen der Wirtschaft](http://cdn.ketabkoo.com/covers/1/141243-n.jpg)
Fehlzeiten-Report 2011: Führung und Gesundheit: Zahlen, Daten, Analysen aus allen Branchen der Wirtschaft
Franziska Franke, Prof. Dr. Jörg Felfe (auth.), Prof. Dr. Bernhard Badura, Prof. Dr. Antje Ducki, Helmut Schröder, Joachim Klose, Katrin Macco (eds.), 2011![Fehlzeiten-Report 2012: Gesundheit in der flexiblen Arbeitswelt: Chancen nutzen – Risiken minimieren](http://cdn.ketabkoo.com/covers/1/141244-n.jpg)
Fehlzeiten-Report 2012: Gesundheit in der flexiblen Arbeitswelt: Chancen nutzen – Risiken minimieren
D. Sauer (auth.), Prof. Dr. Bernhard Badura, Prof. Dr. Antje Ducki, Helmut Schröder, Joachim Klose, Markus Meyer (eds.), 2012![Fehlzeiten-Report 2013: Verdammt zum Erfolg – die süchtige Arbeitsgesellschaft?](http://cdn.ketabkoo.com/covers/1/141245-n.jpg)
Fehlzeiten-Report 2013: Verdammt zum Erfolg – die süchtige Arbeitsgesellschaft?
Prof. Dr. A. Ducki (auth.), Prof. Dr. Bernhard Badura, Prof. Dr. Antje Ducki, Helmut Schröder, Joachim Klose, Markus Meyer (eds.), 2013![Fehlzeiten-Report: Psychische Belastung am Arbeitsplatz Zahlen, Daten, Fakten aus allen Branchen der Wirtschaft](http://cdn.ketabkoo.com/covers/1/141248-n.jpg)
Fehlzeiten-Report: Psychische Belastung am Arbeitsplatz Zahlen, Daten, Fakten aus allen Branchen der Wirtschaft
Rolf Jansen (auth.), Prof. Dr. Bernhard Badura, Martin Litsch, Christian Vetter (eds.), 2000![Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II](http://cdn.ketabkoo.com/covers/1/143377-n.jpg)
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012![Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II](http://cdn.ketabkoo.com/covers/1/143378-n.jpg)
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012![Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings](http://cdn.ketabkoo.com/covers/1/143380-n.jpg)
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2009![Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I](http://cdn.ketabkoo.com/covers/1/143381-n.jpg)
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010![Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I](http://cdn.ketabkoo.com/covers/1/143383-n.jpg)
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010![Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II](http://cdn.ketabkoo.com/covers/1/143384-n.jpg)
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010![Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II](http://cdn.ketabkoo.com/covers/1/143386-n.jpg)
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010![Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II](http://cdn.ketabkoo.com/covers/1/143387-n.jpg)
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010![Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers](http://cdn.ketabkoo.com/covers/1/143388-n.jpg)
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.), 2012![Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers](http://cdn.ketabkoo.com/covers/1/143389-n.jpg)
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers
Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2006![Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers](http://cdn.ketabkoo.com/covers/1/143390-n.jpg)
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers
Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2006![Studium Generale: Eitschrift für die Einheit der Wissenschaften im Zusammenhang ihrer Begriffsbildungen und Forschungsmethoden](http://cdn.ketabkoo.com/covers/1/143477-n.jpg)
Studium Generale: Eitschrift für die Einheit der Wissenschaften im Zusammenhang ihrer Begriffsbildungen und Forschungsmethoden
Dr. Bernhard Grzimek (auth.), K. H. Bauer, L. Curtius, H. v. Einem, F. Ernst, H. Friedrich, W. Fucks, E. Hoffmann, E. v. Holst, K. Jaspers, A. E. Jensen, A. Jores, H. Kuhn, Fr. Oehlkers, H. Peters, E. Preiser, K. Reidemeister, F. H. Rein, W. Röpke, H. H. Schaeder, R. Smend, G. Söhngen, H. Thielicke, J. Trier, C. Troll, A. Weber, C. F. v. Weizsäcker, G. Wenke, J. Zutt (eds.), 1950![GABLER BUSINESS-WISSEN A-Z Projektmanagement](http://cdn.ketabkoo.com/covers/1/143999-n.jpg)
GABLER BUSINESS-WISSEN A-Z Projektmanagement
Bernhard Hobel, Silke Schütte (auth.), 2006![Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings](http://cdn.ketabkoo.com/covers/1/145453-n.jpg)
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
Bernhard Möller (auth.), Harrie de Swart (eds.), 2011![Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings](http://cdn.ketabkoo.com/covers/1/145454-n.jpg)
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
Bernhard Möller (auth.), Harrie de Swart (eds.), 2011![Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings](http://cdn.ketabkoo.com/covers/1/145455-n.jpg)
Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
Han-Hing Dang, Bernhard Möller (auth.), Wolfram Kahl, Timothy G. Griffin (eds.), 2012![Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers](http://cdn.ketabkoo.com/covers/1/145456-n.jpg)
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
Raymond Bisdorff, Marc Roubens (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.), 2004![Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers](http://cdn.ketabkoo.com/covers/1/145457-n.jpg)
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
Raymond Bisdorff, Marc Roubens (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.), 2004![Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers](http://cdn.ketabkoo.com/covers/1/145458-n.jpg)
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
Raymond Bisdorff, Marc Roubens (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.), 2004![Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings](http://cdn.ketabkoo.com/covers/1/145459-n.jpg)
Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
Marc Pauly (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.), 2008![Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings](http://cdn.ketabkoo.com/covers/1/145460-n.jpg)