Examinando General 801 - 820 de 4813 resultados

Libro electrónico
Automated Reasoning
5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
- 1st Edición
- Jürgen Giesl; ‎Reiner Hähnle
- Springer
- Diseño fijo
A partir de:S/ 99.95 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Automated Technology for Verification and Analysis
11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Verification of Object-Oriented Software
International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
- 1st Edición
- Bernhard Beckert; ‎Claude Marché
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Ambient Networks
16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings
- 1st Edición
- Schönwälder Jürgen; ‎Joan Serrat
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Languages, Methodologies and Development Tools for Multi-Agent Systems
First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers
- 1st Edición
- A El Fallah Seghrouchni; Paolo Torroni; Mehdi Dastani
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
- 1st Edición
- Holger Hermanns; Werner Damm
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Optical Supercomputing
Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009, Proceedings
- 1st Edición
- Shlomi Dolev; ‎Mihai Oltean
- 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
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
- 1st Edición
- Edmund M. Clarke; ‎Andrei Voronkov
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Compiler Construction
21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
- 1st Edición
- Michael O'Boyle
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Inductive Logic Programming
22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers
- Springer
- Diseño fijo
A partir de:S/ 50.48 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012, Proceedings
- 1st Edición
- Jens B. Schmitt
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Trends in Functional Programming
13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers
- Author
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy
22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings
- 1st Edición
- Wenjie Li; Diego MollaAliod
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Integrated Formal Methods
7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
- 1st Edición
- Michael Leuschel; Heike Wehrheim
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Tests and Proofs
7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
- Author
- Springer
- Diseño fijo
A partir de:S/ 70.67 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Advances in Software Engineering
International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
- 1st Edición
- Dominik Ślęzak; ‎Taihoon Kim; ‎Akingbehin Kiumi
- 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
24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
- Author
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Rule-Based Reasoning, Programming, and Applications
5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011, Proceedings
- Bassiliades Nick; Governatori Guido; Paschke Adrian
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Multimodal Technologies for Perception of Humans
International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers
- 1st Edición
- Rainer Stiefelhagen; ‎Rachel Bowers; ‎Jonathan Fiscus
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Runtime Verification
Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
- 1st Edición
- Koushik Sen; ‎Sarfaz Khurshid
- Springer
- Diseño fijo
A partir de:S/ 55.53 PENEl precio incluye IGV
Ver detalles