- Inicio
- > materias
- / INFORMÁTICA
- > PROGRAMACIÓN
93,55€(IVA inc.)
Scientific computing and cultural heritage: contributions in computational humanities
- Bock, Hans Georg
- 978-3-642-28020-7
- 2012-05-31
61,37€(IVA inc.)
Software engineering: modern approaches
- Braude, Eric J.
- 978-0-471-69208-9
- 2010-04-13
103,95€(IVA inc.)
Tools for High Performance Computing 2011
- Brunst, Holger
- 978-3-642-43985-8
- 2014-10-15
160,10€(IVA inc.)
Tools for high performance computing 2011: Proceedings of the 5th International Workshop on Parallel Tools for high Performance Computing, September 2011, Zih, Dresden
- Brunst, Holger
- 978-3-642-31475-9
- 2012-09-30
66,56€(IVA inc.)
Formal Methods and Software Engineering
- Butler, Michael
- 978-3-319-25422-7
- 2015-11-02
66,56€(IVA inc.)
Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Butler, Michael
- 978-3-319-33599-5
- 2016-05-11
72,79€(IVA inc.)
Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Butler, Michael
- 978-3-319-91270-7
- 2018-06-15
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
47,84€(IVA inc.)
Intelligence and security informatics: Pacific Asia Workshop, PAISI 2012, Kuala Lumpur, Malaysia, May 29, 2012, Proceedings
- Chau, Michael
- 978-3-642-30427-9
- 2012-05-11
83,15€(IVA inc.)
Applications of evolutionary computation: EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II
- Chio, Cecilia di
- 978-3-642-12241-5
- 2010-03-25