2. German-Argentinian Workshop on Information Technology 1999:
Königswinter,
Germany
Stefan Jähnichen,
Irene Loiseau (Eds.):
Proceedings of the 2nd German-Argentinian Workshop on Information Technology,
Königswinter,
Germany,
March 3-5,
1999. International Bureau of the BMBF,
North and South America,
Bonn,
1999 (http:
//www.dlr.de/ib/)
Technologies for the Design and Implementation of Application Systems
Automated Reasoning and Formal Software Development
- Herbert Weber, Marcus Klar, Stefan Mann, Ralf-Detlef Kutsche, Stefan Jähnichen, Robert Büssow, Hartmut Ehrig, Robert Geisler, Gabriel Baum, Claudia Pons, Miguel Felder, Sergio Waldoke:
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
23-30 BibTeX
- Software System Verification and Program Derivation.
31-38 BibTeX
- Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari, Pablo R. Fillottrani:
Automating Defeasible Reasoning with Logic Programming.
39-46 BibTeX
- Luis Mandel, Marcelo Campo, Analía Amandi, Thom W. Frühwirth, Bernd Meyer, Slim Abdennadher, Bernhard Bauer:
JACK - Java Constraint Kit.
47-58 BibTeX
Algorithms for Planning,
Optimization and Scheduling of Application Systems
Applied Research for Further Application of Computer Science Technology
- Martin Gaedke, Hans-Werner Gellersen, Silvia E. Gordillo, Fernando Lyardet, Gustavo Rossi, Daniel Schwabe:
Using Components in Web Document Engineering.
75-80 BibTeX
- Francisco Javier Diaz, Luis Marrone, Claudia Mariana Banchoff Tzancoff, Ralf Steinmetz, Abdulmotaleb El-Saddik:
Enabling Interactive Multimedia-Based Collaborative Learning.
81-86 BibTeX
- Alejandro César Frery, Julio Jacobo-Berlles, Marta Mejail:
User-Friendly Statistical Tools for Information Retrieval in SAR Imagery.
87-94 BibTeX
- Martin Wirsing, Nora Koch, Gustavo Rossi, Alejandra Garrido, Luis Mandel, Alfred Helmerich, Luis Olsina:
Specification and Modelling of Multimedia and Hypermedia Applications in Distributed Systems.
95- BibTeX
Copyright © Sat May 16 23:13:06 2009
by Michael Ley (ley@uni-trier.de)