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 21 träffar

Titel Författare År Språk
1 Algebraic Methodology and Software Technology electronic resource : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings / edited by Charles Rattray, Savitri Maharaj, Carron Shankland International Conference on Algebraic Methodology and Software Technology Corporate Author uuuu-uuuu Okänt
2 Algebraic Methodology and Software Technology electronic resource : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings / edited by V.S. Alagar, Maurice Nivat International Conference on Algebraic Methodology and Software Technology uuuu-uuuu Okänt
3 Algebraic methodology and software technology : 7th International Conference, AMAST '99, Amazonia, Brazil, January 4-8, 1999 : proceedings / Armando MartiÌn Haeberer (editor) Brazil) 1999 : (7th International Conference on Algebraic Methodology and Software Technology Amazonia uuuu-uuuu Okänt
4 Algebraic Methodology and Software Technology electronic resource : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings / edited by Michael Johnson, Varmo Vene Estonia) 2006 : (11th International Conference on Algebraic Methodology and Software Technology Kingissepa uuuu-uuuu Okänt
5 Algebraic Methodology and Software Technology electronic resource : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic QC International Conference on Algebraic Methodology and Software Technology Lac-Beauport uuuu-uuuu Okänt
6 Algebraic Methodology and Software Technology electronic resource : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings / edited by Teodor Rus Brazil) 1999 : (7th International Conference on Algebraic Methodology and Software Technology Amazonia uuuu-uuuu Okänt
7 Algebraic Methodology and Software Technology electronic resource : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings / edited by Martin Wirsing, Maurice Nivat International Conference on Algebraic Methodology and Software Technology uuuu-uuuu Okänt
8 Algebraic methodology and software technology : 12th International Conference, AMAST 2008 Urbana, il, USA, July 28-31, 2008, proceedings / Jose Meseguer, Grigore Rosu (Eds.) Ill.) 2008 : (12th International Conference on Algebraic Methodology and Software Technology Urbana uuuu-uuuu Okänt
9 Algebraic Methodology and Software Technology electronic resource : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings / edited by Helene Kirchner, Christophe Ringeissen International Conference on Algebraic Methodology and Software Technology uuuu-uuuu Okänt
10 Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / edited by Charles Rattray, Savitri Maharaj Scotland) 2004 : (10th International Conference on Algebraic Methodology and Software Technology Stirling uuuu-uuuu Okänt
11 Algebraic Methodology and Software Technology - 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings International Conference on Algebraic Methodology and Software Technology International Conference on Algebraic Methodology and Software Technology 2002 Engelska
12-13 Algebraic Methodology and Software Technology (flera utgåvor) International Conference on Algebraic Methodology and Software Technology 1996 Engelska
14 Algebraic methodology and software technology International Conference on Algebraic Methodology and Software Technology München) 1996 : 1996 Engelska
15 Algebraic methodology and software technology - 6th international conference AMAST'97, Sydney, Australia, December 13-17, 1997 : proceedings International Conference on Algebraic Methodology and Software Technology 1997) Sydney : 1997 Engelska
16-17 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
18-19 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
20 Algebraic methodology and software technology - 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings International Conference on Algebraic Methodology and Software Technology 2002 : Saint-Gilles-les-Bains) cop. 2002 Engelska

1 2 Nästa sida

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.