Informatik 2000: Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.–22. September 2000: Informatik aktuell
Editat de Kurt Mehlhorn, Gregor Sneltingde Limba Germană Paperback – 13 sep 2000
Neben Praxisberichten aus der Industrie finden sich Forschungsberichte namhafter aber auch junger Forscher. Die genannten Schwerpunktthemen werden durch Workshops, die im Schlußkapitel des Kongressbandes dokumentiert sind, sinnvoll ergänzt.
Din seria Informatik aktuell
- 20% Preț: 291.86 lei
- Preț: 487.36 lei
- 20% Preț: 357.33 lei
- 20% Preț: 419.03 lei
- 20% Preț: 404.18 lei
- 20% Preț: 410.80 lei
- Preț: 474.72 lei
- 20% Preț: 458.80 lei
- 5% Preț: 891.47 lei
- 20% Preț: 417.75 lei
- 20% Preț: 361.99 lei
- 20% Preț: 413.72 lei
- 20% Preț: 586.01 lei
- 20% Preț: 410.49 lei
- 20% Preț: 803.86 lei
- 20% Preț: 417.43 lei
- 20% Preț: 411.12 lei
- 20% Preț: 411.76 lei
- 20% Preț: 539.76 lei
- 20% Preț: 368.79 lei
- Preț: 470.02 lei
- 20% Preț: 409.21 lei
- 20% Preț: 523.93 lei
- 20% Preț: 290.87 lei
- 20% Preț: 411.12 lei
- 20% Preț: 407.10 lei
- 20% Preț: 409.52 lei
- 5% Preț: 890.93 lei
- 20% Preț: 357.01 lei
- 20% Preț: 465.60 lei
- 20% Preț: 747.00 lei
- 20% Preț: 405.13 lei
- 18% Preț: 821.94 lei
- 20% Preț: 402.72 lei
- 20% Preț: 429.22 lei
- 20% Preț: 418.08 lei
- 20% Preț: 742.15 lei
- 20% Preț: 402.08 lei
- 20% Preț: 401.75 lei
- 20% Preț: 409.03 lei
- 20% Preț: 415.51 lei
- 20% Preț: 415.97 lei
- 20% Preț: 409.21 lei
- 5% Preț: 1016.36 lei
- 20% Preț: 317.42 lei
- 5% Preț: 636.71 lei
- 20% Preț: 346.49 lei
- 5% Preț: 830.22 lei
Preț: 486.00 lei
Preț vechi: 607.51 lei
-20% Nou
Puncte Express: 729
Preț estimativ în valută:
93.01€ • 96.61$ • 77.26£
93.01€ • 96.61$ • 77.26£
Carte tipărită la comandă
Livrare economică 03-17 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540678809
ISBN-10: 3540678808
Pagini: 492
Ilustrații: X, 481 S. 73 Abb.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.69 kg
Ediția:2000
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik aktuell
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540678808
Pagini: 492
Ilustrații: X, 481 S. 73 Abb.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.69 kg
Ediția:2000
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik aktuell
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Möglichkeiten und Grenzen der Virtualisierung des Informatikstudiums.- Interaktive Lernsysteme im Fernstudium: Betrachtung eines Programmierkurses im Zeitraffer.- Anwendungsorientierung in der Informatik-Ausbildung.- Erfolg macht Spa?: Softwaretechnik an der Universität Stuttgart.- Audio — Video — DISCO: Alltagstaugliche Konzepte für das Lernen mit neuen Medien.- Some Misunderstandings about the Anglo-Saxon Graduation System.- Perspektiven der Bioinformatik in der Funktionellen Genomforschung.- Neue Wege in der Exploration.- A Behavior and Utility-Based Control Architecture for Real-Time Applications.- Komponentenbasierte Konstruktion flexibler Software-Entwicklungswerkzeuge.- Kreativität in der Informatik: Anwendungsbeispiele der innovativen Prinzipien aus TRIZ.- Aktives Lernen von Algorithmen mit interaktiven Visualisierungen.- Towards a Manufacturing System under Hard Real-Time Constraints.- Die Verarbeitung von Parallelismus-Constraints.- Correctness Preserving Transformations for the Design of Parallelized Low-Power Systems.- Glykowissenschaften, ein neuer Einsatzbereich der Bioinformatik.- PROPAN: Ein retargierbares System für Postpassoptimierungen und –analysen.- WWW.BDD-PORTAL.ORG: Ein Forschungsportal im WWW.- II2: Unterstützung mobiler und drahtlos angebundener Teilnehmer in verteilten CORBA-Architekturen223.- Probabilistic Projection and Belief Update in the pGOLOG Framework.- Explaining What Went Wrong in Dynamic Domains.- Modellierung und Unterstützung verfahrenstechnischer Modellierungsprozesse.- Verteilte Lösung simulationsbasierter Optimierungsprobleme auf vernetzten Workstations.- Proving the Correctness of a Complete Microprocessor.- Dezentrale Intelligenz durch Metamodell-basierte Objektverwaltung.- Formale und stochastische Methodenzur Qualitätssicherung technischer Software.- Bank2010: Eine fachliche und technische Vision.- XML-basierte Internetanbindung technischer Prozesse.- Improving the Validation Process for a Better Field Quality in a Product Line Architecture.- Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.- Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme.- Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung.- Generatorunterstützte objektorientierte Entwicklung multimedialer Lehrund Lernsysteme zur Effizienzsteigerung und Qualitätsverbesserung.- Sicherheit in Mediendaten.- Rigorose Entwicklung software-intensiver Systeme.- Internet-Datenbanken.- Electronic Government.- Molekulare Bioinformatik.- Grafiktag 2000.- Unternehmen Hochschule.- Lehrerbildung Informatik - Konzepte und Erfahrungen.- Technologien zur virtuellen Ausbildung für wirtschaftlich schwache Länder.