- Inicio
- / INFORMÁTICA
- > INGENIERÍA DE SOFTWARE
67,55€(IVA inc.)
Software and data technologies: Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008
- Cordeiro, José
- 978-3-642-05200-2
- 2009-10-19
51,95€(IVA inc.)
Formal methods for industrial critical systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings
- Alpuente, María
- 978-3-642-04569-1
- 2009-10-19
111,23€(IVA inc.)
FM 2009: formal methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
- Cavalcanti, Ana
- 978-3-642-05088-6
- 2009-10-19
72,75€(IVA inc.)
72,75€(IVA inc.)
Transactions on aspect-oriented software development VI: special issue on aspects and model-driven engineering
- Katz, Shmuel
- 978-3-642-03763-4
- 2009-10-19
51,95€(IVA inc.)
Teaching formal methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
- Gibbons, Jeremy
- 978-3-642-04911-8
- 2009-10-16
169,47€(IVA inc.)
System modeling and optimization: 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers
- Szymkat, Maciej
- 978-3-642-04801-2
- 2009-10-15
77,95€(IVA inc.)
Computational methods in chemical engineering with Maple applications
- White, Ralph E.
- 978-3-642-04310-9
- 2009-10-14
51,95€(IVA inc.)
HPC@Green IT: green high performance computing methods
- Gruber, Ralf
- 978-3-642-01788-9
- 2009-10-01
83,15€(IVA inc.)
Formal methods: state of the art and new directions
- Boca, Paul P.
- 978-1-84882-735-6
- 2009-10-01