Отображение 1,141 - 1,160 результаты of 1,409 для поиска 'algorithm analysis and (problem OR problems) complexity', время запроса: 0.17сек. Отмена результатов
  1. 1141
    Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... with Tests and Coq Tools for while Programs.-Program Analysis and Verification Based on Kleene Algebra...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 1142
    Smart Card Research and Advanced Applications 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... Sharing against Side-Channel Analysis -- Secure Multiple SBoxes Implementation with Arithmetically Masked...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 1143
    Digital Watermarking (vol. # 3710) 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005, Proceedings
    по Barni, Mauro
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Algorithm Analysis and Problem Complexity 303732...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 1144
    Information Security and Privacy (vol. # 3574) 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings
    по Boyd, Colin
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Algorithm Analysis and Problem Complexity 303732...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  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
    по Li, Hongbo
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Algorithm Analysis and Problem Complexity 303732...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 1146
    Local Pattern Detection International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers
    по Boulicaut, Jean-François
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Algorithm Analysis and Problem Complexity 303732...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  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
    по Rangarajan, Anand
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Algorithm Analysis and Problem Complexity 303732...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 1148
    Biologically Inspired Approaches to Advanced Information Technology Second International Workshop, BioADIT 2006, Osaka, Japan 26-27, 2006, Proceedings
    по Ijspeert, Auke Jan
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Algorithm Analysis and Problem Complexity 303732...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  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
    по Álvarez, José R.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Algorithm Analysis and Problem Complexity 303732...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 1150
    Advances in Machine Learning and Cybernetics 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers
    по Yeung, Daniel S.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Algorithm Analysis and Problem Complexity 303732...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 1151
    Decision and Game Theory for Security 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Algorithm Analysis and Problem Complexity. 303732...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 1152
    Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... -- Improving the Ant Colony Optimization Algorithm for the Multi-Depot Vehicle Routing Problem and Its...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 1153
    Internet of Vehicles - Technologies and Services First International Conference, IOV, Beijing, China, September 1-3, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Algorithm Analysis and Problem Complexity. 303732...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 1154
    Artificial Neural Networks and Machine Learning - ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Algorithm Analysis and Problem Complexity. 303732...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 1155
    Technologies and Applications of Artificial Intelligence 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... Using Genetic Algorithm with Aesthetic Evaluation of Visual Quality -- Solving PERT Problems Involving...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  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 /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...-Driven Evolution of Modular Self-reconfigurable Robots -- A Bacterial-Based Algorithm to Simulate Complex...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 1157
    Web-Age Information Management WAIM 2014 International Workshops: BigEM, HardBD, DaNoS, HRSUNE, BIDASYS, Macau, China, June 16-18, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Algorithm Analysis and Problem Complexity. 303732...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 1158
    Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... when Assessing Scheduling Algorithms -- Hardware Round-Robin Scheduler for Single-ISA Asymmetric Multi...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 1159
    Theory and Applications of Satisfiability Testing (vol. # 3569) 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
    по Bacchus, Fahiem
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Algorithm Analysis and Problem Complexity 303732...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 1160
    Differential Evolution A Practical Approach to Global Optimization /
    по Price, Kenneth V.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Algorithm Analysis and Problem Complexity 303732...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток