Resultados de búsqueda - Parallel programming

Computer Aided Verification por Hana Chockler, Georg Weissenbacher

Ver este registro en EBSCOhost

The Huawei and Snowden Questions : Can Electronic Equipment From Untrusted Vendors Be Verified? Can an Untrusted Vendor Build Trust Into Electronic Equipment? por Olav Lysne

Ver este registro en EBSCOhost

The Globalization of Foreign Aid : Developing Consensus por Liam Swiss

Ver este registro en EBSCOhost

Managing, analysing, and integrating big data in medical bioinformatics: open problems and future perspectives. por Merelli, Ivan, Pérez-Sánchez, Horacio, Gesing, Sandra, D'Agostino, Daniele

Ver este registro en EBSCOhost

Behavioural Types : From Theory to Tools por Simon Gay, António Ravara

Ver este registro en EBSCOhost

Film Museum Practice and Film Historiography : The Case of the Nederlands Filmmuseum (1946-2000) por Bregt Lameris

Ver este registro en EBSCOhost

Search and Rescue Robotics - From Theory to Practice por N/A

Ver este registro en EBSCOhost

X-Machines for Agent-Based Modeling : FLAME Perspectives por Mariam Kiran

Ver este registro en EBSCOhost

New Horizons for a Data-Driven Economy por José María Cavanillas, Edward Curry, Wolfgang Wahlster

Ver este registro en EBSCOhost

Insight Into Theoretical and Applied Informatics : Introduction to Information Technologies and Computer Science por Andrzej Yatsko, Walery Suslow

Ver este registro en EBSCOhost

High Performance Propagation of Large Object Populations in Earth Orbits por Marek Möckel

Ver este registro en EBSCOhost

The European Higher Education Area por Adrian Curaj, Liviu Matei, Remus Pricopie, Jamil Salmi, Peter Scott

Ver este registro en EBSCOhost

Mensch Und Computer 2015 – Workshopband por Anette Weisbecker, Michael Burmester, Albrecht Schmidt

Ver este registro en EBSCOhost

Model-driven Development Methodology for Hybrid Embedded Systems Based on UML with Emphasis on Safety-related Requirements por Daw Pérez, Zamira A.

Ver este registro en EBSCOhost

Internet of Things Applications - From Research and Innovation to Market Deployment por Ovidiu Vermesan, Peter Friess

Ver este registro en EBSCOhost

Interdisciplinary Research in Engineering: Steps Towards Breakthrough Innovation for Sustainable Development por Aurel Vlaicu, Stelian Brad

Ver este registro en EBSCOhost

Ciencias de la Ingeniería y Tecnología Handbook T-II por Ledesma Jaime-Reynaldo, Arreguín Cervantes-Antonio, Moreno Villanueva-Emmanuel

Ver este registro en EBSCOhost

Engineering Systems Integration : Theory, Metrics, and Methods por Gary O. Langford

Ver este registro en EBSCOhost

Spectral Feature Selection for Data Mining por Zheng Alan Zhao, Huan Liu

Ver este registro en EBSCOhost

Mathematical Aspects of Logic Programming Semantics por Pascal Hitzler, Anthony Seda

Ver este registro en EBSCOhost