275 results on '"Jähnichen, Stefan"'
Search Results
2. Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola’s 70th Birthday
3. Rigorous engineering of collective adaptive systems – 2nd special section
4. Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition
5. Self-sovereign Identity $-$ Opportunities and Challenges for the Digital Revolution
6. Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition
7. Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition
8. Rigorous engineering of collective adaptive systems: special section
9. The Meaning of Adaptation: Mastering the Unforeseen?
10. Modelling the Transition to Distributed Ledgers
11. Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition
12. Selbstverwaltete digitale Identitäten – Chancen und Herausforderungen für die weltweite Digitalisierung
13. Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition
14. A Library and Scripting Language for Tool Independent Simulation Descriptions
15. Rigorous Engineering of Collective Adaptive Systems Track Introduction
16. Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel – Panel Introduction
17. Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition
18. Modelling the Transition to Distributed Ledgers
19. The Meaning of Adaptation: Mastering the Unforeseen?
20. Ein Rahmenwerk zur Protokollierung von Transaktionen in Distributed Ledgers
21. Die 90er Jahre
22. Flying Sensors – Swarms in Space
23. Simulation-Based Testing of Embedded Software in Space Applications
24. Formalization of algebraic specification in the development language Deva
25. A Library and Scripting Language for Tool Independent Simulation Descriptions
26. Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel – Panel Introduction
27. Rigorous Engineering of Collective Adaptive Systems Track Introduction
28. Nachrichten
29. Brücken bauen – 100 Jahre Gesellschaft von Freunden der Technischen Universität Berlin
30. A Two-Layered Approach to Support Systematic Software Development
31. An experimental support system for formal mathematical reasoning
32. The Tooluse approach to integration
33. Grußwort
34. Manifest: Strategische Bedeutung des Software Engineering für die Medizin
35. Formen Agilen Programmierens
36. Was, bitte, bedeutet Objektorientierung?
37. Modeling Constraint Programs with Software Technology Standards
38. GOOSE – A Generic Object-Oriented Search Environment
39. KORSO – Korrekte Software durch formale Methoden
40. Text/Conference Paper
41. Modeling Constraint Programs with Software Technology Standards
42. GOOSE – A Generic Object-Oriented Search Environment
43. A Two-Layered Approach to Support Systematic Software Development
44. Formalization of algebraic specification in the development language Deva
45. Speicherverwaltung
46. Codeerzeugung
47. Optimierung
48. Identifizierung
49. Zwischensprachen
50. Einleitung
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.