Foundations of software technology and theoretical computer science
: 25th international conference ; proceedings / FSTTCS 2005, Hyderabad, India, December 15 - 18, 2005. R. Ramanujam ; Sandeep Sen (ed.). - Berlin : Springer, 2005. - XIV, 566 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3821)
ISBN 978-3-540-30495-1 / 3-540-30495-9 kart. : EUR 94.16 (freier Pr.), sfr 149.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Foundations of software technology and theoretical computer science
: 25th international conference ; proceedings / FSTTCS 2005, Hyderabad, India, December 15 - 18, 2005. R. Ramanujam ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3821)
ISBN 978-3-540-32419-5
Lizenzpflichtig
Quelle: DNB
Logic and its applications
: third Indian conference ; proceedings / ICLA 2009, Chennai, India, January 7 - 11, 2009. R. Ramanujam ... (ed.). - Berlin : Springer, 2009. - Online-Ressource - (Lecture notes in computer science; 5378 : Lecture notes in artificial intelligence)
ISBN 978-3-540-92701-3
Lizenzpflichtig
Quelle: DNB