Materias dentro de su búsqueda.
Mostrando 1,181 - 1,200 Resultados de 1,385 Para Buscar 'Application software.', tiempo de consulta: 0.08s Limitar resultados
1181
Towards Integrative Machine Learning and Knowledge Extraction : BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “... Extraction in Digital Pathology needs an integrative approach -- Comparison of Public-Domain Software...”
eBook
1182
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... of and with Triples -- Software Development in Relation Algebra with Ampersand -- Allegories and Collagories...”
Enlace del recurso
eBook
1183
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
Publicado 2017
Tabla de Contenidos: “... -- Decision Procedures and their Applications -- Software Analysis....”
eBook
1184
Uso de una tabla de contingencia para aplicaciones climáticas = Use of contingency table for climate applications /
“...Use of contingency table for climate applications...”
Libro
1185
Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... of Forgetting in Answer-Set Programming -- Answer Set Programming and its Applications in Planning and Multi...”
eBook
1186
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
Publicado 2017
Tabla de Contenidos: “... Lifted Model Checking Back to UPPAAL -- Firm Deadline Checking of Safety-Critical Java Applications...”
eBook
1187
Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
1188
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Publicado 2017
Tabla de Contenidos: “...Modeling and Semantics -- Testing -- Analysis -- Probabilities -- System Dynamics -- Applications....”
Enlace del recurso
eBook
1189
High Performance Computing for Computational Science – VECPAR 2016 : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “...Applications -- Performance modeling and analysis -- Low level support.-Environments/libraries...”
eBook
1190
Computer Security – ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II /
Publicado 2017
Tabla de Contenidos: “... modeling and detection -- Information flow -- Security in emerging applications such as cryptocurrencies...”
eBook
1191
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
Publicado 2017
Tabla de Contenidos: “...: Application to FTSP -- Combining String Abstract Domains for JavaScript Analysis: An Evaluation.-Invariant...”
eBook
1192
Supporting microsoft. Windows NT 4.0 core technologies. Student Workbook / Microsoft Education and certification
Publicado 1997
Tabla de Contenidos: “... applications, the windows NT networking environment, configuring windows NT protocols, windows NT network...”
Libro
1193
Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
Publicado 2017
Tabla de Contenidos: “...: From Theory to Industrial Application -- Information Flow, Distributed Systems, and Refinement...”
eBook
1194
Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Abstraction Refinement for the Analysis of Software Product Lines -- Hybrid Information Flow...”
eBook
1195
Iterative-Interpolation Super-Resolution Image Reconstruction A Computationally Efficient Technique /
por Bannore, Vivek.
Publicado 2009
Tabla de Contenidos: “... for Super-Resolution -- Software Framework -- Conclusion and Future Directions....”
Enlace del recurso
eBook
1196
High Performance Computing Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29–September 2, 2016, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “...HPC Infrastructure and Applications -- Parallel Algorithms and Applications -- HPC Applications...”
Enlace del recurso
eBook
1197
Entorno de desarrollo con arquitectura abierta para estudios de estrategias de navegación robótica aplicada /
por Costella Batista, Víctor
Publicado 2016
Materias: “...Arquitectura de software LEMB 4612...”
Tesis Libro
1198
Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Advanced Implementations and Extensions -- OpenMP Application Studies -- Analyzing and Extending...”
eBook
1199
Trusted Computing and Information Security : 11th Chinese Conference, CTCIS 2017, Changsha, China, September 14-17, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Theory of trusted computing, trustworthy software -- Infrastructure of trusted computing...”
eBook
1200
Troubleshooting Windows Server with PowerShell /
por Schauland, Derek., Jacobs, Donald.
Publicado 2016
Tabla de Contenidos: “... and the Windows Event Log -- Chapter 3: Collecting Server Information -- Chapter 4: Installed Applications...”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda