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 methodology and software technology
: 7th international conference ; proceedings / AMAST '98, Amazonia, Brazil, January 1999. Armando M. Haeberer (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1548)
ISBN 978-3-540-49253-5
Lizenzpflichtig
Quelle: DNB
Breu, Ruth: Algebraic specification techniques in object oriented programming environments
/ R. Breu. - Berlin : Springer, 1991. - XI, 228 S.; 25 cm - (Lecture notes in computer science; 562)
ISBN 978-3-540-54972-7 / 3-540-54972-2 kart. : DM 39.50
Quelle: DNB
Algebraic system specification and development
: a survey and annotated bibliography / M. Bidoit ... (ed.). - Berlin : Springer, 1991. - VIII, 98 S.; 24 cm - (Lecture notes in computer science; 501)
ISBN 978-3-540-54060-1 / 3-540-54060-1 kart. : DM 29.50
Literaturverz. S. 59 - 98
Quelle: DNB
Algebra, meaning, and computation
: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / Kokichi Futatsugi ... (ed.). - Berlin : Springer, 2006. - XXXVIII, 642 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4060 : Festschrift)
ISBN 978-3-540-35462-8 / 3-540-35462-X kart. : EUR 77.04 (freier Pr.), sfr 127.50 (freier Pr.)
Bibliogr. S. XIII - XXXVIII
Quelle: DNB Verlagsmeldungen
Algebra, meaning, and computation
: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / Kokichi Futatsugi ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4060)
ISBN 978-3-540-35464-2
Lizenzpflichtig
Quelle: DNB
Algebra of communicating processes
: proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16 - 17 May 1994 / A. Ponse ... (ed.) Publ. in collab. with the British Computer Society. - London : Springer, 1995. - X, 357 S. : graph. Darst.; 24 cm - (Workshops in Computing)
ISBN 978-3-540-19909-0 / 3-540-19909-8 kart. : DM 98.00
Literaturangaben
Quelle: DNB
Formal methods in human computer interaction
/ Philippe Palanque and Fabio Paternò (ed.). - London : Springer, 1997. - XVII, 376 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76158-7 / 3-540-76158-6 kart. : DM 89.00
Literaturverz. S. 347 - 361
Quelle: DNB
