Examinando Computer Science 821 - 840 de 10872 resultados

Libro electrónico
Recursion Theory for Metamathematics
- Raymond M. Smullyan
- Oxford University Press
- Diseño fijo
A partir de:S/ 411.22 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Advances in Computational Intelligence
13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part II
- Author
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
ECOOP 2000 - Object-Oriented Programming
14th European Conference Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings
- 1st Edición
- Elisa Bertino
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Variable Neighborhood Search
7th International Conference, ICVNS 2019, Rabat, Morocco, October 3–5, 2019, Revised Selected Papers
- 1st Edición
- Rachid Benmansour; ‎Angelo Sifaleras; ‎Nenad Mladenović
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Web and Internet Economics
14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
From Lambda Calculus to Cybersecurity Through Program Analysis
Essays Dedicated to Chris Hankin on the Occasion of His Retirement
- 1st Edición
- Alessandra Di Pierro; Pasquale Malacaria; Rajagopal Nagarajan
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
New Frontiers in Quantitative Methods in Informatics
7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Notes on Introductory Combinatorics
- George Pólya; Robert E. Tarjan; Donald R. Woods
- Birkhäuser
- Diseño fijo
A partir de:S/ 30.09 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Graph Structures for Knowledge Representation and Reasoning
Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
AI 2015: Advances in Artificial Intelligence
28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
World of Computing
A Primer Companion for the Digital Age
- Gerard O'Regan
- Springer
- Diseño ajustable
A partir de:S/ 50.15 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.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Process Design for Natural Scientists
An Agile Model-Driven Approach
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Data and Application Security
Developments and Directions
- 1st Edición
- B. Thuraisingham; ‎Reind van de Riet; ‎Klaus R. Dittrich
- Springer
- Diseño fijo
A partir de:S/ 229.70 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Transactions on Petri Nets and Other Models of Concurrency X
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Genetic Programming
5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002. Proceedings
- 1st Edición
- Andra G.B. Tezzamanzi; Julian F. Miller; James A. Foster
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods for Eternal Networked Software Systems
11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Computer Safety, Reliability, and Security
SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Face Image Analysis by Unsupervised Learning
- Marian Stewart Bartlett
- Springer
- Diseño fijo
A partir de:S/ 99.30 PENEl precio incluye IGV
Ver detalles