![Staatsbibliothek zu Berlin Staatsbibliothek zu Berlin](https://lbssbb.gbv.de/img_psi/2.0/logos/Kataloglogo.jpg) |
![](https://lbssbb.gbv.de/img_psi/2.0/gui/white.gif) |
|
|
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
1 - 8 von 8
|
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![*](https://lbssbb.gbv.de/img_psi/2.0/gui/h2.gif) ![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) abstract data types computer science eingrenzen (Basisklassifikation (XBKL)) 54.10
|
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![Bücher Bücher](https://lbssbb.gbv.de/img_psi/2.0/icons/book.gif) |
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
|
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![Bücher Bücher](https://lbssbb.gbv.de/img_psi/2.0/icons/book.gif) |
2. |
Algebraic methodology and software technology : 8th international conference ; Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings Rus, Teodor. - Berlin : Springer, 2000
|
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![Bücher Bücher](https://lbssbb.gbv.de/img_psi/2.0/icons/book.gif) |
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
|
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![Bücher Bücher](https://lbssbb.gbv.de/img_psi/2.0/icons/book.gif) |
4. |
Algebraic methodology and software technology : 7th international conference ; proceedings Haeberer, Armando Martín. - Berlin : Springer, 1999
|
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![Bücher Bücher](https://lbssbb.gbv.de/img_psi/2.0/icons/book.gif) |
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
|
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![Bücher Bücher](https://lbssbb.gbv.de/img_psi/2.0/icons/book.gif) |
6. |
Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems Geurts, Frédéric. - Berlin : Springer, 1998
|
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![Bücher Bücher](https://lbssbb.gbv.de/img_psi/2.0/icons/book.gif) |
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
|
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![Bücher Bücher](https://lbssbb.gbv.de/img_psi/2.0/icons/book.gif) |
8. |
Qualified types : theory and practice Jones, Mark P.. - 1. publ. - Cambridge [u.a.] : Cambridge Univ. Press, 1994
|
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
![](https://lbssbb.gbv.de/img_psi/2.0/gui/empty.gif) |
|