- Inicio
- > materias
- / INFORMÁTICA
- > PROGRAMACIÓN
64,48€(IVA inc.)
FM 2011 : formal methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
- Butler, Michael
- 978-3-642-21436-3
- 2011-06-30
66,56€(IVA inc.)
Formal Methods and Software Engineering
- Butler, Michael
- 978-3-319-25422-7
- 2015-11-02
56,16€(IVA inc.)
Formal methods for components and objects: 8th international symposium, FMCO 2009, eindhoven, the netherlands, november 4-6, 2009. revised selected papers
- de Boer, Frank S.
- 978-3-642-17070-6
- 2010-11-02
56,16€(IVA inc.)
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management
- Fellows, Michael
- 978-3-642-38755-5
- 2013-06-05
83,19€(IVA inc.)
Fundamentals of Parameterized Complexity
- Downey, Rodney G.
- 978-1-4471-7164-5
- 2016-09-16
61,78€(IVA inc.)
Geographic information science: 7th International Conference, GIScience 2012, Columbus, OH, USA, September 18-21, 2012, Proceedings
- Xiao, Ningchuan
- 978-3-642-33023-0
- 2012-08-28
87,44€(IVA inc.)
Graph edge coloring: Vizing’s theorem and Goldberg’s conjecture
- Stiebitz, Michael
- 978-1-118-09137-1
- 2012-03-02
114,35€(IVA inc.)
High performance computing in science and engineering '09: transactions of the High Performance Computing Center, Stuttgart (HLRS) 2009
- Nagel, Wolfgang E.
- 978-3-642-04664-3
- 2009-12-01
114,35€(IVA inc.)
High performance computing in science and engineering '10: Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2010
- Nagel, Wolfgang E.
- 978-3-642-15747-9
- 2010-11-01