angewandte informatik formale beschreibungsverfahren di andreas oberweis (11 risultati)

paperback. Condizione: Gut. 316 Seiten; 9783519003120.3 Gewicht in Gramm: 500.

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 316 | Sprache: delaware | Produktart: Bücher.

Taschenbuch. Condizione: Neu. Neuware -Mit groBer Freude haben wir diesen Band zusammengesteHt - mit Freude deshalb, weil wir die Arbeit mit Blick auf einen herausragenden Wissenschaftler geleistet ha ben, dem wir selbst, dem dartiber hinaus aber auch die UniversitiH Karlsruhe und vor aHem die Informatik in Deutschland viel zu verdanken haben: Wolffried Stucky. Dieser Band ist irn Grunde nieht dem Umstand gewidmet, daB Wolffried Stucky 60 Jahre alt wird: vielmehr ist dies der vordergrtindige AnlaB, dem breiten Wirken eines unermtidlichen und unbeirrbaren Geistes eine besondere Aufmerksamkeit zu erw- sen. Dieser Band spiegelt in der fachlichen Vielfalt seiner Beitrage die ungewohnliche Spannweite der Interessen und Forschungsthemen von Wolffried Stucky wider. Fest fundiert in den Grundlagen und der Theorie der Informatik ist Wolffried Stucky weit hinausgegangen in die Wirtschaftsinformatik und in die praktischen Anwendungen bis hin zu ganz konkreten Projekten in Unternehmen. Dies ist nicht der Ort fur eine Laudatio - die Art und Zahl der Beitrage, aHesamt von 'Jtingern' des Instituts fur Angewandte Informatik und Formale Beschreibungs verfahren, das mit dem Namen Stucky auf das engste verkntipft ist, spricht jedoch fur sieh. Die Liste der Autoren macht zugleich deutlich, wie sehr dieses Institut tiber die Karlsruher Universitat hinaus gewirkt und die deutschsprachige Informatikszene mitgestaltet hat.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 316 pp. Deutsch.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Aus dem Inhalt J. Albert: Bild- und Videogenerierung mit Varianten endlicher Automaten M. Bartsch: Das Jahr-2000-Problem und die Haftung aus Softwarepflegeverträgen A. Brüggemann-Klein, R. Klein, B. Landgraf: BibRelEx: Erschließung bibliographischer Datenbasen durch Visualisierung von annotierten inhaltsbasierten Beziehungen J. Desel: Formaler Umgang mit semi-formalen Ablaufbeschreibungen B. Feldmann-Pempe, R. Krieger, G. Schlageter: Herausforderung an künftige Bildungssysteme: Lernerzentrierung und Praxisnähe V.H. Haase: 'Active Scorecard' (Unternehmen als Regelkreis) P. Haubner: Usuability Engineering - Integration von Software-Ergonomie und Systementwicklung L.J. Heinrich, G. Pomberger: Entwickeln von Informatik-Strategien - Vorgehensmodell und Fallstudien P. Jaeschke, F. Schönthaler: Modellbasiertes Business Management im Unternehmen des 21. Jahrhunderts P.-Th. Kandzia, Th. Ottmann: Wie real ist die Virtuelle Hochschule Oberrhein H. Maurer: 60 Thesen Th. Mochel: Data-Warehousing: Chancen für die Telekommunikationsbranche R. Richter: Management von Informatikprojekten: Zutaten für ein Laborpraktikum V. Sänger: Aufbau und Einsatz einer Software Architektur F. Schlottmann, D. Seese: Die Skalierung der Preisschwankungen an einem virtuellen Kapitalmarkt mit probabilistischen und trendverfolgenden Agenten H. Schmeck: Elektronische Zahlungssysteme H.-W. Six, M. Winter: Kopplung von Anwendungsfällen und Klassenmodellen in der objektorientierten Anforderungsanalyse H.-G. Stork: Braucht der Cyberspace eine Regierung R. Studer, A. Abecker, St. Decker: Informatik-Methoden für das Wissensmanagement L. Wegner: Datenbankgestützte Kooperation im Web P. Widmayer: Die Konkurrenz selbstsüchtiger Computer: Ein ökonimisches Problem Anhang I: Wolffried Stuckys wissenschaftliche Familie (zusammengestellt von M. Salavati und H.-G. Stork) Anhang II: Adressen der Autoren und Herausgeber.

Condizione: New. In.

PF. Condizione: New.

Taschenbuch. Condizione: Neu. Angewandte Informatik und Formale Beschreibungsverfahren | Festschrift zum 60. Geburtstag von Wolffried Stucky | Georg Lausen (u. a.) | Taschenbuch | 311 S. | Deutsch | 1999 | Vieweg & Teubner | EAN 9783519003120 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Paperback. Condizione: Like New. Like New. book.

Condizione: New.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Bild- und Videogenerierung mit Varianten endlicher Automaten.- Das Jahr-2000-Problem und die Haftung aus Softwarepflegevertraegen.- BibRelEx: Erschliessung bibliographischer Datenbasen durch Visualisierung von annotierten inhaltsbasierten Beziehungen.- Formal.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Aus dem Inhalt J. Albert: Bild- und Videogenerierung mit Varianten endlicher Automaten M. Bartsch: Das Jahr-2000-Problem und die Haftung aus Softwarepflegeverträgen A. Brüggemann-Klein, R. Klein, B. Landgraf: BibRelEx: Erschließung bibliographischer Datenbasen durch Visualisierung von annotierten inhaltsbasierten Beziehungen J. Desel: Formaler Umgang mit semi-formalen Ablaufbeschreibungen B. Feldmann-Pempe, R. Krieger, G. Schlageter: Herausforderung an künftige Bildungssysteme: Lernerzentrierung und Praxisnähe V.H. Haase: 'Active Scorecard' (Unternehmen als Regelkreis) P. Haubner: Usuability Engineering - Integration von Software-Ergonomie und Systementwicklung L.J. Heinrich, G. Pomberger: Entwickeln von Informatik-Strategien - Vorgehensmodell und Fallstudien P. Jaeschke, F. Schönthaler: Modellbasiertes Business Management im Unternehmen des 21. Jahrhunderts P.-Th. Kandzia, Th. Ottmann: Wie real ist die Virtuelle Hochschule Oberrhein H. Maurer: 60 Thesen Th. Mochel: Data-Warehousing: Chancen für die Telekommunikationsbranche R. Richter: Management von Informatikprojekten: Zutaten für ein Laborpraktikum V. Sänger: Aufbau und Einsatz einer Software Architektur F. Schlottmann, D. Seese: Die Skalierung der Preisschwankungen an einem virtuellen Kapitalmarkt mit probabilistischen und trendverfolgenden Agenten H. Schmeck: Elektronische Zahlungssysteme H.-W. Six, M. Winter: Kopplung von Anwendungsfällen und Klassenmodellen in der objektorientierten Anforderungsanalyse H.-G. Stork: Braucht der Cyberspace eine Regierung R. Studer, A. Abecker, St. Decker: Informatik-Methoden für das Wissensmanagement L. Wegner: Datenbankgestützte Kooperation im Web P. Widmayer: Die Konkurrenz selbstsüchtiger Computer: Ein ökonimisches Problem Anhang I: Wolffried Stuckys wissenschaftliche Familie (zusammengestellt von M. Salavati und H.-G. Stork) Anhang II: Adressen der Autoren und Herausgeber 311 pp. Deutsch.