|
|
|
|
|
|
|
|
1 - 8 von 8 |
|
|
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) abstract data types computer science eingrenzen (Basisklassifikation (XBKL)) 54.10
|
|
|
|
|
|
1. |
Recent trends in algebraic development techniques : 14th international workshop, Château de Bonas, France, September 15 - 18, 1999 ; selected papers Bert, Didier. - Berlin : Springer, 2000
|
|
|
|
2. |
Algebraic methodology and software technology : 8th international conference ; Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings Rus, Teodor. - Berlin : Springer, 2000
|
|
|
|
3. |
Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers Fiadeiro, José Luiz. - Berlin : Springer, 1999
|
|
|
|
4. |
Algebraic methodology and software technology : 7th international conference ; proceedings Haeberer, Armando Martín. - Berlin : Springer, 1999
|
|
|
|
5. |
Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997; selected papers Parisi-Presicce, Francesco. - Berlin : Springer, 1998
|
|
|
|
6. |
Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems Geurts, Frédéric. - Berlin : Springer, 1998
|
|
|
|
7. |
Algebraic methodology and software technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings Alagar, Vangalur S. *1940-*. - Berlin : Springer, 1995
|
|
|
|
8. |
Qualified types : theory and practice Jones, Mark P.. - 1. publ. - Cambridge [u.a.] : Cambridge Univ. Press, 1994
|
|
|
|