235 results on '"A. BOHRER"'
Search Results
2. Homotopy Type Theory for Sewn Quilts.
3. Centering Humans in the Programming Languages Classroom: Building a Text for the Next Generation.
4. Design and Think-Aloud Study of an Immersive Interface for Training Health Professionals in Clinical Skills.
5. Goal-Aware RSS for Complex Scenarios via Program Logic.
6. Neurotype Cafe: A Case Study in Neurodiverse Self-Representation.
7. A Less Diverse Pool of Computer Science Teachers, but More Diverse Professional Learning Experiences.
8. Chemical Case Studies in KeYmaera X.
9. Component Based Framework for Designing and Validating Asynchronous Algorithms for Electrical Measurement and Protection.
10. Understanding Professional Identity of Computer Science Teachers: Design of the Computer Science Teacher Identity Survey.
11. Analysis of the maximum reinforcement loads of four MSE walls compared to the values predicted by the AASHTO 2020 specification.
12. Avaliação de materiais sorventes para a limpeza do extrato visando a determinação de resíduos de agrotóxicos em beterraba, cenoura e tomate por UHPLC-MS/MS
13. Constructive Hybrid Games.
14. Constructive Game Logic.
15. Refining Constructive Hybrid Games.
16. Digital Transformation of Software Companies - Brilliant Idea or Unnecessary Action? (keynote).
17. Lessons and Challenges in Supporting CS Teachers through Local Communities: CS Teacher Leaders' Perceptions.
18. Multi-Triggered Embedded Software Code Generation for Electrical Metering and Protection Applications.
19. dLι: Definite Descriptions in Differential Dynamic Logic.
20. High-power laser material processing utilizing high-speed combined motion of scanner and linear axes system
21. Projeto e Evolução: geração, variação e reprodução
22. RS Digital Health Project -- Inova RS: The case of the Metropolitan Region and North Coast (MRNC).
23. Quality Assurance in Postgraduate Education. ENQA Workshop Report 12
24. 'It is what the situation demands': How Communities of Practice Create Value for CS Teachers in the Time of Covid.
25. A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow.
26. TWAM: A Certifying Abstract Machine for Logic Programs.
27. VeriPhy: verified controller executables from verified cyber-physical system models.
28. CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation.
29. Chatbots na Educação Matemática: um mapeamento sistemático de 2018 a 2023
30. PSICOLOGIA NO CENTRO DE REFERÊNCIA DE ASSISTÊNCIA SOCIAL (CRAS): RELATO DE EXPERIÊNCIA
31. SAÚDE MENTAL DOS PROFISSIONAIS DA MEDICÍNA VETERINÁRIA: RELATO DE EXPERIÊNCIA
32. PSICOLOGIA E POLÍTICAS PÚBLICAS: EXPERIÊNCIA DE ESTÁGIO EM UM CENTRO DE REFERÊNCIA DE ASSISTÊNCIA SOCIAL
33. Centering Humans in the Programming Languages Classroom: Building a Text for the Next Generation
34. Formally verified differential dynamic logic.
35. Bellerophon: Tactical Theorem Proving for Hybrid Systems.
36. Assessing Professional Identity of Computer Science Teachers: Design and Validation of the CS Teacher Identity Survey.
37. Supporting CS Teachers through Local Communities: Perceptions of CSTA Chapter Leaders.
38. Homotopy Type Theory for Sewn Quilts
39. Improving protein tertiary structure prediction with conformational propensities of amino acid residues.
40. The Beauty and Joy of Computing Curriculum and Teacher Professional Development.
41. PLANTANDO SORRISOS - MOMENTO IX
42. logiccloud: Programmable Logic Controller (PLC) as a Smart Service from the Cloud
43. A flexible framework for modeling and simulation of multipurpose wireless networks.
44. System Management with IBM Mobile Systems Remote: A Question of Power and Scale.
45. Combining Multiple Metrics to Control BSP Process Rescheduling in Response to Resource and Application Dynamics.
46. Dynamic Force Fields zur Präzisionserhöhung von Zeigegeräten.
47. UFRGS@CLEF2009: Retrieval by Numbers.
48. VR Visualisation as an Interdisciplinary Collaborative Data Exploration Tool for Large Eddy Simulations of Biosphere-Atmosphere Interactions.
49. Processing Mesoscale Climatology in a Grid Environment.
50. Metaserver Locality and Scalability in a Distributed NFS.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.