85 results on '"Kim, Jin Hyun"'
Search Results
2. Interactivity of Digital Musical Instruments: Implications of Classifying Musical Instruments on Basic Music Research
3. Compositional Predictability Analysis of Mixed Critical Real Time Systems
4. A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems
5. Resource-Parameterized Timing Analysis of Real-Time Systems
6. Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools
7. Widening the Schedulability of Hierarchical Scheduling Systems
8. Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal
9. Ischemia/Angiogenesis-Related Molecules and Cells
10. Entelechy and Embodiment in (Artistic) Human-Computer Interaction
11. Development of RTOS for PLC Using Formal Methods
12. Machines as Agency : Artistic Perspectives
13. Paradoxes of Interactivity
14. South Korea and Foreign Direct Investment : Policy Dynamics and the Aftercare Ombudsman
15. Live Looping in Musical Performance : Lusophone Experiences in Dialogue
16. The Mediations of Music : Critical Approaches After Adorno
17. Properties and Uses of Linolenic Acid
18. Gute Musik?
19. „In-Musik-sein“ – die musikalische Situation nach Günther Anders : Interdisziplinäre Annäherungen in musikpädagogischer Absicht
20. Metal-Organic Frameworks (MOFs): Chemistry, Applications and Performance
21. Diagramme zwischen Metapher und Explikation : Studien zur Medien- und Filmästhetik der Diagrammatik
22. Wissen im Klang : Neue Wege der Musikästhetik
23. Mediales Embodiment : Medienbeobachtung mit Laurie Anderson
24. Geschichte der musikalischen Interpretation im 19. und 20. Jahrhundert, Band 1: Ästhetik - Ideen
25. Medienbefunde : Digitale Bildgebung und diagnostische Radiologie
26. Long Lost Friends : Wechselbeziehungen zwischen Design-, Medien- und Wissenschaftsforschung
27. Handbuch Sound : Geschichte – Begriffe – Ansätze
28. The Koreans : Contemporary Politics And Society, Third Edition
29. Pop weiter denken : Neue Anstöße aus Jazz Studies, Philosophie, Musiktheorie und Geschichte
30. Musik und Körper : Interdisziplinäre Dialoge zum körperlichen Erleben und Verstehen von Musik
31. Klänge in Bewegung : Spurensuchen in Choreografie und Performance. Jahrbuch TanzForschung 2017
32. Biography and Genealogy Master Index:Cumulation of Supplements: 2011-2015
33. United Nations Convention on the Law of the Sea : A Commentary
34. 2016
35. From Modernism to Postmodernism : Between Universal and Local
36. Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
37. Lexikon Neue Musik
38. Bildkörper : Zum Verhältnis von Bildtechnologien und Embodiment
39. Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
40. Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
41. Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
42. Perspectives of System Informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
43. Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
44. Paradoxes of Interactivity : Perspectives for Media Theory, Human-Computer Interaction, and Artistic Investigations
45. Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
46. Alte Texte in neuen Kontexten : Wo steht die sozialwissenschaftliche Bibelexegese?
47. Korean Attitudes Toward the United States : Changing Dynamics
48. Machines As Agency : Artistic Perspectives
49. Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
50. Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.