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
Logic and algebra of specification
: [proceedings of the Nato Advanced Study Institute on Logic and Algebra on Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991] / ed. by Friedrich Ludwig Bauer ... Publ. in cooperation with Nato Scientific Affairs Division. - Berlin : Springer, 1993. - 442 S. : graph. Darst.; 25 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 94)
ISBN 978-3-540-55813-2 / 3-540-55813-6 Pp. : DM 148.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
Prospects for hardware foundations
: survey chapters / ESPRIT Working Group 8533 NADA - New Hardware Design Methods. Bernhard Möller ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1546)
ISBN 978-3-540-49254-2
Lizenzpflichtig
Quelle: DNB
Recent trends in algebraic development techniques
: 16th international workshop ; revised selected papers / WADT 2002, Frauenchiemsee, Germany, September 24 - 27, 2002. Martin Wirsing ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2755)
ISBN 978-3-540-40020-2
Lizenzpflichtig
Quelle: DNB
Recent trends in algebraic development techniques
: 13th international workshop ; selected papers / WADT '98, Lisbon, Portugal, April 1998. José Luiz Fiadeiro (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1589)
ISBN 978-3-540-48483-7
Lizenzpflichtig
Quelle: DNB
Recent trends in algebraic development techniques
: 15th international workshop ; selected papers / WADT 2001 ..., Genova, Italy, April 1 - 3, 2001. M. Cerioli ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2267)
ISBN 978-3-540-45645-2
Lizenzpflichtig
Quelle: DNB
Recent trends in algebraic development techniques
: 18th international workshop ; revised selected papers / WADT 2006, La Roche-en-Ardenne, Belgium, June 1 - 3, 2006. José Luiz Fiadeiro ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4409)
ISBN 978-3-540-71998-4
Lizenzpflichtig
Quelle: DNB
