Search Results for Computer algorithms. - Narrowed by: 2017

Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system

2026-03-27T17:16:57Z

by Boldo, Sylvie, author.
Click to View
Format: Electronic Resources

Machine trading : deploying computer algorithms to conquer the markets

2026-03-27T17:16:57Z

by Chang, Ernest P., author.
Click to View
Format: Electronic Resources

Using additional information in streaming algorithms

2026-03-27T17:16:57Z

by Buff, Raffael, author.
Click to View
Format: Electronic Resources

Algoritmalara giriş

2026-03-27T17:16:57Z

by Cormen, Thomas, author
Format: Books

Cryptographic Boolean functions and applications

2026-03-27T17:16:57Z

by Cusick, Thomas W., author.
Click to View
Format: Electronic Resources

Low-rank models in visual analysis : theories, algorithms, and applications

2026-03-27T17:16:57Z

by Lin, Zhouchen, author.
Click to View
Format: Electronic Resources

Python data structures and algorithms : improve the performance and speed of your applications

2026-03-27T17:16:57Z

by Baka, Benjamin, author.
Click to View
Format: Electronic Resources

Optical Character Recognition Systems for Different Languages with Soft Computing

2026-03-27T17:16:57Z

by Chaudhuri, Arindam. author.
http://dx.doi.org/10.1007/978-3-319-50252-6
Format: Electronic Resources

Processing of Hyperspectral Medical Images Applications in Dermatology Using Matlab®

2026-03-27T17:16:57Z

by Koprowski, Robert. author.
http://dx.doi.org/10.1007/978-3-319-50490-2
Format: Electronic Resources

Artificial Intelligence Trends in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 1

2026-03-27T17:16:57Z

by Silhavy, Radek. editor.
http://dx.doi.org/10.1007/978-3-319-57261-1
Format: Electronic Resources

Metaheuristics for Medicine and Biology

2026-03-27T17:16:57Z

by Nakib, Amir. editor.
http://dx.doi.org/10.1007/978-3-662-54428-0
Format: Electronic Resources

Proceedings of the First International Conference on Intelligent Computing and Communication

2026-03-27T17:16:57Z

by Mandal, Jyotsna Kumar. editor.
http://dx.doi.org/10.1007/978-981-10-2035-3
Format: Electronic Resources

Lessons in Teaching Computing in Primary Schools.

2026-03-27T17:16:57Z

by Bird, James.
Click to View
Format: Electronic Resources

AETA 2016: Recent Advances in Electrical Engineering and Related Sciences Theory and Application

2026-03-27T17:16:57Z

by Duy, Vo Hoang. editor.
http://dx.doi.org/10.1007/978-3-319-50904-4
Format: Electronic Resources

Advances in Automation and Robotics Research in Latin America Proceedings of the 1st Latin American Congress on Automation and Robotics, Panama City, Panama 2017

2026-03-27T17:16:57Z

by Chang, Ignacio. editor.
http://dx.doi.org/10.1007/978-3-319-54377-2
Format: Electronic Resources

Software Engineering Trends and Techniques in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3

2026-03-27T17:16:57Z

by Silhavy, Radek. editor.
http://dx.doi.org/10.1007/978-3-319-57141-6
Format: Electronic Resources

Cybernetics and Mathematics Applications in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 2

2026-03-27T17:16:57Z

by Silhavy, Radek. editor.
http://dx.doi.org/10.1007/978-3-319-57264-2
Format: Electronic Resources

Fluid Dynamics Theory, Computation, and Numerical Simulation

2026-03-27T17:16:57Z

by Pozrikidis, C. author.
http://dx.doi.org/10.1007/978-1-4899-7991-9
Format: Electronic Resources

Digital Systems From Logic Gates to Processors

2026-03-27T17:16:57Z

by Deschamps, Jean-Pierre. author.
http://dx.doi.org/10.1007/978-3-319-41198-9
Format: Electronic Resources

Multilayer Control of Networked Cyber-Physical Systems Application to Monitoring, Autonomous and Robot Systems

2026-03-27T17:16:57Z

by Manfredi, Sabato. author.
http://dx.doi.org/10.1007/978-3-319-41646-5
Format: Electronic Resources

Estimation and Control for Networked Systems with Packet Losses without Acknowledgement

2026-03-27T17:16:57Z

by Lin, Hong. author.
http://dx.doi.org/10.1007/978-3-319-44212-9
Format: Electronic Resources

Hardware Security and Trust Design and Deployment of Integrated Circuits in a Threatened Environment

2026-03-27T17:16:57Z

by Sklavos, Nicolas. editor.
http://dx.doi.org/10.1007/978-3-319-44318-8
Format: Electronic Resources

Advanced Computing in Industrial Mathematics Revised Selected Papers of the 10th Annual Meeting of the Bulgarian Section of SIAM December 21-22, 2015, Sofia, Bulgaria

2026-03-27T17:16:57Z

by Georgiev, Krassimir. editor.
http://dx.doi.org/10.1007/978-3-319-49544-6
Format: Electronic Resources

Computing Platforms for Software-Defined Radio

2026-03-27T17:16:57Z

by Hussain, Waqar. editor.
http://dx.doi.org/10.1007/978-3-319-49679-5
Format: Electronic Resources

Advances in Mechanical Engineering Selected Contributions from the Conference “Modern Engineering: Science and Education”, Saint Petersburg, Russia, June 2016

2026-03-27T17:16:57Z

by Evgrafov, Alexander N. editor.
http://dx.doi.org/10.1007/978-3-319-53363-6
Format: Electronic Resources

Foundations of Computer Vision Computational Geometry, Visual Image Structures and Object Shape Detection

2026-03-27T17:16:57Z

by Peters, James F. author.
http://dx.doi.org/10.1007/978-3-319-52483-2
Format: Electronic Resources

Transparent Data Mining for Big and Small Data

2026-03-27T17:16:57Z

by Cerquitelli, Tania. editor.
http://dx.doi.org/10.1007/978-3-319-54024-5
Format: Electronic Resources

Robotics, Vision and Control Fundamental Algorithms In MATLAB® Second, Completely Revised, Extended And Updated Edition

2026-03-27T17:16:57Z

by Corke, Peter. author.
http://dx.doi.org/10.1007/978-3-319-54413-7
Format: Electronic Resources

11th International Conference on Practical Applications of Computational Biology & Bioinformatics

2026-03-27T17:16:57Z

by Fdez-Riverola, Florentino. editor.
http://dx.doi.org/10.1007/978-3-319-60816-7
Format: Electronic Resources

Star Identification Methods, Techniques and Algorithms

2026-03-27T17:16:57Z

by Zhang, Guangjun. author.
http://dx.doi.org/10.1007/978-3-662-53783-1
Format: Electronic Resources

Quantum Signal Processing by Single-Qubit Dynamics

2026-03-27T17:16:57Z

by Low, Guang Hao, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902235
Format: Books

Advances in Unconventional Computing Volume 2: Prototypes, Models and Algorithms

2026-03-27T17:16:57Z

by Adamatzky, Andrew. editor.
http://dx.doi.org/10.1007/978-3-319-33921-4
Format: Electronic Resources

Advances in Unconventional Computing Volume 1: Theory

2026-03-27T17:16:57Z

by Adamatzky, Andrew. editor.
http://dx.doi.org/10.1007/978-3-319-33924-5
Format: Electronic Resources

Adaptive and Robust Active Vibration Control Methodology and Tests

2026-03-27T17:16:57Z

by Landau, Ioan Doré. author.
http://dx.doi.org/10.1007/978-3-319-41450-8
Format: Electronic Resources

Emergent Computation A Festschrift for Selim G. Akl

2026-03-27T17:16:57Z

by Adamatzky, Andrew. editor.
http://dx.doi.org/10.1007/978-3-319-46376-6
Format: Electronic Resources

Nonlinear Model Predictive Control Theory and Algorithms

2026-03-27T17:16:57Z

by Grüne, Lars. author.
http://dx.doi.org/10.1007/978-3-319-46024-6
Format: Electronic Resources

Smart Electromechanical Systems: The Central Nervous System

2026-03-27T17:16:57Z

by Gorodetskiy, Andrey E. editor.
http://dx.doi.org/10.1007/978-3-319-53327-8
Format: Electronic Resources

Heterogeneous Transfer Learning

2026-03-27T17:16:57Z

by Wei, Ying, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10903405
Format: Books

Advanced Topics in Intelligent Information and Database Systems

2026-03-27T17:16:57Z

by Król, Dariusz. editor.
http://dx.doi.org/10.1007/978-3-319-56660-3
Format: Electronic Resources

Proceedings of International Conference on Communication and Networks ComNet 2016

2026-03-27T17:16:57Z

by Modi, Nilesh. editor.
http://dx.doi.org/10.1007/978-981-10-2750-5
Format: Electronic Resources