Unconventional computation
: 4th international conference ; proceedings / UC 2005, Sevilla, Spain, October 3 - 7. Cristian S. Calude ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3699)
ISBN 978-3-540-32022-7
Lizenzpflichtig
Quelle: DNB
Unconventional models of computation
: third international conference ; proceedings / UMC 2002, Kobe, Japan, October 15 - 19, 2002. C. S. Calude ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2509)
ISBN 978-3-540-45833-3
Lizenzpflichtig
Quelle: DNB
Verification
: theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.). - Berlin : Springer, 2003. - XV, 782 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 2772)
ISBN 978-3-540-21002-3 / 3-540-21002-4 kart. : EUR 83.46 (freier Pr.), sfr 132.00
Quelle: DNB Verlagsmeldungen
Verification
: theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2772)
ISBN 978-3-540-39910-0
Lizenzpflichtig
Quelle: DNB
