Suchfeld einblenden
Person Cervesato, Iliano
2 Treffer
Seite < 1 >
Advances in computer science - ASIAN 2007
: computer and network security ; proceedings / 12th Asian Computing Science Conference, Doha, Qatar, December 9 - 11, 2007. Iliano Cervesato (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4846)
ISBN 978-3-540-76929-3
Lizenzpflichtig
Quelle: DNB
Logic for programming, artificial intelligence, and reasoning
: 15th international conference ; proceedings / LPAR 2008, Doha, Qatar, November 22 - 27, 2008. Iliano Cervesato ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5330 : Lecture notes in artificial intelligence)
ISBN 978-3-540-89439-1
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
