Librería zar libros. Libros ciencia, medicina, ingeniería, textos universitarios Sevilla

94,64€(IVA inc.)

Network and parallel computing: IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings

Ding, Chen
978-3-642-15671-7
2010-10-21

65,52€(IVA inc.)

Transactions on computational science VIII

Gavrilova, Marina
978-3-642-16235-0
2010-10-21

72,80€(IVA inc.)

Advances in soft computing: 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, part II

Sidorov, Grigori
978-3-642-16772-0
2010-10-21

81,12€(IVA inc.)

Critical infrastructure protection IV: fourth annual IFIP WG 11.10 international conference on critical infrastructure protection, ICCIP 2010, washington, DC, USA, march 15-17, 2010, revised selected papers

Moore, Tyler
978-3-642-16805-5
2010-10-20

47,84€(IVA inc.)

Implementation and application of functional languages: 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers

Morazán, Marco T.
978-3-642-16477-4
2010-10-20

72,80€(IVA inc.)

Runtime verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Barringer, Howard
978-3-642-16611-2
2010-10-19

47,84€(IVA inc.)

Modelling autonomic communication environments: 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010, Proceedings

Brennan, Rob
978-3-642-16835-2
2010-10-19

58,24€(IVA inc.)

Computational systems-biology and bioinformatics: First International Conference, Csbio 2010, Bangkok, Thailand, November 3-5, 2010, Proceedings

Chan, Jonathan H.
978-3-642-16749-2
2010-10-19

90,48€(IVA inc.)

Leveraging applications of formal methods, verification, and validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Margaria, Tiziana
978-3-642-16557-3
2010-10-18

72,80€(IVA inc.)

Leveraging applications of formal methods, verification, and validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Margaria, Tiziana
978-3-642-16560-3
2010-10-18

(1933 resultados)