Jones, Arthur: Abstract algebra and famous impossibilities
/ Arthur Jones ; Sidney A. Morris ; Kenneth R. Pearson. - Corr. 2. printing - New York : Springer, 1994. - X, 187 S. : graph. Darst.; 24 cm - (Universitext)
ISBN 978-3-540-97661-5 / 3-540-97661-2 kart.
Literaturangaben
Quelle: DNB
Algebraic and coalgebraic methods in the mathematics of program construction
: international summer school and workshop, Oxford, UK, April 10 - 14, 2000 ; revised lectures / R. Backhouse ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2297)
ISBN 978-3-540-47797-6
Lizenzpflichtig
Quelle: DNB
Algebraic methodology and software technology
: 4th international conference ; proceedings / AMAST '95, Montreal, Canada, July 3 - 7, 1995. V. S. Alagar ; Maurice Nivat (ed.). - Berlin : Springer, 1995. - XIV, 591 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 936)
ISBN 978-3-540-60043-5 / 3-540-60043-4 kart. : DM 118.00
Literaturangaben
Quelle: DNB
Algebraic methodology and software technology
: 9th international conference ; proceedings / AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9 - 13, 2002. H. Kirchner ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2422)
ISBN 978-3-540-45719-0
Lizenzpflichtig
Quelle: DNB
Algebraic methodology and software technology
: 8th international conference ; proceedings / AMAST 2000, Iowa City, Iowa, USA, May 2000. T.Rus (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1816)
ISBN 978-3-540-45499-1
Lizenzpflichtig
Quelle: DNB
Algebraic methodology and software technology
: 12th international conference ; proceedings / AMAST 2008, Urbana, IL, USA, July 28 - 31, 2008. José Meseguer ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5140)
ISBN 978-3-540-79980-1
Lizenzpflichtig
Quelle: DNB
Algebraic methodology and software technology
: 11th international conference ; proceedings / AMAST 2006, Kuressaare, Estonia, July 5 - 8, 2006. Michael Johnson ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4019)
ISBN 978-3-540-35636-3
Lizenzpflichtig
Quelle: DNB
Algebraic methodology and software technology
: 5th international conference ; proceedings / AMAST '96, Munich, Germany, July 1 - 5, 1996. Martin Wirsing ; Maurice Nivat (ed.). - Berlin : Springer, 1996. - XII, 640 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1101)
ISBN 978-3-540-61463-0 / 3-540-61463-X kart. : DM 126.00
Literaturangaben
Quelle: DNB
Algebraic methodology and software technology
: proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21 - 25 June 1993 / (AMAST '93). M. Nivat ... (ed.). Publ. in collab. with the British Computer Society. - London : Springer, 1994. - XIV, 416 S. : graph. Darst.; 24 cm - (Workshops in Computing)
ISBN 978-3-540-19852-9 / 3-540-19852-0 kart. : DM 110.00
Literaturangaben
Quelle: DNB
Algebraic methodology and software technology
: 6th international conference ; proceedings / AMAST '97, Sydney, Australia, December 13 - 17, 1997. Michael Johnson (ed.). - Berlin : Springer, 1997. - X, 594 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1349)
ISBN 978-3-540-63888-9 / 3-540-63888-1 kart. : DM 122.00
Literaturangaben
Quelle: DNB
