731 - 740 из 1 004Размер страницы: 10
Сортировать по:: Год публикации
  1. 2010

  2. Fast distance multiplication of unit-Monge matrices

    Tiskin, A., 1 янв 2010, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. стр. 1287-1296 10 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  3. On the Wadge reducibility of k-partitions

    Selivanov, V. L., 1 янв 2010, в: Journal of Logic and Algebraic Programming. 79, 1, стр. 92-102 11 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  4. On equations over sets of integers

    Jez, A. & Okhotin, A., 2010, STACS 2010 - 27th International Symposium on Theoretical Aspects of Computer Science. стр. 477-488 12 стр. (Leibniz International Proceedings in Informatics, LIPIcs; том 5).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  5. Remarks on the SLLN for linear random fields

    Banys, P., Davydov, Y. & Paulauskas, V., 2010, в: Statistics and Probability Letters. 80, 5-6, стр. 489-496 8 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  6. Задачи Санкт-Петербургской олимпиады школьников по математике 2010 года

    Берлов, С. Л., Иванов, С. В., Кохась, К. П., Петров, Ф. В., Смирнов, А. В. & Храбров, А. И., 2010, БХВ-Петербург.

    Результаты исследований: Книги, отчёты, сборники › учебное-методическое пособие › учебная

  7. Равновесные положения плоского полигонального шарнирного механизма

    Жукова, А. & Панина, Г. Ю., 2010, Равновесные положения плоского полигонального шарнирного механизма. стр. 226-234

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике › научная

  8. 2009

  9. A Gandy theorem for abstract structures and applications to first-order definability

    Kudinov, O. V. & Selivanov, V. L., 1 дек 2009, Mathematical Theory and Computational Practice (CiE 2009). стр. 290-299 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 5635).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  10. Finding efficient circuits using SAT-solvers

    Kojevnikov, A., Kulikov, A. S. & Yaroslavtsev, G., 9 ноя 2009, Theory and Applications of Satisfiability Testing - SAT 2009 - 12th International Conference, SAT 2009, Proceedings. стр. 32-44 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 5584 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  11. Periodic string comparison

    Tiskin, A., 9 ноя 2009, Combinatorial Pattern Matching (CPM 2009). стр. 193-206 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 5577 ).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  12. On differentiation and harmonic numbers

    Mortenson, E., 1 ноя 2009, в: Utilitas Mathematica. 80, стр. 53-57 5 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Назад 1...70 71 72 73 74 75 76 77 ...101 Далее

ID: 45528956