Examinando General 821 - 840 de 4813 resultados

Libro electrónico
Distributed Computing and Networking
10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009, Proceedings
- 1st Edición
- Vijay Garg; ‎Roger Wattenhofer; ‎Kishore Kothapalli
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Implementation and Application of Functional Languages
19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers
- 1st Edición
- Olaf Chitil; Viktoria Zsók; Zoltan Horvath
- Springer
- Diseño fijo
A partir de:S/ 89.86 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Component-Based Software Engineering
11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings
- 1st Edición
- Michel R. V. Chaudron; Clemens Szyperski; Ralf H. Reussner
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
SAT 2005
Satisfiability Research in the Year 2005
- 1st Edición
- Enrico Giunchiglia; ‎ToWalsh
- Springer
- Diseño fijo
A partir de:S/ 160.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Programming Languages and Systems
4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
- 1st Edición
- N. Kobayashi
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Techniques for Distributed Systems
Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
- 1st Edición
- Holger Giese; Grigore Rosu
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Logic for Programming, Artificial Intelligence, and Reasoning
19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Experimental Algorithms
11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings
- 1st Edición
- Ralf Klasing
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Coordination Models and Languages
17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Advances in Grid and Pervasive Computing
6th International Conference, GPC 2011, Oulu, Finland, May 11-13, 2011. Proceedings
- 1st Edición
- Jukka Riekki; ‎Mika Ylianttila; ‎Minyi Guo
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Verified Software: Theorie, Tools, Experiments
5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Advances in Information and Computer Security
4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings
- 1st Edición
- Tsuyoshi Takagi; ‎Masahiro Mambo
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Programming Languages
17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings
- Author
- Springer
- Diseño fijo
A partir de:S/ 70.67 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Inductive Logic Programming
23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
- Springer
- Diseño ajustable
A partir de:S/ 45.43 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Frontiers of Combining Systems
10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
String Processing and Information Retrieval
15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings
- 1st Edición
- Amihood Amir; ‎Andrew Turpin; ‎Alistair Moffat
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Runtime Verification
5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Automated Reasoning with Analytic Tableaux and Related Methods
22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
- Author
- Springer
- Diseño fijo
A partir de:S/ 50.48 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Combinatorial Optimization and Applications
Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings
- 1st Edición
- Boting Yang; DingZhu Du; Cao An Wang
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Embedded Linux Systems with the Yocto Project
- 1st Edición
- Rudolf J. Streif
- Pearson PTG
- Diseño fijo
S/ 158.95 PENEl precio incluye IGV
Ver detalles