1. //
  2. Start
  3. //
  4. Zeitschriften
  5. //
  6. Formal Methods in Computer-Aided Design,...
  7. //
  8. Publikationen
  9. //

Formal Methods in Computer-Aided Design, FMCAD

Fachzeitschrift: Zeitschrift

Zuletzt angesehen

Aktivitäten

  1. Fabricating the Digital Citizen
  2. Barnboken (Zeitschrift)
  3. (Un-)Scripted: Between the Frontstages, Backstages, and Understages of Organizational Innovating
  4. Educating through pricing? Linking Sustainable Products' availability and pricing in schools and the development of sustainable consumer competence
  5. Renewing Sustainability Thinking in Light of the Anthropocene: Exploring the Potentials of STS
  6. Under Which Conditions Does Public Participation Really Advance Sustainability Goals? Findings of a Meta-Analysis of Stakeholder Involvement in Environmental Decision-making (with O. Fritsch)
  7. International Association for Language Learning Technology Conference 2017
  8. Brain Drain. John C. Lilly's Floating Tanks and the Technologization of Wellness
  9. Joint Sessions of Workshops 2024
  10. Workshop ASIM/GI-Fachgruppen 2016
  11. Organizing Mutual Awareness in Physical and Virtual Spaces
  12. Frame Conditions for Transdisciplinary Research. Transdisciplinary and historical rural and urban spatial transformation and development (TRUST)

Publikationen

  1. Knowledge on global environmental change within social praxis: what do we know?
  2. Mathematical Model of Double Row Self-Aligning Ball Bearing
  3. Effect of Planning for Connectivity on Linear Reserve Networks
  4. Using a Bivariate Polynomial in an EKF for State and Inductance Estimations in the Presence of Saturation Effects to Adaptively Control a PMSM
  5. Investigation of temperature evolution and flash formation at AA5083 studs during friction surfacing
  6. Assuring a safe, secure and sustainable space environment for space activities
  7. Log in and breathe out: cost-effectiveness of internet-based recreation training for better sleep in stressed employees
  8. Load, Release and Fire
  9. Simplification in Synthesis.
  10. Perception of Space and Time in a Created Environment
  11. Governmental activity, integration, and agglomeration
  12. Evolutionary clustering of Lagrangian trajectories in turbulent Rayleigh-Bénard convection flows
  13. Assembly history modulates vertical root distribution in a grassland experiment
  14. Likelihood-based panel cointegration test in the presence of a linear time trend and cross-sectional dependence
  15. How to measure the substantive representation of traditionally excluded groups in comparative research
  16. Multimodal analysis of spatially heterogeneous microstructural refinement and softening mechanisms in three-pass friction stir processed Al-4Si alloy
  17. Learning to collaborate from diverse interactions in project-based sustainability courses
  18. There is no software, there are just services
  19. Edward Lear, A book of nonsense
  20. Nostalgia is not what it used to be
  21. Plastic deformation induced microstructure evolution through gradient enhanced crystal plasticity based on a non-convex Helmholtz energy
  22. Concept Maps in der Hochschullehre
  23. Formative assessment in every-day teaching of mathematical modelling
  24. Substance Flows Associated with Medical Care - Significance of Different Sources
  25. Reconstructing the “biopiracy” debate from a justice perspective
  26. Lautheitskonstanz oder Range-Effekt?
  27. Impact of Auditor and Audit Firm Rotation on Accounting and Audit Quality
  28. The Island of the Day After.
  29. Virtualität und Interaktivität
  30. The Effect of Solid Solute and Precipitate Phase on Young's Modulus of Binary Mg–RE Alloys
  31. Modeling of a thermomechanical process chain for sheet steels
  32. Chronometric and relative dating of the Middle Pleistocene sequence of Schöningen