Journal of Logical and Algebraic Methods in Programming, ‎2352-2208

Journal

Recently viewed

Publications

  1. Implementation of a Blended-Learning Course as Part of Faculty Development
  2. Do guided internet-based interventions result in clinically relevant changes for patients with depression?
  3. Global fern and lycophyte richness explained: How regional and local factors shape plot richness
  4. How methods influence nature's values we find – A comparison of three elicitation methods
  5. Value Orientations in the World of Visual Art: An Exploration Based on Latent Class and Correspondence Analysis
  6. How generative drawing affects the learning process
  7. Detection of coherent oceanic structures via transfer operators
  8. Microstructure and mechanical properties of as-cast Mg-Sn-Ca alloys and effect of alloying elements
  9. New Research on the Deep Seabed and Its Resources
  10. Concepts
  11. Computational history of knowledge
  12. Traffic Life: Temporal Dynamics and Regulatory Dimensions in Agent-Based Transport Simulations
  13. A common European asylum system? How variation in Member States’ administrative capacity undermines EU asylum harmonisation
  14. NEW CONCEPTS IN INNOVATION OUTPUT MEASUREMENT - KLEINKNECHT,A, BAIN,D
  15. Assessing pre-travel online destination experience values of destination websites
  16. Development and validation of chemometrics-assisted spectrophotometry and liquid chromatography methods for the simultaneous determination of the active ingredients in two multicomponent mixtures containing chlorpheniramine maleate and phenylpropanolamine hydrochloride.
  17. Turbulente Ränder
  18. Introducing the MusicLab Copenhagen Dataset
  19. Lagrangian analysis of long-term dynamics of turbulent superstructures
  20. Continued logarithm representation of real numbers
  21. The complementary relationship of exploration and exploitation in professional service firms: An exploratory study of IT consulting firms
  22. Mapping and assessing the knowledge base of ecological restoration
  23. Sustainable Development
  24. Golo Mann
  25. 3D characterization of beta-phases in AZ91D by synchrotron-radiation based microtomography
  26. ... address unknown?
  27. Toxicity testing with luminescent bacteria - Characterization of an automated method for the combined assessment of acute and chronic effects
  28. State of the Art of Handling and Storage Systems on Container Terminals
  29. Optical flow fields and visual attention in car driving
  30. Integrating sense of place into participatory landscape planning: merging mapping surveys and geodesign workshops
  31. Stakeholder Governance – An analysis of BITC Corporate Responsibility Index Data on Stakeholder Engagement and Governance
  32. Unobtrusive Measurement of Vital Signs Through Ultra-Wideband Sensing in the Domain of AAL
  33. Container und Algorithmen
  34. When status differences are illegitimate, groups' needs diverge
  35. Projektmentoring mit Schülerinnen-Roboterbau
  36. Integrating ecosystem services and disservices
  37. Logistik und Migration
  38. Theoretical Reflections on Education for Sustainable Development and Digital Technologies
  39. Negotiated third party access
  40. Explorations in Social Spaces
  41. Be smart, play dumb? A transactional perspective on day-specific knowledge hiding, interpersonal conflict, and psychological strain
  42. Utilizing Synchrotron Radiation for the Characterization of Biodegradable Magnesium Alloys — From Alloy Development to the Application as Implant Material
  43. Qualitätssicherung und Entwicklung in der Elementarpädagogik