↓ Skip to main content

Innovationen bei Rechen- und Kommunikationssystemen

Overview of attention for book
Cover of 'Innovationen bei Rechen- und Kommunikationssystemen'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Static and Dynamic Semantics of Entity—Relationship Models Based on Algebraic Methods
  3. Altmetric Badge
    Chapter 2 Ablaufspezifikation durch Datenflußdiagramme und Axiome
  4. Altmetric Badge
    Chapter 3 Graphical Support for Prototyping of Algebraic Specifications
  5. Altmetric Badge
    Chapter 4 Formal Foundations for Pragmatic Software Engineering Methods
  6. Altmetric Badge
    Chapter 5 Combining Troll with the Object Modeling Technique
  7. Altmetric Badge
    Chapter 6 Integration Of Semiformal And Formal Methods For Specifying Knowledge-Based Systems
  8. Altmetric Badge
    Chapter 7 Semantics of Disjunctive Programs: A Unifying Approach
  9. Altmetric Badge
    Chapter 8 Non—Monotonic Reasoning Based on Minimal Models and its Efficient Implementation
  10. Altmetric Badge
    Chapter 9 From above and from below: Approximating stable models
  11. Altmetric Badge
    Chapter 10 Disjunctive Logic Programming over Finite Structures
  12. Altmetric Badge
    Chapter 11 Disjunctive Logic Programming: What Applications Developers Need
  13. Altmetric Badge
    Chapter 12 Improved Bottom-Up Query Evaluation in Positive Disjunctive Databases
  14. Altmetric Badge
    Chapter 13 A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation
  15. Altmetric Badge
    Chapter 14 Proof Procedures for Disjunctive Logic Programming
  16. Altmetric Badge
    Chapter 15 TMPR for Disjunctive Logic Programming and Usefulness of Strong and Exclusion Negation
  17. Altmetric Badge
    Chapter 16 Auf dem Weg zur wissensbasierten Mensch-Computer-Mensch-Kommunikation
  18. Altmetric Badge
    Chapter 17 Benutzung von Kommunikationsdiensten mit Drag-and-Drop Techniken
  19. Altmetric Badge
    Chapter 18 Adaptierbare Benutzungsschnittstellen für elektronische Netzdienste
  20. Altmetric Badge
    Chapter 19 Interfaces for handling multimedia communications systems
  21. Altmetric Badge
    Chapter 20 Aspects in User Interface Design for Mobile Multi-User Applications
  22. Altmetric Badge
    Chapter 21 Das virtuelle Büro als Benutzungsschnittstelle für kooperatives Arbeiten
  23. Altmetric Badge
    Chapter 22 Multicast for Multimedia
  24. Altmetric Badge
    Chapter 23 Synchronisation in einer verteilten Entwicklungs- und Laufzeitumgebung für multimediale Anwendungen
  25. Altmetric Badge
    Chapter 24 Design and implementation of a global reference mechanism for data objects
  26. Altmetric Badge
    Chapter 25 Remote Camera Control in a Distributed Multimedia System
  27. Altmetric Badge
    Chapter 26 ATM-Netze — die Infrastruktur für Multimediakommunikation?
  28. Altmetric Badge
    Chapter 27 Übertragung komprimierter isochroner Datenströme
  29. Altmetric Badge
    Chapter 28 Ein Konzept zur Integration von Netzwerk-Filtern in verteilte Multimedia-Systeme
  30. Altmetric Badge
    Chapter 29 Messungen für Videoverkehr als Basis für Lastmodelle
  31. Altmetric Badge
    Chapter 30 Effiziente Modellierung von ODP-Traderfederationen mittels P 2 AM
  32. Altmetric Badge
    Chapter 31 Vermittlung und Verwaltung von Diensten in offenen verteilten Systemen
  33. Altmetric Badge
    Chapter 32 Developing Cooperative Media-Integrated Software
  34. Altmetric Badge
    Chapter 33 Kooperationsunterstützung für integrierte POI-/ POS-Systeme
  35. Altmetric Badge
    Chapter 34 Ethische Verantwortung bei der Gestaltung sicherer Informationssysteme
  36. Altmetric Badge
    Chapter 35 Positive Fehlerethik und Informatik — Widerspruch oder Herausforderung?
  37. Altmetric Badge
    Chapter 36 Chipkarten in der Medizin
  38. Altmetric Badge
    Chapter 37 Grundrechtliche Risiken und Chancen durch Chipkartennutzung
  39. Altmetric Badge
    Chapter 38 Audiovisuelle Kommunikation als Basis für kooperatives Arbeiten
  40. Altmetric Badge
    Chapter 39 Ein transparenter Ein—/Ausgabemechanismus für Parallelrechner in einem LAN mit Internet—Protokoll
  41. Altmetric Badge
    Chapter 40 Systemintegration bei Mobile Computing Anwendungen
  42. Altmetric Badge
    Chapter 41 Verfahren zur Performance-Erhöhung in Workstation-Clustern
  43. Altmetric Badge
    Chapter 42 Systematic Assessment of Computer Systems Architectures
  44. Altmetric Badge
    Chapter 43 Data Engineering Tools zur Beschleunigung der Projektabwicklung
  45. Altmetric Badge
    Chapter 44 Missed Opportunities in Real Time Programming ?
  46. Altmetric Badge
    Chapter 45 Portability of Software Systems for Real Time Applications
  47. Altmetric Badge
    Chapter 46 Measuring the Impact of Real-Time Design Techniques
  48. Altmetric Badge
    Chapter 47 Fail-Safe On-Board Communication for Automatic Train Protection
  49. Altmetric Badge
    Chapter 48 Feasibility of Ada9X for Real-Time Programming
  50. Altmetric Badge
    Chapter 49 Simulation in Europe State-of-the-Art
  51. Altmetric Badge
    Chapter 50 Simulation of Complex Dynamical Systems in Medicine and Environment
  52. Altmetric Badge
    Chapter 51 The Role of Artificial Intelligence Concepts in System Modelling and Simulation: An Overview
  53. Altmetric Badge
    Chapter 52 Anforderungen an eine analoge Hardware- Beschreibungssprache auf Basis von VHDL
  54. Altmetric Badge
    Chapter 53 Dynamische Simulation komplexer Abwasserreinigungsprozesse
  55. Altmetric Badge
    Chapter 54 Design Related Cost Accounting with a Modular System of Cooperating Backpropagation Networks
  56. Altmetric Badge
    Chapter 55 Teamwork Coordination in a Distributed Software Development Environment
  57. Altmetric Badge
    Chapter 56 Tool-Based Business Process Modeling Using the SOM Approach
  58. Altmetric Badge
    Chapter 57 An Application of the Spiral Model to Reengineering and Long-term IS Integration into a Distributed System
  59. Altmetric Badge
    Chapter 58 Negotiation Support for Distributed Resource Allocation in a Corporate Environment
  60. Altmetric Badge
    Chapter 59 Cooperative Allround Financial Consulting
  61. Altmetric Badge
    Chapter 60 Solving Logistical Problems with Partly Intelligent Agents
  62. Altmetric Badge
    Chapter 61 Cost Management of Business Processes
  63. Altmetric Badge
    Chapter 62 The GroupFlow System: A Scalable Approach to Workflow Management between Cooperation and Automation
  64. Altmetric Badge
    Chapter 63 ITP and INZPLA — a new theory and a new application system for distributed cooperative budget-planning and -control
  65. Altmetric Badge
    Chapter 64 Zum Verhältnis von Kunst und Technologie
  66. Altmetric Badge
    Chapter 65 Telemusik — Kunst im Netz
  67. Altmetric Badge
    Chapter 66 Die Elektronische Kunst- und Wunderkammer als Erlebnis- und Vermittlungsform
  68. Altmetric Badge
    Chapter 67 Computer schaffen Kunstwerke!?
  69. Altmetric Badge
    Chapter 68 40 Years of Computer Art
  70. Altmetric Badge
    Chapter 69 Computer, Sprache und Virtualität
  71. Altmetric Badge
    Chapter 70 Technology Assessment im kulturellen Sektor: Die Medienkunst als strategischer Partner
  72. Altmetric Badge
    Chapter 71 Karriere trotz anderer Lebensinteressen — Optionen innovativer Arbeitsgestaltung und Personalpolitik an InformatikerInnenarbeitsplätzen
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 X users

Citations

dimensions_citation
2 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Innovationen bei Rechen- und Kommunikationssystemen
Published by
Springer Berlin Heidelberg, March 2013
DOI 10.1007/978-3-642-51136-3
ISBNs
978-3-54-058313-4, 978-3-64-251136-3
Editors

Wolfinger, Bernd

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 X users who shared this research output. Click here to find out more about how the information was compiled.