Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: International Conference on Algebraic Methodology and Software Technology
26 träffar
|
Titel |
Författare |
År |
Språk |
| 21-22 |
Formal methods for real time and probabilistic systems - proceedings : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999
(flera utgåvor)
|
International Conference on Algebraic Methodology and Software Technology 1999) Bamberg :
|
cop. 1999 |
Engelska |
| 23-24 |
Algebraic methodology and software technology - 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
(flera utgåvor)
|
International Conference on Algebraic Methodology and Software Technology 2000) Iowa City :
|
cop. 2000 |
Engelska |
| 25-26 |
Algebraic methodology and software technology - 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
(flera utgåvor)
|
International Conference on Algebraic Methodology and Software Technology 2002 : Saint-Gilles-les-Bains)
|
cop. 2002 |
Engelska |
Förra sidan
1
2
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.