1
Model checking software [E-Book] : 15th international SPIN workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings /
2
Distributed computing [E-Book] : 22nd international symposium, DISC 2008, Arcachon, France, September 22-24, 2008 : proceedings /
3
Diagrammatic representation and inference [E-Book] : 5th international conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008 : proceedings /
4
Generic programming : IFIP TC2 / WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany /
Book
5
Poster session of ALP 1996: proceedings : International conference on algebraic and logic programming 0005: proceedings : Aachen, 25.09.96-27.09.96.
Book
6
Software-Ergonomie '95 : Mensch Computer Interaktion, Anwendungsbereiche lernen voneinander /
Book
...DMA - Programming...
7
High performance computing and networking. 2. networking and tools : international conference and exhibition, proceedings : München, 18.04.94-20.04.94.
Book
8
High performance computing and networking. 1. applications : international conference, proceedings and exhibition, proceedings : München, 18.04.94-20.04.94.
Book
9
Scalable high performance computing conference 1992: proceedings : SHPCC 1992: proceedings : Williamsburg, VA, 26.04.92-29.04.92.
Book
1992
...DMA - Programming...
10
Innovative Programmiermethoden für graphische Systeme : GI-Fachgespräch Bonn, 1./2. Juni 1992 /
Book
Kansy, K.
1992
...DMA - Programming...
11
Advances in computing and information. 3, 1991 : international conference on computing and information, proceedings : ICCI, proceedings : Ottawa, 27.05.91-29.05.91 /
Book
12
Fault tolerant computing systems: tests, diagnosis, fault treatment : International GI/ITG/GMA conference 0005: proceedings : Nürnberg, 25.09.91-27.09.91.
Book
13
Granada workshop on the integration of functional and logic programming : Granada, 24.09.90-28.09.90.
Book
...DMA - Programming...
14
Distributed memory computing conference 0006: proceedings : DMCC 0006: proceedings : Portland, OR, 28.04.91-01.05.91.
Book
...DMA - Programming...
15
European symposium on programming, proceedings. 3, 1990 : ESOP : Köbenhavn, 15.05.90-18.05.90.
Book
Jones, N.
1990
...DMA - Programming...
16
Annual Z user meeting 0004: proceedings : Z user workshop : Oxford, 15.12.89.
Book
...DMA - Programming...
17
Stacs, proceedings. 1990, 7 : annual symposium on theoretical aspects of computer science, proceedings : Rouen, 22.02.90-24.02.90.
Book
18
Softwaretechnik in Automatisierung und Kommunikation: Wiederverwendbarkeit von Software : Softwaretechnik in Automatisierung und Kommunikation ITG/GI/GMA Fachtagung. 0001: Vorträge : Ulm, 15.11.89-16.11.89.
Book
19
International Workshop on Software Version and Configuration Control: proceedings : Grassau, 27.01.88-29.01.88.
Book
...DMA - Programming...
20
Annual international phoenix conference on computers and communications. 0007: proceedings : Annual international PCCC. 1988: proceedings : Scottsdale, AZ, 16.03.88-18.03.88.
Book