Home Advanced Search

Advanced Search - Page 1

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
  • PDF
  • English
  • Year: 2017
  • Author: Andrei Paskevich,Thomas Wies (eds.)
Cancer Genome and Tumor Microenvironment
Cancer Genome and Tumor Microenvironment
  • PDF
  • English
  • Year: 2010
  • Author: Andrei Thomas-Tikhonenko (auth.), Andrei Thomas-Tikhonenko (eds.)
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
  • EPUB
  • English
  • Year: 2022
  • Author: Bernd Finkbeiner, Thomas Wies
’n Beetje leuk ouder worden
  • EPUB
  • Dutch; Flemish
  • Year: 2022
  • Author: Wies Verbeek
Weiterempfehlungen mit Service-Recovery
  • PDF
  • German
  • Year: 2018
  • Author: Jana Wies
Midrasch Wajoscha: Edition - Tradition - Interpretation
Midrasch Wajoscha: Edition - Tradition - Interpretation
  • PDF
  • German
  • Year: 2015
  • Author: Elisabeth Wies-Campagner
Istoria Romaniei
  • PDF
  • Romanian
  • Author: Andrei Andrei
The Eldest Daughter Effect: How Firstborn Women – like Oprah Winfrey, Sheryl Sandberg, JK Rowling and Beyoncé – Harness their Strengths
The Eldest Daughter Effect: How Firstborn Women – like Oprah Winfrey, Sheryl Sandberg, JK Rowling and Beyoncé – Harness their Strengths
  • EPUB
  • English
  • Author: Lisette Schuitemaker, Wies Enthoven
Automated Verification of Concurrent Search Structures
Automated Verification of Concurrent Search Structures
  • PDF
  • English
  • Year: 2021
  • Author: Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies
search