Showing 1,141 - 1,160 results of 1,409 for search 'algorithm analysis and (problem OR problems) complexity.', query time: 0.18s Refine Results
  1. 1141
    Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... with Tests and Coq Tools for while Programs.-Program Analysis and Verification Based on Kleene Algebra...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 1142
    Smart Card Research and Advanced Applications 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Table of Contents: “... Sharing against Side-Channel Analysis -- Secure Multiple SBoxes Implementation with Arithmetically Masked...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 1143
    Digital Watermarking (vol. # 3710) 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005, Proceedings
    by Barni, Mauro
    Published in Springer e-books (2005)
    Subjects: “...Algorithm Analysis and Problem Complexity 303732...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 1144
    Information Security and Privacy (vol. # 3574) 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings
    by Boyd, Colin
    Published in Springer e-books (2005)
    Subjects: “...Algorithm Analysis and Problem Complexity 303732...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 1145
    Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Paper
    by Li, Hongbo
    Published in Springer e-books (2005)
    Subjects: “...Algorithm Analysis and Problem Complexity 303732...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 1146
    Local Pattern Detection International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers
    Subjects: “...Algorithm Analysis and Problem Complexity 303732...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 1147
    Energy Minimization Methods in Computer Vision and Pattern Recognition 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005, Proceedings
    by Rangarajan, Anand
    Published in Springer e-books (2005)
    Subjects: “...Algorithm Analysis and Problem Complexity 303732...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 1148
    Biologically Inspired Approaches to Advanced Information Technology Second International Workshop, BioADIT 2006, Osaka, Japan 26-27, 2006, Proceedings
    by Ijspeert, Auke Jan
    Published in Springer e-books (2006)
    Subjects: “...Algorithm Analysis and Problem Complexity 303732...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 1149
    Mechanisms, Symbols, and Models Underlying Cognition First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Pro
    by Álvarez, José R.
    Published in Springer e-books (2005)
    Subjects: “...Algorithm Analysis and Problem Complexity 303732...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 1150
    Advances in Machine Learning and Cybernetics 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers
    by Yeung, Daniel S.
    Published in Springer e-books (2006)
    Subjects: “...Algorithm Analysis and Problem Complexity 303732...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 1151
    Decision and Game Theory for Security 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Algorithm Analysis and Problem Complexity. 303732...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 1152
    Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Table of Contents: “... -- Improving the Ant Colony Optimization Algorithm for the Multi-Depot Vehicle Routing Problem and Its...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 1153
    Internet of Vehicles - Technologies and Services First International Conference, IOV, Beijing, China, September 1-3, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Algorithm Analysis and Problem Complexity. 303732...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 1154
    Artificial Neural Networks and Machine Learning - ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Algorithm Analysis and Problem Complexity. 303732...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 1155
    Technologies and Applications of Artificial Intelligence 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... Using Genetic Algorithm with Aesthetic Evaluation of Visual Quality -- Solving PERT Problems Involving...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 1156
    From Animals to Animats 13 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellón, Spain, July 22-25, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “...-Driven Evolution of Modular Self-reconfigurable Robots -- A Bacterial-Based Algorithm to Simulate Complex...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 1157
    Web-Age Information Management WAIM 2014 International Workshops: BigEM, HardBD, DaNoS, HRSUNE, BIDASYS, Macau, China, June 16-18, 2014, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Algorithm Analysis and Problem Complexity. 303732...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 1158
    Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “... when Assessing Scheduling Algorithms -- Hardware Round-Robin Scheduler for Single-ISA Asymmetric Multi...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 1159
    Theory and Applications of Satisfiability Testing (vol. # 3569) 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
    by Bacchus, Fahiem
    Published in Springer e-books (2005)
    Subjects: “...Algorithm Analysis and Problem Complexity 303732...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 1160
    Differential Evolution A Practical Approach to Global Optimization /
    by Price, Kenneth V.
    Published in Springer e-books (2005)
    Subjects: “...Algorithm Analysis and Problem Complexity 303732...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed