Computer Science Logic (vol. # 3634) : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings / edited by Luke Ong
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: SpringerLink Bücher | Lecture notes in computer science ; 3634Verlag: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Beschreibung: Online-Ressource (XI, 567 p. Also available online, digital)ISBN:- 9783540318972
- 005.131
- 005.45 23
- 004.015113
- 004
- QA8.9-QA10.3
- QA76.9.L63
Dieser Titel hat keine Exemplare