Algebra and coalgebra in computer science
: first international conference ; proceedings / CALCO 2005, Swansea, UK, September 3 - 6, 2005. José Luiz Fiadeiro ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3629)
ISBN 978-3-540-31876-7
Lizenzpflichtig
Quelle: DNB
Algebra, arithmetic and geometry with applications
: papers from Shreeram S. Abhyankar's 70th Birthday Conference / C. Christensen ... (ed.). - Berlin : Springer, 2004. - XVI, 784 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-00475-2 / 3-540-00475-0 kart. : EUR 106.95, sfr 166.00
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 and logic programming
: 4th international conference ; proceedings / ALP '94, Madrid, Spain, September 14 - 16, 1994. Giorgio Levi ; Mario Rodríguez Artalejo (ed.). - Berlin : Springer, 1994. - VIII, 304 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 850)
ISBN 978-3-540-58431-5 / 3-540-58431-5 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Algebraic and logic programming
: 5th international conference ; proceedings / ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ; Mario Rodríguez Artalejo (ed.). - Berlin : Springer, 1996. - VIII, 344 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1139)
ISBN 978-3-540-61735-8 / 3-540-61735-3 kart. : DM 78.00
Literaturangaben
Quelle: DNB
Algebraic and logic programming
: 6th international joint conference ; proceedings / ALP '97 ; HOA '97, Southampton, UK, September 3 - 5, 1997. Michael Hanus ... (ed.). - Berlin : Springer, 1997. - X, 286 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1298)
ISBN 978-3-540-63459-1 / 3-540-63459-2 kart. : DM 66.00
Quelle: DNB
Algebraic and logic programming
- Berlin : Springer, 1992. - IX, 457 S. : graph. Darst. - (Lecture notes in computer science; Vol. 632)
ISBN 978-3-540-55873-6 / 3-540-55873-X kart. : DM 86.00
Quelle: DNB
Algebraic and proof theoretic aspects of non-classical logics
: papers in honor of Daniele Mundici in the occasion of his 60th birthday ; [Festschrift] / Stefano Aguzzoli ... (ed.). [Folli]. - Berlin : Springer, 2007. - VIII, 308 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4460 : Lecture notes in artificial intelligence)
ISBN 978-3-540-75938-6 / 3-540-75938-7 kart. : EUR 51.36 (freier Pr.), sfr 84.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Adams, Barry G.: Algebraic approach to simple quantum systems
: with applications to perturbation theory / Barry G. Adams. - Berlin : Springer, 1994. - XVI, 451 S.; 24 cm
ISBN 978-3-540-57801-7 / 3-540-57801-3 kart. : DM 68.00
Literaturverz. S. 435 - 442
Quelle: DNB
Algebraic biology
: third international conference ; proceedings / AB 2008, Castle of Hagenberg, Austria, July 31 - August 2, 2008. Katsuhisa Horimoto ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5147)
ISBN 978-3-540-85101-1
Lizenzpflichtig
Quelle: DNB
