161 results · clear filters Sort: newest oldest name

1. European Joint Conferences on Theory and Practice of Software (ETAPS 2000)
   2000-03-25 to 2000-04-02 · Berlin, Germany
   Mathematics
   e12gk40
2. International Symposium on Symbolic and Algebraic Computation 1998 (ISSAC 1998, ISSAC)
   1998-08-13/15 · Rostock, Germany
   MathematicsComputer and information sciences
   e11ehk9
3. e12fr7r (CADE 1998)
   1998-05-07 · Lindau, Germany
   Mathematics
   e12fr7r
4. Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung
   1997-05-05/09 · Wadern, Germany
   MathematicsComputer and information sciences
   e12emar
5. 18th International Conference on Software Engineering (ICSE 1996)
   1996-05-25/30 · March, Germany
   MathematicsComputer and information sciences
   e10jy7d
6. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1996, TACAS)
   1996-03-27/29 · Passau, Germany
   MathematicsComputer and information sciences
   e1088nv
7. 18th International Conference on Software Engineering (ICSE 1996)
   1996-03-25/30 · Berlin, Germany
   MathematicsComputer and information sciences
   e11a5sh
8. International Symposium on Symbolic and Algebraic Computation 1991 (ISSAC 1991, ISSAC)
   1991-07-15/17 · Bonn, Germany
   MathematicsComputer and information sciences
   e11ehcr
9. e12fr14 (CADE 1990)
   1990-07-24/27 · Kaiserslautern, Germany
   Mathematics
   e12fr14
10. 12th International Conference on Software Engineering (ICSE 1990)
    1990-05-26/30 · March, Germany
    MathematicsComputer and information sciences
    e10jyd1
11. VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 (VDM Europe 1990)
    1990-04-17/21 · Kiel, Germany
    MathematicsComputer and information sciences
    e10ez3x

As JSON: https://labs.confref.org/api/search?field=1.1&country=DE&page=7