District d'Arnsberg And NotUrsula Wellen
List of bibliographic references
Number of relevant bibliographic references: 13.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 001D84 | Jean-Yves Marion [France] ; Thomas Schwentick [Allemagne, États-Unis] | Theoretical Aspects of Computer Science |
| 001E91 | Yves Rangoni [France] ; Abdet Belaïd [France] ; Szilárd Vajda [Allemagne] | Labelling logical structures of document images using a dynamic perceptive neural network |
| 002673 | Yves Rangoni [France] ; Abdel Belaïd [France] ; Szilárd Vajda [Allemagne, États-Unis] | Labelling logical structures of document images using a dynamic perceptive neural network |
| 008762 | Volker Gruhn [Allemagne] | Process-Centered Software Engineering Environments, A Brief History and Future Challenges |
| 00B332 | Wolfgang Deiters [Allemagne] ; Volker Gruhn [Allemagne] | Process Management in Practice Applying the FUNSOFT Net Approach to Large-Scale Processes |
| 00D211 | Alfred Bröckers [Allemagne] ; Volker Gruhn [Allemagne] | Computer-aided verification of software process model properties |
| 00D634 | Wolfgang Emmerich [Allemagne] ; Wilhelm Sch Fer [Allemagne] ; Jim Welsh [Australie] | Suitable databases for process-centred environments do not yet exist |
| 00D641 | Wilhelm Sch Fer [Allemagne] | Session introduction |
| 00E038 | Wolfgang Deiters [Allemagne] ; Volker Gruhn [Allemagne] ; Wilhelm Sch Fer [Allemagne] | Systematic development of formal software process models |
| 00E046 | Harald Ganzinger [Allemagne] | Order-sorted completion: The many-sorted way |
| 00E366 | Harald Ganzinger [Allemagne] | Completion with history-dependent complexities for generated equations |
| 00E370 | Hubert Bertling [Allemagne] ; Harald Ganzinger [Allemagne] ; Renate Sch Fers [Allemagne] | CEC: A system for the completion of conditional equational specifications |
| 00E614 | Harald Ganzinger [Allemagne] | Ground term confluence in parametric conditional equational specifications |
| This area was generated with Dilib version V0.6.33. |  |