Springer Berlin Heidelberg (9783540439318 / Illustrations) | Automated Deduction
(9783540309598 / biography) | Distributed Computing
(9783540255598 / Illustrations) | Specification and
(9783540278825 / 1) | Formal Methods
(9783540223795 / Illustrations)
Springer Berlin Heidelberg (9783540557272 / 1) | And Automated Reasoning
(9783034896023 / biography)
(9783642803529 / biography) | The Journal of Universal
(9783540000105 / Illustrations)
(9789811033216) | Proceedings of Sixth International
Springer Berlin Heidelberg (9783540418658 / Illustrations)
(9783764324292)
(9783540253280 / Illustrations)
(9783540476955 / Illustrations)
(9783540309369)
Idea Group Publishing (9781591403395 / 4038957)
(9789813237544)
(9781118162651) | Scalable Computing
(9783540257233 / Illustrations)
(9783540309475 / Illustrations)
(9783540262015 / Illustrations)
(9783540245230 / biography)
(9783540708803 / biography) | Perspectives of Systems Informatics
(9783540262985 / Illustrations) | And Models Underlying
(9789811033247)
(9783034324649)
(9783034320276) | La Métaphore par-delà
(9783540248439 / Illustrations)
(9783319344423) | Streaming Applications onto
(9783319693736) | Energy Efficient Streaming Multiprocessor
(9783319500614) | Computability and Complexity
(9783319491776) | Advances in Services Computing, Services Computing
(9783319465227) | Semantic Web, The Semantic Web
(9783319415789) | Perspectives of System Informatics, Ershov Informatics
(9783319399423) | Of IT for the
