Search

Your search keyword '"Schmitt, Peter"' showing total 1,221 results

Search Constraints

Start Over You searched for: Author "Schmitt, Peter" Remove constraint Author: "Schmitt, Peter"
1,221 results on '"Schmitt, Peter"'

Search Results

8. The Blue Ribbon Committee II Report and Recommendations on Surgical Education and Training in the United States: 2024

14. Benchmarking Relief-Based Feature Selection Methods for Bioinformatics Data Mining

15. Towards just planning: on the relationship between procedural and distributive justice in local development actions.

17. A Short History of KeY

18. Two First-Order Theories of Ordinals

20. Educating planning professionals to promote the transformation towards carbon-free cities and regions – a survey of planning schools in Europe

21. Spatial Planning Systems in Europe : Comparison and Trajectories

25. Disclosing the logics of non-statutory regional planning : the case of Sweden

27. On the diversity of spatial planning instruments across Europe

28. Do new brooms sweep clean? Striving for ‘A Just Europe’ in the Territorial Agenda 2030

29. Near Earth Asteroid Low-Energy Redirection

32. XV. Beschreibungen ausgewählter Fachsprachen II: technische Fachsprachen des Deutschen und Fachsprachen angewandter Wissenschaften im 19. und 20. Jahrhundert

33. Formal Verification with KeY: A Tutorial

34. Modular Specification and Verification

35. Theories

36. First-Order Logic

39. Proving JDK’s Dual Pivot Quicksort Correct

40. A Mechanizable First-Order Theory of Ordinals

44. Spacefilling knots

45. A Comparison of Devices for Race Day Characterization of North American Turfgrass Thoroughbred Racing Surfaces.

47. Axiomatization of Typed First-Order Logic

48. Exploring spatial justice in times of disruptions : Introduction to the special issue

49. Dissolution rather than consolidation - questioning the existence of the comprehensive-integrative planning model

50. Approaching spatial justice in local development actions : A European comparative perspective on promoters, inhibitors, and achievements

Catalog

Books, media, physical & digital resources