default search action
30. GI Jahrestagung 2000: Berlin
- Kurt Mehlhorn, Gregor Snelting:
Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.-22. September 2000. Informatik aktuell, Springer 2000, ISBN 978-3-540-67880-9
Informatik-Ausbildung
- Thomas Ottmann:
Möglichkeiten und Grenzen der Virtualisierung des Informatikstudiums. 3-11 - Bernd J. Krämer:
Interaktive Lernsysteme im Fernstudium: Betrachtung eines Programmierkurses im Zeitraffer. 12-15 - Wilfried Brauer:
Anwendungsorientierung in der Informatik-Ausbildung. 16-18 - Jochen Ludewig:
Erfolg macht Spaß: Softwaretechnik an der Universität Stuttgart. 20-31 - Reinhard Keil-Slawik:
Audio - Video - DISCO: Alltagstaugliche Konzepte für das Lernen mit neuen Medien. 32-43 - James Leslie Keedy:
Some Misunderstandings about the Anglo-Saxon Graduation System. 44-52
Bioinformatik
- Hans-Jürgen Thiesen:
Perspektiven der Bioinformatik in der Funktionellen Genomforschung. 55-62 - Stefan Edelkamp:
Neue Wege in der Exploration. 65-77 - Roland Stenzel:
A Behavior and Utility-Based Control Architecture for Real-Time Applications. 78-92 - Marc Monecke:
Komponentenbasierte Konstruktion flexibler Software-Entwicklungswerkzeuge. 93-107 - Janine Willms, Ina Wentzlaff, Markus Specker:
Kreativität in der Informatik: Anwendungsbeispiele der innovativen Prinzipien aus TRIZ. 108-120 - Nils Faltin:
Aktives Lernen von Algorithmen mit interaktiven Visualisierungen. 121-137 - Dania A. El-Kebbe:
Towards a Manufacturing System under Hard Real - Time Constraints. 138-145 - Katrin Erk:
Die Verarbeitung von Parallelismus-Constraints. 146-164 - Marc Theisen, Felix C. Gärtner:
Correctness Preserving Transformations for the Design of Parallelized Low-Power Systems. 165-180 - Andreas Bohne, Thomas Wetter, Elke Lang, Claus-Wilhelm von der Lieth:
Glykowissenschaften, ein neuer Einsatzbereich der Bioinformatik. 181-196 - Daniel Kästner:
PROPAN: Ein retargierbares System für Postpassoptimierungen und -analysen. 197-215 - Arno Wagner:
WWW.BDD-PORTAL.ORG: Ein Forschungsportal im WWW. 216-222 - Rainer Ruggaber:
∏2: Unterstützung mobiler und drahtlos angebundener Teilnehmer in verteilten CORBA-Architekturen. 223-232 - Henrik Grosskreutz:
Probabilistic Projection and Belief Update in the pGOLOG Framework. 233-249 - Gero Iwan:
Explaining What Went Wrong in Dynamic Domains. 250-263 - Claudia Krobb, Jörg Hackenberg:
Modellierung und Unterstützung verfahrenstechnischer Modellierungsprozesse. 264-273 - Thomas Barth, Bernd Freisleben, Manfred Grauer, Frank Thilo:
Verteilte Lösung simulationsbasierter Optimierungsprobleme auf vernetzten Workstations. 274-292 - Christian Jacobi, Daniel Kroening:
Proving the Correctness of a Complete Microprocessor. 293-303 - Dirk Meyer:
Dezentrale Intelligenz durch Metamodell-basierte Objektverwaltung. 304-317
Softwaretechnik 2000
- Peter Liggesmeyer:
Formale und stochastische Methoden zur Qualitätssicherung technischer Software. 321-336 - Sanjay Dewal, Ludger Schnichels:
Bank2010: Eine fachliche und technische Vision. 337-355 - Stephan Eberle:
XML-Basierte Internetanbindung Technischer Prozesse. 356-371 - Christof Ebert:
Improving the Validation Process for a Better Field Quality in a Product Line Architecture. 372-388 - Thomas Baar, Reiner Hähnle
, Theo Sattler, Peter H. Schmitt:
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints. 389-404 - Thomas Gehrke:
Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme. 405-419 - Jens Uwe Pipka, Mira Mezini:
Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung. 420-439 - Christian Weidauer:
Generatorunterstützte objektorientierte Entwicklung multimedialer Lehr- und Lernsysteme zur Effizienzsteigerung und Qualitätsverbesserung. 440-460
Workshops
- Markus Schumacher, Ralf Steinmetz:
Sicherheit in Mediendaten. 463-464 - Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif:
Workshop über Rigorose Entwicklung software-intensiver Systeme. 465-466 - Gunter Saake, Kai-Uwe Sattler:
Workshop Internet-Datenbanken. 467-468 - Klaus Lenk:
Electronic Government. 469-470 - Ralf Hofestädt, Hans-Peter Lenhof:
Workshop "Molekulare Bioinformatik". 471-472 - Dietmar Saupe, Dietmar Jackèl:
Grafiktag 2000. 473-474 - Hans-Jürgen Appelrath, Uwe Marquardt, Heinrich C. Mayr:
Unternehmen Hochschule. 475-476 - Sigrid E. Schubert, Andreas Schwill:
Workshop Lehrerbildung Informatik. 477-478 - Nazir Peroz:
Workshop "Technologien zur virtuellen Ausbildung für wirtschaftlich schwache Länder". 479-481
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-29 01:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: