Kluge, Werner: Abstract computing machines
: a Lambda calculus perspective / W. Kluge. - Berlin : Springer, 2005. - XIV, 384 S. : graph. Darst.; 24 cm - (Texts in theoretical computer science)
ISBN 978-3-540-21146-4 / 3-540-21146-2 Pp. : EUR 58.80
Literaturverz. S. 369 - 375
Quelle: DNB Verlagsmeldungen
Pohlers, Wolfram: Mathematische Grundlagen der Informatik
/ von Wolfram Pohlers. - München : Oldenbourg, 1993. - 193 S.; 25 cm - (Handbuch der Informatik; Bd. 1.5)
ISBN 978-3-486-22113-8 / 3-486-22113-2 Pp. : DM 64.00
Literaturverz. S. 181 - 185
Quelle: DNB
Principles of declarative programming
: 10th international symposium ; proceedings / PLILP '98, held jointly with the 6th International Conference ALP '98, Pisa, Italy, September 1998. C. Palamidessi ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1490)
ISBN 978-3-540-49766-0
Lizenzpflichtig
Quelle: DNB
Processes, terms and cycles: steps on the road to infinity
: essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / Aart Middeldorp ... (ed.). - Berlin : Springer, 2005. - XVIII, 638 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3838 : Festschrift)
ISBN 978-3-540-30911-6 / 3-540-30911-X kart. : EUR 81.32 (freier Pr.), ca. sfr 128.50
Quelle: DNB Verlagsmeldungen
Processes, terms and cycles: steps on the road to infinity
: essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / Aart Middeldorp ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3838)
ISBN 978-3-540-32425-6
Lizenzpflichtig
Quelle: DNB
Prehofer, Christian: Solving higher order equations
: from logic to programming / Christian Prehofer. - Boston : Birkhäuser, 1998. - VII, 186 S.; 24 cm - (Progress in theoretical computer science)
ISBN 978-3-7643-4032-2 / 3-7643-4032-0 Kunststoff : sfr 118.00
Quelle: DNB