Examinando Logic Design 41 - 60 de 554 resultados

Libro electrónico
Biomimetic and Biohybrid Systems
8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 57.02 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Digital Logic for Computing
- John Seiffertt
- Springer
- Diseño ajustable
A partir de:S/ 57.02 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Artificial Intelligence and Soft Computing
16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part II
- Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh and Jacek
- Springer
- Diseño ajustable
A partir de:S/ 57.02 PENEl precio incluye IGV
Ver detalles

Libro electrónico
String Processing and Information Retrieval
25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 57.02 PENEl precio incluye IGV
Ver detalles

Libro electrónico
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 57.02 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Introduction to Annotated Logics
Foundations for Paracomplete and Paraconsistent Reasoning
- Jair Minoro Abe; Seiki Akama; Kazumi Nakamatsu
- Springer
- Diseño fijo
A partir de:S/ 102.63 PENEl precio incluye IGV
Ver detalles

Libro electrónico
High Performance Computing. ISC High Performance 2024 International Workshops
Hamburg, Germany, May 12–16, 2024, Revised Selected Papers
- Springer
- Diseño ajustable
A partir de:S/ 82.93 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Taxonomies for the Development and Verification of Digital Systems
- 1st Edición
- Brian Bailey; ‎Grant Martin; ‎Thomas Anderson
- Springer
- Diseño fijo
A partir de:S/ 102.63 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Big Data Analytics and Knowledge Discovery
21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:S/ 57.02 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings
- 1st Edición
- Nadine Azemard; ‎Lars Svensson
- Springer
- Diseño fijo
A partir de:S/ 57.02 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Adiabatic Logic
Future Trend and System Level Perspective
- Philip Teichmann
- Springer
- Diseño ajustable
A partir de:S/ 102.63 PENEl precio incluye IGV
Ver detalles

Libro electrónico
FPGAs 101: Everything you need to know to get started
- Smith, Gina
- Newnes
- Diseño fijo
S/ 169.15 PENEl precio incluye IGV
Ver detalles

Libro electrónico
New Approaches to Circle Packing in a Square
With Program Codes
- Péter Gábor Szabó; Mihaly Csaba Markót; Tibor Csendes; Eckard Specht; Leocadio G. Casado; Inmaculada
- Springer
- Diseño fijo
A partir de:S/ 102.63 PENEl precio incluye IGV
Ver detalles

Libro electrónico
From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
- Abbas Rahimi; Luca Benini; Rajesh K. Gupta
- Springer
- Diseño fijo
A partir de:S/ 144.10 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Transactions on High-Performance Embedded Architectures and Compilers III
- 1st Edición
- Per Stenström
- Springer
- Diseño fijo
A partir de:S/ 57.02 PENEl precio incluye IGV
Ver detalles

Libro electrónico
HALF-CENTURY OF AUTOMATA THEORY,A
Celebration and Inspiration
- Salomaa Arto
- World Scientific
- Diseño fijo
S/ 107.12 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Logic Functions and Equations
Binary Models for Computer Science
- 2nd Edición
- Christian Posthoff; Bernd Steinbach
- Springer
- Diseño ajustable
A partir de:S/ 195.93 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
- 1st Edición
- Warren A. Hunt; Jr.; ‎Fabio Somenzi
- Springer
- Diseño fijo
A partir de:S/ 57.02 PENEl precio incluye IGV
Ver detalles

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/ 102.63 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
- 1st Edición
- Dov Gabbay; Samson Abramsky; Tom Maibaum
- OUP Oxford
- Diseño fijo
A partir de:S/ 1,060.82 PENEl precio incluye IGV
Ver detalles