Вы здесь

Издания

Вид Название Год Том Автор Редакторы Колл. автор Источник Дата поступления Количество экземпляров На руках
СБ Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday 2021 13065
  1. Bartocci E.
  2. Falcone Y.
  3. Leucker M.
20911 28.10.2021 Доступно
1 из 1
Выдать
СБ Computational Logistics: Proc./12th International Conference, ICCL 2021, Enschede, The Netherlands, September 2021 2021 13004
  1. Mes M.
  2. Lalla-Ruiz E.
  3. Voss S.
20910 28.10.2021 Доступно
1 из 1
Выдать
СБ Graph-Theoretic Concepts in Computer Science: Revised Selected Papers/47th International Workshop, WG 2021, Warsaw, Poland, June 2021 2021 12911
  1. Kowalik L.
  2. Pilipczuk M.
  3. Rzazewski P.
20909 28.10.2021 Доступно
0 из 1
Шелехов В. И.
Принять
СБ Augmented Reality, Virtual Reality, and Computer Graphics: Proc./8th International Conference, AVR 2021, Virtual Event, September 2021 2021 12980
  1. de Paolis L.T.
  2. Arpaia P.
  3. Bourdot P.
20908 28.10.2021 Доступно
1 из 1
Выдать
СБ Medical Image Computing and Computer Assisted Intervention - MICCAI 2021, Part VII: Proc./24th International Conference, Strasbourg, France, September 2021 2021 12907
  1. de Bruijne M.
  2. Cattin Ph.
  3. Cotin S.
  4. Padoy N.
20907 26.10.2021 Доступно
1 из 1
Выдать
СБ Medical Image Computing and Computer Assisted Intervention - MICCAI 2021, Part VI: Proc./24th International Conference, Strasbourg, France, September 2021 2021 12906
  1. de Bruijne M.
  2. Cattin Ph.
  3. Cotin S.
  4. Padoy N.
20906 26.10.2021 Доступно
1 из 1
Выдать
СБ Medical Image Computing and Computer Assisted Intervention - MICCAI 2021, Part V: Proc./24th International Conference, Strasbourg, France, September 2021 2021 12905
  1. de Bruijne M.
  2. Cattin Ph.
  3. Cotin S.
  4. Padoy N.
20905 26.10.2021 Доступно
1 из 1
Выдать
СБ Medical Image Computing and Computer Assisted Intervention - MICCAI 2021, Part IV: Proc./24th International Conference, Strasbourg, France, September 2021 2021 12904
  1. de Bruijne M.
  2. Cattin Ph.
  3. Cotin S.
  4. Padoy N.
20904 26.10.2021 Доступно
1 из 1
Выдать
СБ Medical Image Computing and Computer Assisted Intervention - MICCAI 2021, Part III: Proc./24th International Conference, Strasbourg, France, September 2021 2021 12903
  1. de Bruijne M.
  2. Cattin Ph.
  3. Cotin S.
  4. Padoy N.
20903 26.10.2021 Доступно
1 из 1
Выдать
СБ Medical Image Computing and Computer Assisted Intervention - MICCAI 2021, Part II: Proc./24th International Conference, Strasbourg, France, September 2021 2021 12902
  1. de Bruijne M.
  2. Cattin Ph.
  3. Cotin S.
  4. Padoy N.
20902 26.10.2021 Доступно
1 из 1
Выдать
СБ Medical Image Computing and Computer Assisted Intervention - MICCAI 2021, Part I: Proc./24th International Conference, Strasbourg, France, September 2021 2021 12901
  1. de Bruijne M.
  2. Cattin Ph.
  3. Cotin S.
  4. Padoy N.
20901 26.10.2021 Доступно
1 из 1
Выдать
СБ Document Analysis and Recognition - ICDAR 2021, Part IV: Proc./16th International Conference, Lausanne, Switzerland, September 2021 2021 12824
  1. Liados J.
  2. Lopresti D.
  3. Uchida S.
20900 26.10.2021 Доступно
1 из 1
Выдать
СБ Document Analysis and Recognition - ICDAR 2021, Part III: Proc./16th International Conference, Lausanne, Switzerland, September 2021 2021 12823
  1. Liados J.
  2. Lopresti D. P.
  3. Uchida S.
20737 26.10.2021 Доступно
1 из 1
Выдать
СБ Document Analysis and Recognition - ICDAR 2021, Part II: Proc./16th International Conference, Lausanne, Switzerland, September 2021 2021 12822
  1. Liados J.
  2. Lopresti D.
  3. Uchida S.
16768 26.10.2021 Доступно
1 из 1
Выдать
СТ Эффективная реализация быстрого преобразования Хафа с использованием сопроцессора CPCA 2021 Аникеев Ф.А., Райко Г.О., Лимонова Е.Е., Алиев М.А., Николаев Д.П. Программирование 12.10.2021 Доступно
1 из 1
Выдать
СТ "Истинно параллельная" семантика непрерывно-временных сетей Петри со слабой временной и устойчиво атомарной пространственной стратегиями 2021 Вирбицкайте И. Б., Зубарев А.Ю. Программирование 12.10.2021 Доступно
1 из 1
Выдать
М Встречи в выставочном зале 2010 Лаевская Г. 12.10.2021 Доступно
1 из 1
Выдать
СБ Disinformation in Open Online Media: Proc./3rd Multidisciplinary International Symposium, MISDOOM 2021, Virtual Event, September 2021 2021 12887
  1. Bright J.
  2. Giachanou A.
  3. Spaiser V.
  4. Spezzano F.
12.10.2021 Доступно
1 из 1
Выдать
СБ Technology-Enhanced Learning for a Free, Safe, and Sustainable World: Proc./16th European Conference on Technology Enhanced Learning, EC-TEL 2021, Bolzano, Italy, September 2021 2021 12884
  1. De Laet T.
  2. Klemke R.
  3. Alario-Hoyos C.
  4. Hilliger I.
12.10.2021 Доступно
1 из 1
Выдать
СБ Wireless Algorithms, Systems, and Applications, Part III: Proc./16th International Conference, WASA 2021, Nanjing, China, June 2021 2021 12939
  1. Liu Zh.
  2. Wu F.
  3. Das S. K.
12.10.2021 Доступно
1 из 1
Выдать
СБ Wireless Algorithms, Systems, and Applications, Part II: Proc./16th International Conference, WASA 2021, Nanjing, China, June 2021 2021 12938
  1. Liu Zh.
  2. Wu F.
  3. Das S. K.
12.10.2021 Доступно
1 из 1
Выдать
СБ Wireless Algorithms, Systems, and Applications, Part I: Proc./16th International Conference, WASA 2021, Nanjing, China, June 2021 2021 12937
  1. Liu Zh.
  2. Wu F.
  3. Das S. K.
12.10.2021 Доступно
1 из 1
Выдать
СБ Computer Information Systems and Industrial Management: Proc./20th International Conference, CISIM 2021, Ełk, Poland, September 2021 2021 12883
  1. Saeed K.
  2. Dvorsky J.
01.10.2021 Доступно
1 из 1
Выдать
СБ Electronic Government: Proc./20th IFIP WG 8.5 International Conference, EGOV 2021, Granada, Spain, September 2021 2021 12850
  1. Scholl H. J.
  2. Gil-Garcia J.R.
  3. Janssen M.
  4. Kalampokis E.
01.10.2021 Доступно
1 из 1
Выдать
СБ Responsible AI and Analytics for an Ethical and Inclusive Digitized Society: Proc./20th IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2021, Galway, Ireland, September 2021 2021 12896
  1. Dennehy D.
  2. Griva A.
  3. Pouloudi N.
  4. Dwivedi Y. K.
01.10.2021 Доступно
1 из 1
Выдать
СБ Linking Theory and Practice of Digital Libraries: Proc./25th International Conference on Theory and Practice of Digital Libraries, TPDL 2021, Virtual Event, September 2021 2021 12866
  1. Berget G.
  2. Hall M.
  3. Brenn D.
  4. Kampulainen S.
01.10.2021 Доступно
1 из 1
Выдать
СБ Spatial Data and Intelligence: Proc./2nd International Conference, SpatiaIDI 2021, Hangzhou, China, April 2021 2021 12753
  1. Pan G.
  2. Lin H.
  3. Meng X.
  4. Gao Y.
01.10.2021 Доступно
1 из 1
Выдать
СБ Transactions on Large-Scale Data-and Knowledge-Centered Systems XLIX: Special ISSUE on Data Management - Principles, Technologies and Applications 2021 12920
  1. Hameurlain A.
  2. Tjoa A. M.
01.10.2021 Доступно
1 из 1
Выдать
СБ Theoretical Aspects of Computing - ICTAC 2021: Proc./18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 2021 2021 12819
  1. Cerone A.
  2. Olveczky P. C.
01.10.2021 Доступно
1 из 1
Выдать
СБ Parallel Computing Technologies: Proc./16th International Conference, PaCT 2021, Kalinigrad, Russia, September 2021 2021 12942
  1. Malyshkin V.
01.10.2021 Доступно
1 из 1
Выдать
СБ Web and Big Data, Part II: Proc./5th International Joint Conference, APWeb-WAIM 2021, Guangzhou, China, August 2021 2021 12859
  1. U L.H.
  2. Spaniol M.
  3. Sakurai Y.
  4. Chen J.
01.10.2021 Доступно
1 из 1
Выдать
СБ Web and Big Data, Part I: Proc./5th International Joint Conference, APWeb-WAIM 2021, Guangzhou, China, August 2021 2021 12858
  1. Spaniol M.
  2. Sakurai Y.
  3. Chen J.
  4. U L.H.
01.10.2021 Доступно
1 из 1
Выдать
СБ Computer Safety, Reliability, and Security: Proc./40th International Conference, SAFECOMP 2021 , York, UK, September 2021 2021 12852
  1. Habli I.
  2. Sujan M.
  3. Bitsch F.
01.10.2021 Доступно
1 из 1
Выдать
СБ Computational Methods in Systems Biology: Proc./19th International Conference, CMSB 2021, Bordeaux, France, September 2021 2021 12881
  1. Cinquemani E.
  2. Pauleve L.
01.10.2021 Доступно
1 из 1
Выдать
СБ Diagrammatic Representation and Inference: Proc./12th International Conference, Diagrams 2021, Virtual, September 2021 2021 12909
  1. Basu A.
  2. Stapleton G.
  3. Linker S.
  4. Legg C.
01.10.2021 Доступно
1 из 1
Выдать
СБ Frontiers of Combining Systems: Proc./13th International Symposium, FroCoS 2021, Birmingham, UK, September 2021 2021 12941
  1. Konev B.
  2. Reger G.
01.10.2021 Доступно
1 из 1
Выдать
СБ Modeling Decisions for Artificial Intelligence: Proc./18th International Conference, MDAI 2021, Umeá, Sweden, September 2021 2021 12898
  1. Torra V.
  2. Narukawa Ya.
01.10.2021 Доступно
1 из 1
Выдать
СБ Advances in Artificial Intelligence: Proc./19th Conference of the Spain Association for Artificial Intelligence, CAEPIA 2020/2021, Málaga, Spain, September 2021 2021 12882
  1. Alba E.
  2. Luque G.
  3. Chicano F.
  4. Cotta C.
01.10.2021 Доступно
1 из 1
Выдать
СБ Hybrid Artificial Intelligent Systems: Proc./16th International Conference, HAIS 2021, Bilbao, Spain, September 2021 2021 12886
  1. Gonzalez H.S.
  2. Lopez I.P.
  3. Bringas P. G.
  4. Quintian H.
01.10.2021 Доступно
1 из 1
Выдать
СБ Advances in Cryptology - CRYPTO 2021, Part IV: Proc./41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 2021 2021 12828
  1. Malkin T.
  2. Peikert Ch.
01.10.2021 Доступно
1 из 1
Выдать
СБ Advances in Cryptology - CRYPTO 2021, Part III: Proc./41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 2021 2021 12827
  1. Malkin T.
  2. Peikert Ch.
01.10.2021 Доступно
1 из 1
Выдать
СБ Advances in Cryptology - CRYPTO 2021, Part II: Proc./41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 2021 2021 12826
  1. Malkin T.
  2. Peikert Ch.
01.10.2021 Доступно
1 из 1
Выдать
СБ Advances in Cryptology - CRYPTO 2021, Part I: Proc./41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 2021 2021 12825
  1. Malkin T.
  2. Peikert Ch.
01.10.2021 Доступно
1 из 1
Выдать
СБ Intelligent Computing Theories and Application, Part III: Proc./17th International Conference, ICIC 2021, Shenzhen, China, August 2021 2021 12838
  1. Huang D. -Sh.
  2. Jo K. -H.
  3. Li J.
  4. Gribova V.
01.10.2021 Доступно
1 из 1
Выдать
СБ Intelligent Computing Theories and Application, Part II: Proc./17th International Conference, ICIC 2021, Shenzhen, China, August 2021 2021 12837
  1. Huang D. -Sh.
  2. Jo K. -H.
  3. Li J.
  4. Gribova V.
01.10.2021 Доступно
1 из 1
Выдать
СБ Intelligent Computing Theories and Application, Part I: Proc./17th International Conference, ICIC 2021, Shenzhen, China, August 2021 2021 12836
  1. Huang D. -Sh.
  2. Jo K. -H.
  3. Li J.
  4. Gribova V.
01.10.2021 Доступно
1 из 1
Выдать
СБ Document Analysis and Recognition - ICDAR 2021 Workshops, Part II: Proc./Lausanne, Switzerland, September 2021 2021 12917
  1. Smith E.H.B.
  2. Pal U.
01.10.2021 Доступно
1 из 1
Выдать
СБ Document Analysis and Recognition - ICDAR 2021 Workshops, Part I: Proc./Lausanne, Switzerland, September 2021 2021 12916
  1. Smith E.H.B.
  2. Pal U.
01.10.2021 Доступно
1 из 1
Выдать
СБ Trust, Privacy and Security in Digital Business: Proc./18th International Conference, TrustBus 2021, Virtual Event, September 2021 2021 12927
  1. Fischer-Hubner S.
  2. Lambrinoudakis C.
  3. Kotsis G.
  4. Tjoa A M.
01.10.2021 Доступно
1 из 1
Выдать
СБ Computer Algebra in Scientific Computing: Proc./23rd International Workshop, CASC 2021, Sochi, Russia, September 2021 2021 12865
  1. Boulier F.
  2. England M.
  3. Sadykov T.M.
  4. Vorozhtsov E. V.
01.10.2021 Доступно
1 из 1
Выдать