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 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
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
Higher order algebra, logic, and term rewriting
: first international workshop ; selected papers / HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Jan Heering ... (ed.). - Berlin : Springer, 1994. - 344 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 816)
ISBN 978-3-540-58233-5 / 3-540-58233-9 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Higher order algebra, logic, and term rewriting
: second international workshop ; selected papers / HOA '95, Paderborn, Germany, September 21 - 22, 1995. Gilles Dowek ... (ed.). - Berlin : Springer, 1996. - 287 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1074)
ISBN 978-3-540-61254-4 / 3-540-61254-8 kart. : DM 62.00
Literaturangaben
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
Fokkink, Willem J.: Modelling distributed systems
: with 7 tables / Wan Fokkink. - Berlin : Springer, 2007. - VIII, 151 S. : graph. Darst.; 24 cm - (Texts in theoretical computer science)
ISBN 978-3-540-73937-1 / 3-540-73937-8 Pp. : EUR 53.45, ca. sfr 87.00 (freier Pr.)
Literaturverz. S. 143 - 148
Quelle: DNB Verlagsmeldungen