Informatik’99

Informatik überwindet Grenzen

AvKurt Beiersdörfer,Gregor Engels

Häftad, Tyska, 1999

Del i serien Informatik aktuell

587 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1999-09-22
Mått:155 x 235 x 24 mm
Vikt:663 g
Format:Häftad
Språk:Tyska
Serie:Informatik aktuell
Antal sidor:422
Upplaga:1999
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540664505

Utforska kategorier

Människa – datorinteraktion inom Data och IT

Innehållsförteckning

Hauptvorträge.- Electronic Commerce — Herausforderung auf dem Weg ins 21. Jahrhundert.- WWW Needs More Interaction.- Computing Leadership in Retrospect.- Grenzüberschreitende Informatik?.- Der e-Faktor: Von e-business zur e-society.- E-Commerce — Treiber der Veränderungen in der Arbeitswelt.- Kryptographie: Basistechnologie der Informationsgesellschaft.- Schwerpunktthemen.- Wissensmanagement in präventivmedizinischen Fragestellungen.- Metamodellbildung und interative online-Simulation für Verhaltensprozesse im Sport.- Möglichkeiten und Grenzen informatischer Modellbildungsparadigmen im Sport.- Die Bedeutung von Groupware-Lösungen für verteilte Arbeitsgruppen — Erste Erfahrungen in industriellen Umgebungen.- Architecture, Concepts, and Solutions with a Groupware-Based Knowledge Management System — Experiences and Best Practices of the Espresso KM-model.- Technische Beiträge.- Einsatz multimedialer internetbasierter Informations- und Kommunikationssysteme in der universitären Ausbildung am Beispiel der virtuellen Lernwelt WINFO-Line.- Global Engineering Networking für mikroelektronische Anwendungen.- Dynamische Generierung von Protokollen zur Steuerung automatisierter Verhandlungen.- VIROR — Die virtuelle Hochschule Oberrhein.- TRANSTEC.- Flexible Werkzeugunterstützung für Teleteaching/Telelearning.- Multimodale Interaktion mit einem System zur Virtuellen Konstruktion.- Computer ohne Monitor — Grenze der Benutzbarkeit? Braille- und Sprachausgabe für Linux.- Aufbau unternehmensweiter Public Key-Infrastrukturen.- Crosszertifizierung nach Wechsel des Sicherheitsankers einer Public-Key Infrastruktur.- Junge Informatik.- Kombinatorische Algorithmen zur Netzgenerierung im CAD.- Hierarchische Synthese für die Emulation von integriertenSteuerungssystemen.- System-Level Synthese gemischt analog/digitaler Schaltungen.- Effizienter Austausch von 3D Dokumenten auf Basis von Generativer Modellierung.- Molekulare Bioinformatik — Informationsfusion zur Genregulation.- Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen.- Architekturen für mehrseitige sichere Telekommunikationsnetze.- Optimieren über alle kombinatorischen Einbettungen eines planaren Graphen.- Transformationen zur parallelisierten und fehlertoleranten Informationsverarbeitung.- Neue Architekturen für ein optisches Internet.- Analytical Methods for Multilevel Graph-Partitioning.- Mobile Agenten zur Unterstützung kooperierender Managementprozesse — Eine Arbeit im Rahmen des Graduiertenkollegs „Informatik und Technik“.- Gestaltung und Simulation hardware-rekonfigurierbarer Rechnersysteme.- Von N 2 nach log2 N.- Probabilistische Analyse am Beispiel des k-Zentrumsproblems.- Globale Anfragebearbeitung mit verteilten und heterogenen Datenquellen.- Modal Logic for Coalgebras.- Infrastruktur für den elektronischen Markt — Vertrauen durch Recht.- Entwurf verteilter Systeme im Sonderforschungsbereich 342.- Caching in Networks.- Prozeßintegrierte Designwerkzeuge für die Verfahrenstechnik.- Systematische Integration von Prozeß- und Produktmanagement.- Konstruktion von Fuzzy-Inferenzmechanismen aus Inferenzbausteinen unter Anwendung von Methoden der Schaltwerktheorie.- Workshops.- 5. Workshop des GI-Arbeitskreises 5.2.1.2.: Zeitorientierte betriebliche Informationssysteme (ZoBIS) „Temporale Aufgaben in Informations- und Kommunikationssystemen.- International Workshop on Communication and Data Management in Large Networks.- Workshop „Die Außenseiter der globalen Informationsgesellschaft“.- UnternehmenHochschule.- Workshop „Geschichte des Computers in Museum und Universität“.- Workshop „Telekooperative Verwaltung“.- Workshop „Rechtssicherheit im Internet“.- Gesamtkonzept der informatischen Bildung.- Arbeitstagung Programmiersprachen ’99.- Combining Strict and Soft Typing in Functional Programming.- Fixed Points in Metrified Quasi Ordered Sets: Modelling Escaping in Functional Programs.- Natural Semantics for Imperative and Object-Oriented Programming Languages.- The Evolution of GOTO Usage and Its Effects on Software Quality.- An Efficient Abstract Machine for Curry.- A Programming Language for Design Patterns.- Run-Time Guarantees for Real-Time Systems—The USES Approach.

Mer från samma serie

Kommunikation in Verteilten Systemen (KiVS)

Klaus Irmscher, Klaus Fähnrich

Häftad, 2003

852 kr

Bildverarbeitung für die Medizin 2003

Thomas Wittenberg, Peter Hastreiter, Ulrich Hoppe, Heinz Handels, Alexander Horsch, Hans-Peter Meinzer

Häftad, 2003

905 kr

Verteilte Echtzeitsysteme

Peter Holleczek, Birgit Vogel-Heuser

Häftad, 2003

428 kr

Autonome Mobile Systeme 2003

Rüdiger Dillmann, Heinz Wörn, Tilo Gockel

Häftad, 2003

876 kr

Bildverarbeitung für die Medizin 2004

Thomas Tolxdorff, Jürgen Braun, Heinz Handels, Alexander Horsch, Hans-Peter Meinzer

Häftad, 2004

928 kr

Eingebettete Systeme

Peter Holleczek, Birgit Vogel-Heuser

Häftad, 2004

428 kr

Kommunikation in Verteilten Systemen (KiVS) 2005

Paul Müller, Reinhard Gotzhein, Jens B. Schmitt

Häftad, 2005

1 061 kr

Bildverarbeitung für die Medizin 2005

Hans-Peter Meinzer, Heinz Handels, Alexander Horsch, Thomas Tolxdoff

Häftad, 2005

1 272 kr

Echtzeitaspekte bei der Koordinierung Autonomer Systeme

Peter Holleczek, Birgit Vogel-Heuser

Häftad, 2005

608 kr

Autonome Mobile Systeme 2005

Paul Levi, Michael Schanz, Reinhard Lafrenz, Viktor Avrutin

Häftad, 2005

1 166 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Graph Transformations and Model-Driven Engineering

Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel

Häftad, 2010

1 135 kr

Programmentwicklungsumgebungen

Gregor Engels, Wilhelm Schäfer

Häftad, 1989

519 kr

Theory and Application of Graph Transformations

Grzegorz Rozenberg, Hans-Jorg Kreowski, Gregor Engels, Hartmut Ehrig

E-bok

2004

718 kr

Graph Transformation

Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg

Häftad, 2012

554 kr

Model Driven Engineering Languages and Systems

Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil

Häftad, 2007

1 102 kr

Handbuch Gestaltung digitaler und vernetzter Arbeitswelten

Günter W. Maier, Gregor Engels, Eckhard Steffen

Inbunden, 2020

1 200 kr

Business Process Management Forum

Akhil Kumar, Gregor Engels, Josep Carmona

E-bok

2017

710 kr

Graph Transformations

Grzegorz Rozenberg, Francesco Parisi-Presicce, Gregor Engels, Hartmut Ehrig

E-bok

2004

718 kr

Theory and Application of Graph Transformations

Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg

Häftad, 2000

554 kr

Informatik’99

Informatik überwindet Grenzen

AvKurt Beiersdörfer,Gregor Engels

Häftad, Tyska, 1999

Del i serien Informatik aktuell

587 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1999-09-22
Mått:155 x 235 x 24 mm
Vikt:663 g
Format:Häftad
Språk:Tyska
Serie:Informatik aktuell
Antal sidor:422
Upplaga:1999
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540664505

Utforska kategorier

Människa – datorinteraktion inom Data och IT

Innehållsförteckning

Hauptvorträge.- Electronic Commerce — Herausforderung auf dem Weg ins 21. Jahrhundert.- WWW Needs More Interaction.- Computing Leadership in Retrospect.- Grenzüberschreitende Informatik?.- Der e-Faktor: Von e-business zur e-society.- E-Commerce — Treiber der Veränderungen in der Arbeitswelt.- Kryptographie: Basistechnologie der Informationsgesellschaft.- Schwerpunktthemen.- Wissensmanagement in präventivmedizinischen Fragestellungen.- Metamodellbildung und interative online-Simulation für Verhaltensprozesse im Sport.- Möglichkeiten und Grenzen informatischer Modellbildungsparadigmen im Sport.- Die Bedeutung von Groupware-Lösungen für verteilte Arbeitsgruppen — Erste Erfahrungen in industriellen Umgebungen.- Architecture, Concepts, and Solutions with a Groupware-Based Knowledge Management System — Experiences and Best Practices of the Espresso KM-model.- Technische Beiträge.- Einsatz multimedialer internetbasierter Informations- und Kommunikationssysteme in der universitären Ausbildung am Beispiel der virtuellen Lernwelt WINFO-Line.- Global Engineering Networking für mikroelektronische Anwendungen.- Dynamische Generierung von Protokollen zur Steuerung automatisierter Verhandlungen.- VIROR — Die virtuelle Hochschule Oberrhein.- TRANSTEC.- Flexible Werkzeugunterstützung für Teleteaching/Telelearning.- Multimodale Interaktion mit einem System zur Virtuellen Konstruktion.- Computer ohne Monitor — Grenze der Benutzbarkeit? Braille- und Sprachausgabe für Linux.- Aufbau unternehmensweiter Public Key-Infrastrukturen.- Crosszertifizierung nach Wechsel des Sicherheitsankers einer Public-Key Infrastruktur.- Junge Informatik.- Kombinatorische Algorithmen zur Netzgenerierung im CAD.- Hierarchische Synthese für die Emulation von integriertenSteuerungssystemen.- System-Level Synthese gemischt analog/digitaler Schaltungen.- Effizienter Austausch von 3D Dokumenten auf Basis von Generativer Modellierung.- Molekulare Bioinformatik — Informationsfusion zur Genregulation.- Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen.- Architekturen für mehrseitige sichere Telekommunikationsnetze.- Optimieren über alle kombinatorischen Einbettungen eines planaren Graphen.- Transformationen zur parallelisierten und fehlertoleranten Informationsverarbeitung.- Neue Architekturen für ein optisches Internet.- Analytical Methods for Multilevel Graph-Partitioning.- Mobile Agenten zur Unterstützung kooperierender Managementprozesse — Eine Arbeit im Rahmen des Graduiertenkollegs „Informatik und Technik“.- Gestaltung und Simulation hardware-rekonfigurierbarer Rechnersysteme.- Von N 2 nach log2 N.- Probabilistische Analyse am Beispiel des k-Zentrumsproblems.- Globale Anfragebearbeitung mit verteilten und heterogenen Datenquellen.- Modal Logic for Coalgebras.- Infrastruktur für den elektronischen Markt — Vertrauen durch Recht.- Entwurf verteilter Systeme im Sonderforschungsbereich 342.- Caching in Networks.- Prozeßintegrierte Designwerkzeuge für die Verfahrenstechnik.- Systematische Integration von Prozeß- und Produktmanagement.- Konstruktion von Fuzzy-Inferenzmechanismen aus Inferenzbausteinen unter Anwendung von Methoden der Schaltwerktheorie.- Workshops.- 5. Workshop des GI-Arbeitskreises 5.2.1.2.: Zeitorientierte betriebliche Informationssysteme (ZoBIS) „Temporale Aufgaben in Informations- und Kommunikationssystemen.- International Workshop on Communication and Data Management in Large Networks.- Workshop „Die Außenseiter der globalen Informationsgesellschaft“.- UnternehmenHochschule.- Workshop „Geschichte des Computers in Museum und Universität“.- Workshop „Telekooperative Verwaltung“.- Workshop „Rechtssicherheit im Internet“.- Gesamtkonzept der informatischen Bildung.- Arbeitstagung Programmiersprachen ’99.- Combining Strict and Soft Typing in Functional Programming.- Fixed Points in Metrified Quasi Ordered Sets: Modelling Escaping in Functional Programs.- Natural Semantics for Imperative and Object-Oriented Programming Languages.- The Evolution of GOTO Usage and Its Effects on Software Quality.- An Efficient Abstract Machine for Curry.- A Programming Language for Design Patterns.- Run-Time Guarantees for Real-Time Systems—The USES Approach.