OceanOfPDF

OceanOfPDF since 2018

Ahrendt Books

Books (10+)
Articles

Want to get more search results?
Login

1

Crashkurs BWL

Crashkurs BWL

Haufe Mediengruppe

Bernd Ahrendt

Year:

2004

Language:

German

File:

PDF

5.0 / 5.0

2

Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

Springer International Publishing;Springer

Wolfgang Ahrendt

Edition:

1st ed.

Year:

2020

Language:

English

File:

PDF

4.0 / 5.0

3

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Springer International Publishing;Springer

Wolfgang Ahrendt

Edition:

1st ed.

Year:

2020

Language:

English

File:

PDF

5.0 / 5.0

4

Hauptsache zusammen!

Hauptsache zusammen!

Dt. Taschenbuch-Verl

Ahrendt

Edition:

Orig.-ausg., 2. Aufl

Year:

1997

Language:

German

File:

EPUB

5.0 / 5.0

5

Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Springer International Publishing

Wolfgang Ahrendt

Edition:

1st ed. 2019

Year:

2019

Language:

English

File:

PDF

4.0 / 5.0

6

Music and Diplomacy from the Early Modern Era to the Present

Music and Diplomacy from the Early Modern Era to the Present

Palgrave Macmillan US

Rebekah Ahrendt

Year:

2014

Language:

English

File:

PDF

4.0 / 5.0

7

S*xualmedizin in der Gynäkologie

S*xualmedizin in der Gynäkologie

Springer-Verlag Berlin Heidelberg

Prof. Dr. med. Hans-Joachim Ahrendt

Year:

2015

Language:

German

File:

PDF

5.0 / 5.0

8

Crashkurs BWL.

Crashkurs BWL.

Haufe Mediengruppe

Bernd Ahrendt

Year:

2004

Language:

German

File:

PDF

5.0 / 5.0

9

Deductive Software Verification – The KeY Book: From Theory to Practice

Deductive Software Verification – The KeY Book: From Theory to Practice

Springer International Publishing

Wolfgang Ahrendt

Year:

2016

Language:

English

File:

PDF

5.0 / 5.0

10

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Springer

Wolfgang Ahrendt

Year:

2022

Language:

English

File:

PDF

5.0 / 5.0

Want to get more search results?
Login