Search

Your search keyword '"Läufer, A."' showing total 980 results

Search Constraints

Start Over You searched for: Author "Läufer, A." Remove constraint Author: "Läufer, A."
980 results on '"Läufer, A."'

Search Results

1. Can Large-Language Models Help us Better Understand and Teach the Development of Energy-Efficient Software?

2. Large Language Models for Energy-Efficient Code: Emerging Results and Future Directions

3. WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+

6. UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis

7. Snapshot Metrics Are Not Enough: Analyzing Software Repositories with Longitudinal Metrics

16. Risk factors and outcomes after interruption of sedation in subarachnoid hemorrhage (ROUTINE-SAH)—a retrospective cohort study

17. On the Interaction of Object-Oriented Design Patterns and Programming Languages

22. Tests as Maintainable Assets Via Auto-generated Spies: A case study involving the Scala collections library's Iterator trait

23. Metrics Dashboard: A Hosted Platform for Software Quality Metrics

28. Teaching Concurrent Software Design: A Case Study Using Android

29. Geomorphology and shallow sub-sea-floor structures underneath the Ekström Ice Shelf, Antarctica

30. Sensitivity of the West Antarctic Ice Sheet to +2 °C (SWAIS 2C)

31. Petrogenesis of the Hughes Bluff granitic pluton in the Transantarctic Mountains, Antarctica

34. Comparing geophysical inversion and petrophysical measurements for northern Victoria Land, Antarctica.

39. A comprehensive 1:250,000 scale geological map of the Convoy Range and Franklin Island quadrangles (Victoria Land, Antarctica)

41. Ice sheet–free West Antarctica during peak early Oligocene glaciation

42. Ice sheet–free West Antarctica during peak early Oligocene glaciation

43. Ice sheet–free West Antarctica during peak early Oligocene glaciation

44. Starch Biorefinery Enzymes

45. A novel SfaNI-like restriction-modification system in Caldicellulosiruptor extents the genetic engineering toolbox for this genus

48. Some evidence of a wide rotational extension in East Antarctica preceding Gondwana breakup

Catalog

Books, media, physical & digital resources