(4703 resultados)

Ordenar por

ordenar por...

precio Fecha Public Autor Título

51,95€(IVA inc.)

Runtime verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers

Leucker, M.
978-3-540-89246-5
2008-12-01

51,95€(IVA inc.)

Metrics for process models: empirical foundations of verification, error prediction, and guidelines for correctness

Mendling, J.
978-3-540-89223-6
2008-12-01

51,95€(IVA inc.)

Distributed computing and internet technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10 - 12, 2008 Proceedings

Parashar, M.
978-3-540-89736-1
2008-12-01

71,71€(IVA inc.)

Advances in cryptology - ASIACRYPT 2008: 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008

Pieprzyk, J.P.
978-3-540-89254-0
2008-12-01

55,07€(IVA inc.)

Programming languages and systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings

Ramalingam, G.
978-3-540-89329-5
2008-12-01

83,15€(IVA inc.)

Applications of graph transformations with industrial relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

Schürr, A.
978-3-540-89019-5
2008-12-01

20,75€(IVA inc.)

Software-intensive systems and new computing paradigms: challenges and visions

Wirsing, M.
978-3-540-89436-0
2008-12-01

65,47€(IVA inc.)

Twentieth anniversary volume: discrete and computational geometry

Goodman, J.E.
978-0-387-87362-6
2008-12-01

36,35€(IVA inc.)

A course in formal languages, automata and groups

Chiswell, I.M.
978-1-84800-939-4
2008-12-01

43,15€(IVA inc.)

Geometric folding algorithms: linkages, origami, polyhedra

Demaine, Erik D.
978-0-521-71522-5
2008-12-01

Primera < Anterior 420 421 422 423 424 425 426 427 428 429 Siguiente >Última