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
Gabber, Ofer: Almost ring theory
/ Ofer Gabber ; Lorenzo Ramero. - Berlin : Springer, 2003. - VI, 307 S. : graph. Darst.; 24 cm - (Lecture notes in mathematics; Vol. 1800)
ISBN 978-3-540-40594-8 / 3-540-40594-1 kart. : EUR 53.45
Literaturverz. S. 301 - 303
Quelle: DNB
Almost ring theory
/ Ofer Gabber .... - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in mathematics; 1800)
ISBN 978-3-540-45096-2
Lizenzpflichtig
Quelle: DNB
Categorical perspectives
/ Jürgen Koslowski ; Austin Melton eds.. - Boston : Birkhäuser, 2001. - X, 281 S. : graph. Darst.; 24 cm - (Trends in mathematics)
ISBN 978-3-7643-4186-2 / 3-7643-4186-6 Pp. : sfr 148.00
Literaturangaben
Quelle: DNB
Kashiwara, Masaki: Categories and sheaves
/ Masaki Kashiwara ; Pierre Schapira. - Berlin : Springer, 2006. - X, 497 S. : graph. Darst.; 24 cm - (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen; Vol. 332)
ISBN 978-3-540-27949-5 / 3-540-27949-0 Pp. : EUR 96.25 (freier Pr.), sfr 152.50 (freier Pr.)
Literaturverz. S. 483 - 486
Quelle: DNB Verlagsmeldungen
Fiadeiro, José Luiz: Categories for software engineering
/ José Luiz Fiadeiro. - Berlin : Springer, 2005. - XII, 250 S. : graph. Darst.; 24 cm
ISBN 978-3-540-20909-6 / 3-540-20909-3 Pp. : EUR 53.45
Literaturverz. S. 237 - 243
Quelle: DNB Verlagsmeldungen
Category theory and computer science
: 6th international conference ; proceedings / CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. David Pitt ... (ed.). - Berlin : Springer, 1995. - 252 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 953)
ISBN 978-3-540-60164-7 / 3-540-60164-3 kart. : DM 62.00
Literaturangaben
Quelle: DNB
Category theory and computer science
: 7th international conference ; proceedings / CTCS '97, S. Margherita Ligure, Italy, September 4 - 6, 1997. Eugenio Moggi ; Giuseppe Rosolini (ed.). - Berlin : Springer, 1997. - 313 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1290)
ISBN 978-3-540-63455-3 / 3-540-63455-X kart. : DM 74.00
Literaturangaben
Quelle: DNB
Logical aspects of computational linguistics
: 4th international conference ; proceedings / LACL 2001, Le Croisic, France, June 27 - 29, 2001. P. de Groote ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2099 : Lecture notes in artificial intelligence)
ISBN 978-3-540-48199-7
Lizenzpflichtig
Quelle: DNB
Mathematisch-strukturelle Grundlagen der Informatik
/ H. Ehrig .... - Berlin : Springer, 1999. - XIX, 534 S. : graph. Darst.; 24 cm - (Springer-Lehrbuch)
ISBN 978-3-540-63865-0 / 3-540-63865-2 kart. : DM 59.00, sfr 54.00, S 431.00
Quelle: DNB
