Вы здесь

Главная

Издания

Вид Название Год Том Автор Редакторы Колл. автор Источник Дата поступления На руках
М Грамматика связей, релевантность и определение тем текстов 2018 Батура Т. В., Бакиева А.М., Еримбетова А.С., Мурзин Ф. А., Сагнаева С.К. ИСИ СО РАН Программирование 18.01.2019 Выдать
М Теория кодирования как задача поиска глобального экстремума 2018 Золотарёв В. В.
  1. Кузнецов Н. А.
 Программирование 14.01.2019 Выдать
М Учебные материалы к курсу "Преподавание в ВУЗе и профессиональные коммуникации": Учебно-методическое пособие 2018 Ефремова Е.М. ИСИ СО РАН Программирование 20.12.2018 Выдать
П Методы декомпозиции программ 2018 Городняя Л. В. ИСИ СО РАН Программирование 17.12.2018 Выдать
СБ Artificial Neural Networks and Machine Learning - ICANN 2018, Part III: Proc./27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 2018 2018 11141
  1. Kurkova V.
  2. Manolopoulos Ya.
  3. Hammer B.
  4. Iliadis L.
 Программирование 17.12.2018 Выдать
СТ Обнаружение неточных повторов в документации программного обеспечения 2018 Луцив Д. В., Кознов Д. В., Чернышев Г. А., Терехов А. Н., Романовский К. Ю., Григорьев Д.А. Программирование 13.12.2018 Выдать
СТ Адаптация общих концепций тестирования программного обеспечения к нейронным сетям 2018 Карпов Ю.Л. , Карпов Л. Е., Сметанин Ю. Г. Программирование 13.12.2018 Выдать
СТ Направленное динамическое символьное исполнение программ для подтверждения ошибок в программах 2018 Герасимов А.Ю. Программирование 13.12.2018 Выдать
СТ Децентрализованные хранилища данных: технологии построения 2018 Крюков А. П., Демичев А. П. Программирование 13.12.2018 Выдать
СБ Аналитика и управление данными в областях с интенсивным использованием данных: Труды XVII Международной конференции DAMDID/ RCDL'2015, Обнинск, Моск. обл., Россия, октябрь 2015 2018
  1. Калиниченко Л. А.
  2. Старков.
 13.12.2018 Выдать
СБ Страницы истории отечественных ИТ 2018 5
  1. Пройдаков Э. М.
 13.12.2018 Выдать
СБ Formal Methods: Foundations and Applications: Proc./21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 2018 2018 11254
  1. Massoni T.
  2. Mousavi M. R.
 13.12.2018 Шелехов В. И.
Принять
СБ Future Data and Security Engineering: Proc./5th International Conference, FDSE 2018, Ho Shi Minh City, Vietnam, November 2018 2018 11251
  1. Dang T. K.
  2. Kung J.
  3. Wagner R.
  4. Thoai N.
 13.12.2018 Выдать
СБ Understanding and Interpreting Machine Learning in Madical Image Computing Applications: Proc./1st International Workshops MLCN 2018, DLF 2018, and iMIMIC 2018 Held in Conjunction with MICCAI 2018, Granada, Spain, September 2018 2018 11038
  1. Stoyanov D.
  2. Taylor Z.
  3. Kia S.M.
  4. Oguz I.
 13.12.2018 Выдать
СБ Information and Communications Security: Proc./20th International Conference, ICICS 2018, Lille, France, October 2018 2018 11149
  1. Naccache D.
  2. Xu S.
  3. Qing S.
  4. Samarati P.
 13.12.2018 Выдать
СБ Smart Health: Proc./ International Conference, ICSH 2018, Wuhan, China, July 2018 2018 10983
  1. Chen H.
  2. Fang Q.
  3. Zeng D.
  4. Wu J.
 13.12.2018 Выдать
СБ Secure IT Systems: Proc./23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 2018 2018 11252
  1. Gruschka N.
 13.12.2018 Выдать
СБ Ubiquitous Networking: Revised Selected Papers/4th International Symposium, UNet 2018, Hammamet, Tunisia, May 2018 2018 11277
  1. Boudriga N.
  2. Alouini M.-S.
  3. Rekhis S.
  4. Sabir E.
 13.12.2018 Выдать
СБ Pattern Recognition and Computer Vision, Part II: Proc./1st Chinese Conference, PRCV 2018, Guangzhou, China, November 2018 2018 11257
  1. Lai J.-H.
  2. Liu C. -L.
  3. Chen X.
  4. Zhou J.
 13.12.2018 Выдать
СБ Pattern Recognition and Computer Vision, Part I: Proc./1st Chinese Conference, PRCV 2018, Guangzhou, China, November 2018 2018 11256
  1. Lai J.-H.
  2. Liu C. -L.
  3. Chen X.
  4. Zhou J.
 13.12.2018 Выдать
СБ Advances in Cryptology - ASIACRYPT 2018, Part III: Proc./24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2018 2018 11274
  1. Peyrin Th.
  2. Galbraith S.
 13.12.2018 Выдать
СБ Advances in Cryptology - ASIACRYPT 2018, Part II: Proc./24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2018 2018 11273
  1. Peyrin Th.
  2. Galbraith S.
 13.12.2018 Выдать
СБ Advances in Cryptology - ASIACRYPT 2018, Part I: Proc./24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2018 2018 11272
  1. Peyrin Th.
  2. Galbraith S.
 13.12.2018 Выдать
СБ Leveraging Applications of Formal Methods, Verification and Validation, Part IV: Industrial Practice: Proc./8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 2018 2018 11247
  1. Margaria T.
  2. Steffen B.
 13.12.2018 Выдать
СБ Leveraging Applications of Formal Methods, Verification and Validation, Part III: Distributed Systems: Proc./8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 2018 2018 11246
  1. Margaria T.
  2. Steffen B.
 13.12.2018 Шелехов В. И.
Принять
СБ Leveraging Applications of Formal Methods, Verification and Validation, Part II: Verification: Proc./8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 2018 2018 11245
  1. Margaria T.
  2. Steffen B.
 13.12.2018 Шелехов В. И.
Принять
СБ Leveraging Applications of Formal Methods, Verification and Validation, Part I: Modeling: Proc./8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 2018 2018 11244
  1. Margaria T.
  2. Steffen B.
 13.12.2018 Шелехов В. И.
Принять
СБ Product-Focused Software Process Improvement: Proc./19th International Conference, PROFES 2018, Wolfsburg, Germany, November 2018 2018 11271
  1. Kuhrmann M.
  2. Schneider K.
  3. Pfahl D.
  4. Amasaki S.
 13.12.2018 Выдать
СБ Web and Big Data: Revised Selected Papers/APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 2018 2018 11268
  1. U L.H.
  2. Xie H.
 13.12.2018 Выдать
СБ Service-Oriented Computing: Proc./16th International Conference, ICSOC 2018, Hangzhou, China, November 2018 2018 11236
  1. Pahl C.
  2. Vukovic M.
  3. Yin J.
  4. Yu Q.
 13.12.2018 Выдать
СБ Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments: Proc./2nd International Conference, ISDDC 2018, Vancouver,BC,Canada, November 2018 2018 11317
  1. Traore I.
  2. Woungang I.
  3. Ahmed S.S.
  4. Malik Ya.
 13.12.2018 Выдать
СБ Emerging Technologies for Education: Revised Selected Papers/3rd International Symposium, SETE 2018Held in Conjunction with ICWL 2018, Chiang Mai, Thailand, August 2018 2018 11284
  1. Hao T.
  2. Chen W.
  3. Xie H.
  4. Nadee W.
 13.12.2018 Выдать
СБ Semantics, Analytics, Visualization: Revised Selected Papers/3rd International Workshop,SAVE-SD 2017, Perth, Australia, April 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 2018 2018 10959
  1. Gonzalez-Beltran A.
  2. Osborne F.
  3. Peroni S.
  4. Vahdati S.
 13.12.2018 Выдать
СБ Structural Information and Communication Complexity: Revised Selected Papers/25th International Colloquium, SIRICCO 2018, Ma'ale HaHamisha, Israel, June 2018 2018 11085
  1. Lotker Z.
  2. Patt-Shamir B.
 13.12.2018 Выдать
СБ Knowledge Engineering and Knowledge Management: Proc./21st International Conference, EKAW 2018, Nancy, France, November 2018 2018 11313
  1. Zucker C. F.
  2. Ghidini C.
  3. Napoli A.
  4. Toussaint J.
 13.12.2018 Выдать
СБ PRIMA 2018: Principles and Practice of Multi-Agent Systems: Proc./21st International Conference, Tokyo, Japan, October 2018 2018 11224
  1. Miller T.
  2. Oren N.
  3. Sakurai Y.
  4. Noda I.
 13.12.2018 Выдать
СБ AI Approaches to the Complexity of Legal Systems: Revised Selected Papers/AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL_VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017 2018 10791
  1. Pagallo U.
  2. Paimirani M.
  3. Casanovas P.
  4. Sartor G.
 13.12.2018 Выдать
СБ Multi-disciplinary Trends in Artificial Intelligence: Proc./12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 2018 2018 11248
  1. Kaenampornpan M.
  2. Malaka R.
  3. Nguyen D. D.
  4. Schwind N.
 13.12.2018 Выдать
СБ Advances in Artificial Intelligence: Proc./18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 2018 2018 11160
  1. Herrera F.
  2. Damas S.
  3. Montes R.
  4. Alonso S.
 27.11.2018 Выдать
СБ Declarative Programming and Knowledge Management: Revised Selected Papers/ Conference on Declarative Programming, DECLARE 2017 Unifying INAP, WELP, and WLP, Wü rzburg, Germany, September 2017 2018 10997
  1. Seipel D.
  2. Hanus M.
  3. Abreu S.
 27.11.2018 Выдать
СБ Computational Linguistics and Intelligent Text Processing, Part II: Revised Selected Papers/18th International Conference, CICLing 2017, Budapest, Hungary, April, 2017 2018 10762
  1. Gelbukh A.
 27.11.2018 Выдать
СБ Computational Linguistics and Intelligent Text Processing, Part I: Revised Selected Papers/18th International Conference, CICLing 2017, Budapest, Hungary, April, 2017 2018 11761
  1. Gelbukh A.
 27.11.2018 Выдать
СБ Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday 2018 11180
  1. Jones C.
  2. Wang J.
  3. Zhan N.
 27.11.2018 Выдать
СБ Internet of Things, Smart Spaces, and Next Generation Networks and Systems: Proc./18th International Conference, NEW2AN 2018 and 11th Conference, ruSMART 2018, St.Petersburg, Russia, August 2018 2018 11118
  1. Galinina O.
  2. Andreev S.
  3. Balandin S.
  4. Koucheryavy Ye.
 27.11.2018 Выдать
СБ Artificial Neural Networks and Machine Learning - ICANN 2018, Part I: Proc./27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 2018 2018 11139
  1. Kurkova V.
  2. Manolopoulos Ya.
  3. Hammer B.
  4. Iliadis L.
 27.11.2018 Выдать
СБ Digital Libraries for Open Knowledge: Proc./22nd International Conference on Theory and Practice of DL, TPDL 2018, Porto, Portugal, September 2018 2018 11057
  1. Mendes E.
  2. Crestani F.
  3. Ribeiro C.
  4. David G.
 27.11.2018 Крайнева И. А.
Принять
СБ Advanced Concepts for Intelligent Vision Systems: Proc./19th International Conference, ACIVS 2018, Poitiers, France, September 2018 2018 11182
  1. Blanc-Talon J.
  2. Helbert D.
  3. Philips W.
  4. Popescu D.
 27.11.2018 Выдать
СБ Internet Science: Proc./5th International Conference, INSCI 2018, St.Petersburg, Russia, October 2018 2018 11193
  1. Bodrunova S.S.
 27.11.2018 Выдать
СБ Formal Methods and Software Engineering: Proc./20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 2018 2018 11232
  1. Sun J.
  2. Sun M.
 27.11.2018 Шелехов В. И.
Принять
СБ Challenges and Opportunities in the Digital Era: Proc./17th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2018, Kuwait City, Kuwait, October 2018 2018 11195
  1. Al-Sharhan S.A.
  2. Simintiras A.C.
  3. Dwivedi Y. K.
  4. Janssen M.
 27.11.2018 Выдать