Search

Your search keyword '"Doose A"' showing total 56 results

Search Constraints

Start Over You searched for: Author "Doose A" Remove constraint Author: "Doose A" Publication Type eBooks Remove constraint Publication Type: eBooks
56 results on '"Doose A"'

Search Results

1. Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains

3. Mixed Criticality Scheduling of Probabilistic Real-Time Systems

5. Source Code Analysis with a Temporal Extension of First-Order Logic

7. Genome-Wide Identification of Non-coding RNAs in Komagatella pastoris str. GS115

8. A Modeling Framework for Software Architecture Specification and Validation

9. The Trouble with Long-Range Base Pairs in RNA Folding

10. Supporting Model Based Design

12. Polyhedra-Based Approach for Incremental Validation of Real-Time Systems

16. Nervensystem

19. Nervensystem

21. Absences

22. Zerebrale Anfälle — differentialdiagnostische Überlegungen in der Praxis

23. Nervensystem

24. Nervensystem

38. HLA and Epilepsy

39. Twin Studies in Epilepsy

44. Photosensitivity

Catalog

Books, media, physical & digital resources