Examinando Hardware 281 - 300 de 6990 resultados

Libro electrónico
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
- 1st Edición
- Tiziana Margaria; Bernhard Steffen
- Springer
- Diseño ajustable
A partir de:$500.76 MXN
Ver detalles

Libro electrónico
Service-Oriented Computing – ICSOC 2019 Workshops
WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28–31, 2019, Revised Selected Papers
- 1st Edición
- Sami Yangui; ‎Athman Bouguettaya; ‎Xiao Xue
- Springer
- Diseño ajustable
A partir de:$309.46 MXN
Ver detalles

Libro electrónico
Raspberry Pi Blueprints
- 1st Edición
- Dan Nixon
- Packt Publishing
- Diseño ajustable
$750.02 MXN
Ver detalles

Libro electrónico
Computational Science – ICCS 2020
20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VI
- 1st Edición
- Valeria V. Krzhizhanovskaya; Gábor Závodszky
- Springer
- Diseño ajustable
A partir de:$309.46 MXN
Ver detalles

Libro electrónico
Network and Parallel Computing
10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013, Proceedings
- Springer
- Diseño fijo
A partir de:$309.46 MXN
Ver detalles

Libro electrónico
Structured Object-Oriented Formal Language and Method
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
- Author
- Springer
- Diseño ajustable
A partir de:$309.46 MXN
Ver detalles

Libro electrónico
Constructive Side-Channel Analysis and Secure Design
9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:$309.46 MXN
Ver detalles

Libro electrónico
U- and E-Service, Science and Technology
International Conference, UNESST 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; ‎Frode Eika Sandnes; ‎ByeongHo Kang
- Springer
- Diseño fijo
A partir de:$309.46 MXN
Ver detalles

Libro electrónico
Advanced Technologies for Security Applications
Proceedings of the NATO Science for Peace and Security 'Cluster Workshop on Advanced Technologies', 17-18 September 2019, Leuven, Belgium
- 1st Edición
- Claudio Palestini
- Springer
- Diseño ajustable
A partir de:$894.62 MXN
Ver detalles

Libro electrónico
Energy Minimization Methods in Computer Vision and Pattern Recognition
10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015. Proceedings
- Springer
- Diseño fijo
A partir de:$309.46 MXN
Ver detalles

Libro electrónico
Games and Learning Alliance
6th International Conference, GALA 2017, Lisbon, Portugal, December 5–7, 2017, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:$309.46 MXN
Ver detalles

Libro electrónico
Benchmarking, Measuring, and Optimizing
Second BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14–16, 2019, Revised Selected Papers
- 1st Edición
- Wanling Gao; Jianfeng Zhan; Geoffrey Fox
- Springer
- Diseño ajustable
A partir de:$309.46 MXN
Ver detalles

Libro electrónico
Computational Science and Its Applications – ICCSA 2025 Workshops
Istanbul, Turkey, June 30 – July 3, 2025, Proceedings, Part XIV
- Springer
- Diseño ajustable
A partir de:$506.39 MXN
Ver detalles

Libro electrónico
Computational Science and Its Applications – ICCSA 2020
20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part VII
- 1st Edición
- Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra
- Springer
- Diseño ajustable
A partir de:$557.03 MXN
Ver detalles

Libro electrónico
Parallel and Distributed Processing and Applications
5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, Proceedings
- 1st Edición
- Ivan Stojmenovic; ‎Ruppa K. Thulasiram; ‎Laurence T. Yang
- Springer
- Diseño fijo
A partir de:$894.62 MXN
Ver detalles

Libro electrónico
Wireless Network Design
Optimization Models and Solution Procedures
- Springer
- Diseño fijo
A partir de:$894.62 MXN
Ver detalles

Libro electrónico
Logic for Concurrency and Synchronisation
- 1st Edición
- Ruy J. De Queiroz
- Springer
- Diseño fijo
A partir de:$557.03 MXN
Ver detalles

Libro electrónico
Interactive Textures for Architecture and Landscaping: Digital Elements and Technologies
- Mikael Wiberg
- IGI Global Scientific Publishing
- Diseño ajustable
$3,188.38 MXN
Ver detalles

Libro electrónico
Mobile Devices and Smart Gadgets in Human Rights
- Umair Sajid
- IGI Global Scientific Publishing
- Diseño ajustable
$3,469.71 MXN
Ver detalles

Libro electrónico
Computational Science — ICCS 2003
International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003, Proceedings, Part IV
- 1st Edición
- Peter M.A. Sloot; ‎David Abramson; ‎Alexander V. Bogdanov
- Springer
- Diseño fijo
A partir de:$309.46 MXN
Ver detalles