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
Algebraic methodology and software technology
: 8th international conference ; proceedings / AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000. Teodor Rus (ed.). - Berlin : Springer, 2000. - XI, 544 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1816)
ISBN 978-3-540-67530-3 / 3-540-67530-2 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Algebraic methods
- Berlin : Springer, 1991. - 431 - (Lecture notes in computer science; Vol. 490)
ISBN 978-3-540-53912-4 / 3-540-53912-3 kart. : DM 61.00
Quelle: DNB
Algebraic number theory
: 6th international symposium ; proceedings / ANTS-VI, Burlington, VT, USA, June 13 - 18, 2004. Duncan Buell (ed.). - Berlin : Springer, 2004. - XI, 450 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3076)
ISBN 978-3-540-22156-2 / 3-540-22156-5 kart. : EUR 64.20 (freier Pr.), ca. sfr 106.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Lang, Serge: Algebraic number theory
/ Serge Lang. - 2. ed. - New York : Springer, 1994. - XIII, 357 S.; 24 cm - (Graduate texts in mathematics; 110)
ISBN 978-3-540-94225-2 / 3-540-94225-4 Pp. : DM 68.00
Quelle: DNB
Neukirch, Jürgen: Algebraic number theory
/ Jürgen Neukirch. Transl. from the German by Norbert Schappacher. - Berlin : Springer, 1999. - XVII, 571 S.; 24 cm - (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen; 322)
ISBN 978-3-540-65399-8 / 3-540-65399-6 Pp. : DM 179.00
Literaturverz. S. 551 - 558
Quelle: DNB
