- Inicio
- / INFORMÁTICA
- > DESARROLLO DE SOFTWARE
82,16€(IVA inc.)
CONCUR 2010 : concurrency theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings
- Gastin, Paul
- 978-3-642-15374-7
- 2010-08-18
47,84€(IVA inc.)
Reachability problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
- Kucera, Antonin
- 978-3-642-15348-8
- 2010-08-18
72,80€(IVA inc.)
Software architecture: 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings
- Babar, M. Ali
- 978-3-642-15113-2
- 2010-08-11
72,80€(IVA inc.)
Computer science logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
- Dawar, Anuj
- 978-3-642-15204-7
- 2010-08-11
47,84€(IVA inc.)
Verified software : theories, tools, experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
- Leavens, Gary T.
- 978-3-642-15056-2
- 2010-08-05
82,16€(IVA inc.)
Fields of logic and computation: essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
- Blass, Andreas
- 978-3-642-15024-1
- 2010-08-05
78,98€(IVA inc.)
Secure and resilient software development
- Merkow, Mark S.
- 978-1-4398-2696-6
- 2010-08-04
72,75€(IVA inc.)
Specification and verification of declarative open interaction models: a logic-based approach
- Montali, Marco
- 978-3-642-14537-7
- 2010-07-30
118,20€(IVA inc.)
Distributed database management systems: a practical approach
- Rahimi, Saeed K.
- 978-0-470-40745-5
- 2010-07-30
119,55€(IVA inc.)
Multimedia services in intelligent environments: software development challenges and solutions
- Tsihrintzis, George A.
- 978-3-642-13354-1
- 2010-07-23