- Inicio
- / INFORMÁTICA
- > PROGRAMACIÓN
72,75€(IVA inc.)
Selected areas in cryptography: 16th International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers
- Jacobson, Michael J.
- 978-3-642-05443-3
- 2009-11-01
67,55€(IVA inc.)
Advances in security technology: International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
- Kim, Haeng-Kon
- 978-3-642-10239-4
- 2009-11-01
72,75€(IVA inc.)
Combinatorial algorithms: 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers
- Fiala, Jiri
- 978-3-642-10216-5
- 2009-11-01
72,75€(IVA inc.)
Verification of sequential and concurrent programs
- Apt, Krzysztof R.
- 978-1-84882-744-8
- 2009-11-01
72,75€(IVA inc.)
Automated technology for verification and analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
- Liu, Zhiming
- 978-3-642-04760-2
- 2009-11-01
57,15€(IVA inc.)
Software process and product measurement: International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
- Abran, Alain
- 978-3-642-05414-3
- 2009-11-01
57,15€(IVA inc.)
Formal methods : foundations and applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
- Medeiros Oliveira, Marcel Vi
- 978-3-642-10451-0
- 2009-11-01
72,75€(IVA inc.)
A process algebraic approach to software architecture design
- Aldini, Alessandro
- 978-1-84800-222-7
- 2009-11-01
55,07€(IVA inc.)
The design of material, organism, and minds: different understandings of design
- Hampe, Michael
- 978-3-540-68995-9
- 2009-11-01
51,95€(IVA inc.)
Runtime verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
- Bensalem, Saddek
- 978-3-642-04693-3
- 2009-11-01