1
Published 2004
Springer Berlin Heidelberg
Subjects: ...Computer Science Logic and Foundations of Programming...

2
Published 2011
Springer New York
Subjects: ...Computer science...

5
Published 2002
Springer Berlin Heidelberg
Subjects: ...Data structures (Computer science)...