Search

Your search keyword '"Kim, Jin Hyun"' showing total 85 results

Search Constraints

Start Over You searched for: "Kim, Jin Hyun" Remove constraint "Kim, Jin Hyun" Publication Type eBooks Remove constraint Publication Type: eBooks
85 results on '"Kim, Jin Hyun"'

Search Results

1. Hierarchical Scheduling

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

10. Entelechy and Embodiment in (Artistic) Human-Computer Interaction

11. Development of RTOS for PLC Using Formal Methods

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

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