Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/gi/gi2000.bht:"
@inproceedings{DBLP:conf/gi/0002K00, author = {Christian Jacobi and Daniel Kroening}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Proving the Correctness of a Complete Microprocessor}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {293--303}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_24}, doi = {10.1007/978-3-642-58322-3\_24}, timestamp = {Thu, 27 Jun 2019 11:28:34 +0200}, biburl = {https://dblp.org/rec/conf/gi/0002K00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/AppelrathMM00, author = {Hans{-}J{\"{u}}rgen Appelrath and Uwe Marquardt and Heinrich C. Mayr}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Unternehmen Hochschule}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {475--476}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_40}, doi = {10.1007/978-3-642-58322-3\_40}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/AppelrathMM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/BaarHSS00, author = {Thomas Baar and Reiner H{\"{a}}hnle and Theo Sattler and Peter H. Schmitt}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Entwurfsmustergesteuerte Erzeugung von OCL-Constraints}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {389--404}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_30}, doi = {10.1007/978-3-642-58322-3\_30}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/BaarHSS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/BarthFGT00, author = {Thomas Barth and Bernd Freisleben and Manfred Grauer and Frank Thilo}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Verteilte L{\"{o}}sung simulationsbasierter Optimierungsprobleme auf vernetzten Workstations}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {274--292}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_23}, doi = {10.1007/978-3-642-58322-3\_23}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/BarthFGT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/BohneWLL00, author = {Andreas Bohne and Thomas Wetter and Elke Lang and Claus{-}Wilhelm von der Lieth}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Glykowissenschaften, ein neuer Einsatzbereich der Bioinformatik}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {181--196}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_16}, doi = {10.1007/978-3-642-58322-3\_16}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/BohneWLL00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Brauer00, author = {Wilfried Brauer}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Anwendungsorientierung in der Informatik-Ausbildung}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {16--18}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_3}, doi = {10.1007/978-3-642-58322-3\_3}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Brauer00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/DewalS00, author = {Sanjay Dewal and Ludger Schnichels}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Bank2010: Eine fachliche und technische Vision}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {337--355}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_27}, doi = {10.1007/978-3-642-58322-3\_27}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/DewalS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Eberle00, author = {Stephan Eberle}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {XML-Basierte Internetanbindung Technischer Prozesse}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {356--371}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_28}, doi = {10.1007/978-3-642-58322-3\_28}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Eberle00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Ebert00, author = {Christof Ebert}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Improving the Validation Process for a Better Field Quality in a Product Line Architecture}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {372--388}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_29}, doi = {10.1007/978-3-642-58322-3\_29}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Ebert00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Edelkamp00, author = {Stefan Edelkamp}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Neue Wege in der Exploration}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {65--77}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_8}, doi = {10.1007/978-3-642-58322-3\_8}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Edelkamp00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/El-Kebbe00, author = {Dania A. El{-}Kebbe}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Towards a Manufacturing System under Hard Real - Time Constraints}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {138--145}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_13}, doi = {10.1007/978-3-642-58322-3\_13}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/El-Kebbe00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Erk00, author = {Katrin Erk}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Die Verarbeitung von Parallelismus-Constraints}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {146--164}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_14}, doi = {10.1007/978-3-642-58322-3\_14}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Erk00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Faltin00, author = {Nils Faltin}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Aktives Lernen von Algorithmen mit interaktiven Visualisierungen}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {121--137}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_12}, doi = {10.1007/978-3-642-58322-3\_12}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Faltin00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Gehrke00, author = {Thomas Gehrke}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {405--419}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_31}, doi = {10.1007/978-3-642-58322-3\_31}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Gehrke00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Grosskreutz00, author = {Henrik Grosskreutz}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Probabilistic Projection and Belief Update in the pGOLOG Framework}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {233--249}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_20}, doi = {10.1007/978-3-642-58322-3\_20}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Grosskreutz00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/HofestadtL00, author = {Ralf Hofest{\"{a}}dt and Hans{-}Peter Lenhof}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Workshop "Molekulare Bioinformatik"}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {471--472}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_38}, doi = {10.1007/978-3-642-58322-3\_38}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/HofestadtL00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Iwan00, author = {Gero Iwan}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Explaining What Went Wrong in Dynamic Domains}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {250--263}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_21}, doi = {10.1007/978-3-642-58322-3\_21}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Iwan00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Kastner00, author = {Daniel K{\"{a}}stner}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {{PROPAN:} Ein retargierbares System f{\"{u}}r Postpassoptimierungen und -analysen}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {197--215}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_17}, doi = {10.1007/978-3-642-58322-3\_17}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Kastner00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Keedy00, author = {James Leslie Keedy}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Some Misunderstandings about the Anglo-Saxon Graduation System}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {44--52}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_6}, doi = {10.1007/978-3-642-58322-3\_6}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Keedy00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Keil-Slawik00, author = {Reinhard Keil{-}Slawik}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Audio - Video - {DISCO:} Alltagstaugliche Konzepte f{\"{u}}r das Lernen mit neuen Medien}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {32--43}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_5}, doi = {10.1007/978-3-642-58322-3\_5}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Keil-Slawik00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Kramer00, author = {Bernd J. Kr{\"{a}}mer}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Interaktive Lernsysteme im Fernstudium: Betrachtung eines Programmierkurses im Zeitraffer}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {12--15}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_2}, doi = {10.1007/978-3-642-58322-3\_2}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Kramer00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/KrobbH00, author = {Claudia Krobb and J{\"{o}}rg Hackenberg}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Modellierung und Unterst{\"{u}}tzung verfahrenstechnischer Modellierungsprozesse}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {264--273}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_22}, doi = {10.1007/978-3-642-58322-3\_22}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/KrobbH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Lenk00, author = {Klaus Lenk}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Electronic Government}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {469--470}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_37}, doi = {10.1007/978-3-642-58322-3\_37}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Lenk00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Liggesmeyer00, author = {Peter Liggesmeyer}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Formale und stochastische Methoden zur Qualit{\"{a}}tssicherung technischer Software}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {321--336}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_26}, doi = {10.1007/978-3-642-58322-3\_26}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Liggesmeyer00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Ludewig00, author = {Jochen Ludewig}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Erfolg macht Spa{\ss}: Softwaretechnik an der Universit{\"{a}}t Stuttgart}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {20--31}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_4}, doi = {10.1007/978-3-642-58322-3\_4}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Ludewig00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Meyer00, author = {Dirk Meyer}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Dezentrale Intelligenz durch Metamodell-basierte Objektverwaltung}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {304--317}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_25}, doi = {10.1007/978-3-642-58322-3\_25}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Meyer00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Monecke00, author = {Marc Monecke}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Komponentenbasierte Konstruktion flexibler Software-Entwicklungswerkzeuge}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {93--107}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_10}, doi = {10.1007/978-3-642-58322-3\_10}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Monecke00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Ottmann00, author = {Thomas Ottmann}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {M{\"{o}}glichkeiten und Grenzen der Virtualisierung des Informatikstudiums}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {3--11}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_1}, doi = {10.1007/978-3-642-58322-3\_1}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Ottmann00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Peroz00, author = {Nazir Peroz}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Workshop "Technologien zur virtuellen Ausbildung f{\"{u}}r wirtschaftlich schwache L{\"{a}}nder"}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {479--481}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_42}, doi = {10.1007/978-3-642-58322-3\_42}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Peroz00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/PipkaM00, author = {Jens Uwe Pipka and Mira Mezini}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {420--439}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_32}, doi = {10.1007/978-3-642-58322-3\_32}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/PipkaM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Ruggaber00, author = {Rainer Ruggaber}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {\emph{{\(\prod\)}}\({}^{\mbox{2}}\): Unterst{\"{u}}tzung mobiler und drahtlos angebundener Teilnehmer in verteilten CORBA-Architekturen}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {223--232}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_19}, doi = {10.1007/978-3-642-58322-3\_19}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Ruggaber00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/SaakeS00, author = {Gunter Saake and Kai{-}Uwe Sattler}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Workshop Internet-Datenbanken}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {467--468}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_36}, doi = {10.1007/978-3-642-58322-3\_36}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/SaakeS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/SaupeJ00, author = {Dietmar Saupe and Dietmar Jack{\`{e}}l}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Grafiktag 2000}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {473--474}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_39}, doi = {10.1007/978-3-642-58322-3\_39}, timestamp = {Tue, 15 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gi/SaupeJ00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/SchubertS00, author = {Sigrid E. Schubert and Andreas Schwill}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Workshop Lehrerbildung Informatik}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {477--478}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_41}, doi = {10.1007/978-3-642-58322-3\_41}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/SchubertS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/SchumacherS00, author = {Markus Schumacher and Ralf Steinmetz}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Sicherheit in Mediendaten}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {463--464}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_34}, doi = {10.1007/978-3-642-58322-3\_34}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/SchumacherS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Stenzel00, author = {Roland Stenzel}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {A Behavior and Utility-Based Control Architecture for Real-Time Applications}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {78--92}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_9}, doi = {10.1007/978-3-642-58322-3\_9}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Stenzel00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/TheisenG00, author = {Marc Theisen and Felix C. G{\"{a}}rtner}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Correctness Preserving Transformations for the Design of Parallelized Low-Power Systems}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {165--180}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_15}, doi = {10.1007/978-3-642-58322-3\_15}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/TheisenG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Thiesen00, author = {Hans{-}J{\"{u}}rgen Thiesen}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Perspektiven der Bioinformatik in der Funktionellen Genomforschung}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {55--62}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_7}, doi = {10.1007/978-3-642-58322-3\_7}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Thiesen00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Wagner00, author = {Arno Wagner}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {{WWW.BDD-PORTAL.ORG:} Ein Forschungsportal im {WWW}}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {216--222}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_18}, doi = {10.1007/978-3-642-58322-3\_18}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Wagner00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Weidauer00, author = {Christian Weidauer}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Generatorunterst{\"{u}}tzte objektorientierte Entwicklung multimedialer Lehr- und Lernsysteme zur Effizienzsteigerung und Qualit{\"{a}}tsverbesserung}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {440--460}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_33}, doi = {10.1007/978-3-642-58322-3\_33}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/Weidauer00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/WillmsWS00, author = {Janine Willms and Ina Wentzlaff and Markus Specker}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Kreativit{\"{a}}t in der Informatik: Anwendungsbeispiele der innovativen Prinzipien aus {TRIZ}}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {108--120}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_11}, doi = {10.1007/978-3-642-58322-3\_11}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/WillmsWS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/WirsingGKNR00, author = {Martin Wirsing and Martin Gogolla and Hans{-}J{\"{o}}rg Kreowski and Tobias Nipkow and Wolfgang Reif}, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Workshop {\"{u}}ber Rigorose Entwicklung software-intensiver Systeme}, booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, pages = {465--466}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3\_35}, doi = {10.1007/978-3-642-58322-3\_35}, timestamp = {Fri, 02 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gi/WirsingGKNR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gi/2000, editor = {Kurt Mehlhorn and Gregor Snelting}, title = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September 2000}, series = {Informatik aktuell}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-642-58322-3}, doi = {10.1007/978-3-642-58322-3}, isbn = {978-3-540-67880-9}, timestamp = {Thu, 27 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gi/2000.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.