Вы здесь

Издания

Вид Название Год Том Автор Редакторы Колл. автор Источник Дата поступления Количество экземпляров На руках
СБ Performance Evaluation and Benchmarking: Revised Selected Papers/12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 2020 2021 12752
  1. Nambiar R.
  2. Poess M.
13.09.2021 Доступно
1 из 1
Выдать
СБ Model Checking Software: Proc./27th International Symposium, SPIN 2021, Virtual Event, July 2021 2021 12864
  1. Laarman A.
  2. Sokolova A.
13.09.2021 Доступно
1 из 1
Выдать
СБ Electronic Participation: Proc./13th IFIP WG 8.5 International Conference, ePart 2021, Granada, Spain, September 2021 2021 12849
  1. Edelmann N.
  2. Csaki C.
  3. Hofmann S.
  4. Lampoltshammer Th.
13.09.2021 Доступно
1 из 1
Выдать
СБ Machine Learning and Knowledge Extraction: Proc./5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, Virtual Event, August 2021 2021 12844
  1. Holzinger A.
  2. Kieseberg P.
  3. Tjoa A M.
  4. Weippl E.
13.09.2021 Доступно
1 из 1
Выдать
СБ Algorithms and Data Structures: Proc./17th International Symposium, WADS 2021, Virtual Event, August 2021 2021 12808
  1. Lubiw A.
  2. Salavatipour M.R.
13.09.2021 Доступно
1 из 1
Выдать
СБ Quantitative Evaluation of Systems: Proc./18th International Conference, QEST 2021, Paris, France, August 2021 2021 12846
  1. Abate A.
  2. Marin A.
13.09.2021 Доступно
1 из 1
Выдать
СБ Computer Aided Verification, Part II: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021 2021 12760
  1. Silva A.
  2. Leino K.R. M.
20.08.2021 Доступно
1 из 1
Выдать
СБ Computer Aided Verification, Part I: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021 2021 12759
  1. Silva A.
  2. Leino K.R. M.
20.08.2021 Доступно
1 из 1
Выдать
СБ AIxIA 2020 - Advances in Artificial Intelligence: Revised Selected Papers/XIXth International Conference on the Italian Association for Artificial Intelligence, Virtual Event, November 2020 2021 12414
  1. Baldoni M.
  2. Bandini S.
20.08.2021 Доступно
1 из 1
Выдать
СБ Multi-disciplinary Trends in Artificial Intelligence: Proc./14th International Conference, MIWAI 2021, Virtual Event, July 2021 2021 12832
  1. Chomphuwiset Ph.
  2. Kim J.
  3. Pawara P.
20.08.2021 Доступно
1 из 1
Выдать
СБ New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI, 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 2020 2021 12758
  1. Okazaki N.
  2. Yada K.
  3. Satoh K.
  4. Mineshima K.
20.08.2021 Доступно
1 из 1
Выдать
СБ Intelligent Computer Mathematics: Proc./14th International Conference, CICM 2021, Timisoara, Romania, July 2021 2021 12833
  1. Kamareddine F.
  2. Coen C. S.
20.08.2021 Доступно
1 из 1
Выдать
СБ Advances and Trends in Artificial Intelligence, Part II: From Theory to Practice: Proc./34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021, Kuala Lumpur, Malaysia, July 2021 2021 12799
  1. Fujita H.
  2. Selamat A.
  3. Lin J. Ch.-W.
  4. Ali M.
20.08.2021 Доступно
1 из 1
Выдать
СБ Advances and Trends in Artificial Intelligence, Part I: Artificial Intelligence Practices: Proc./34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021, Kuala Lumpur, Malaysia, July 2021 2021 12798
  1. Fujita H.
  2. Selamat A.
  3. Lin J. Ch.-W.
  4. Ali M.
20.08.2021 Доступно
1 из 1
Выдать
СБ Explainable and Transparent AI and Multi-Agent Systems: Revised Selected Papers/3rd International Workshop, EXTRAAMAS 2021, Virtual Event, May 2021 2021 12688
  1. Calvaresi D.
  2. Najjar A.
  3. Winikoff M.
  4. Framling K.
20.08.2021 Доступно
1 из 1
Выдать
СБ Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021 2021 12699
  1. Platzer A.
  2. Sutcliffe G.
20.08.2021 Доступно
1 из 1
Выдать
СБ Computational Advances in Bio and Medical Sciences: Revised Selected Papers/10th International Conference, ICCASS 2020, Virtual Event, December 2020 2021 12686
  1. Jha S. K.
  2. Mandoiu I.
  3. Rajasekaran S.
  4. Skums P.
20.08.2021 Доступно
1 из 1
Выдать
СБ Computer Science - Theory and Applications: Proc./16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, July 2021 2021 12730
  1. Santhanam R.
  2. Musatov D. V.
20.08.2021 Доступно
1 из 1
Выдать
СБ Advances in Cryptology - EUROCRYPT 2021, Part II: Proc./40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 2021 2021 12697
  1. Canteaut A.
  2. Standaert F. -X.
20.08.2021 Доступно
1 из 1
Выдать
СБ Advances in Cryptology - EUROCRYPT 2021, Part I: Proc./40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 2021 2021 12696
  1. Canteaut A.
  2. Standaert F. -X.
20.08.2021 Доступно
1 из 1
Выдать
СБ Social, Cultural, and Behavioral Modeling: Proc./14th International Conference, SBP-BRiMS 2021, International Conference July 2021 2021 12720
  1. Thomson R.
  2. Hussain M. N.
  3. Dancy Ch.
  4. Pyke A.
20.08.2021 Доступно
1 из 1
Выдать
СБ Detection of Intrusions and Malware, and Vulnerability Assessment: Proc./18th International Conference, DIMVA 2021, Virtual Event, July 2021 2021 12756
  1. Bilge L.
  2. Cavallaro L.
  3. Pellegrino G.
  4. Neves N.
20.08.2021 Доступно
1 из 1
Выдать
СБ Blended Learning: Re-thinking and Re-defining the Learning Process: Proc./14th International Conference, ICBL 2021, Nagoya, Japan, August 2021 2021 12830
  1. Li R.
  2. Cheung S.K. S.
  3. Iwasaki C.
  4. Kwok L. -F.
20.08.2021 Доступно
1 из 1
Выдать
СБ The Once-Only Principle: The TOOP Project 2021 12621
  1. Krimmer R.
  2. Prentza A.
  3. Mamrot S.
20.08.2021 Доступно
1 из 1
Выдать
СБ Advances in Swarm Intelligence, Part II: Proc./12th International Conference, ICSI 2021, Qingdao, China, July 2021 2021 12690
  1. Tan Y.
  2. Shi Y.
20.08.2021 Доступно
1 из 1
Выдать
СБ Advances in Swarm Intelligence, Part I: Proc./12th International Conference, ICSI 2021, Qingdao, China, July 2021 2021 12689
  1. Tan Y.
  2. Shi Y.
20.08.2021 Доступно
1 из 1
Выдать
СБ Applied Reconfigurable Computing: Architectures, Tools, and Applications: Proc./17th International Symposium, ARC 2021, Virtual Event, June 2021 2021 12700
  1. Derrien S.
  2. Hannig F.
  3. Diniz P. C.
  4. Chillet D.
20.08.2021 Доступно
1 из 1
Выдать
СБ Socio-Technical Aspects in Security and Trust: Revised Selected Papers/10th International Workshop,, STAST 2020, Virtual Event, September 2020 2021 12812
  1. Groß T.
  2. Vigano L.
20.08.2021 Доступно
1 из 1
Выдать
СБ Mathematical Optimization Theory and Operations Research: Proc./20th International Conference, MOTOR 2021, Irkutsk, Russia, July 2021 2021 12755
  1. Pardalos P.
  2. Khachay M.
  3. Kazakov A.
20.08.2021 Доступно
1 из 1
Выдать
СБ Structured Object-Oriented Formal Language and Methods: Revised Selected Papers/10th International Workshop,, SOFL+MSVL 2020, Singapore, March 2021 2021 12723
  1. Xue J.
  2. Nagoya F.
  3. Liu Sh.
  4. Duan Zh.
20.08.2021 Доступно
1 из 1
Выдать
СБ Coordination Models and Languages: Proc./23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valetta, Malta, June 2021 2021 12717
  1. Damiani F.
  2. Dardha O.
20.08.2021 Доступно
1 из 1
Выдать
СБ Formal Techniques for Distributed Objects, Components, and Systems: Proc./41st IFIP WG 6.1 International Conference, FORTE 2021 Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valetta, Malta, June 2021 2021 12719
  1. Peters K.
  2. Willemse T.A. C.
20.08.2021 Доступно
1 из 1
Выдать
СБ Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday 2021 12750
  1. Raschke A.
  2. Riccobene E.
  3. Schewe K. -D.
20.08.2021 Доступно
1 из 1
Выдать
СБ Membrane Computing: Revised Selected Papers/21st International Conference, CMC 2020, Virtual Event, september 2020 2021 12687
  1. Freund R.
  2. Ishdorj T. -O.
  3. Rozenberg G.
  4. Salomaa A.
20.08.2021 Доступно
1 из 1
Выдать
СБ Applied Cryptography and Network Security, Part II: Proc./19th International Conference, ACNS 2021, Kamakura, Japan, June 2021 2021 12727
  1. Sako K.
  2. Tippenhauer N. O.
20.08.2021 Доступно
1 из 1
Выдать
СБ Applied Cryptography and Network Security, Part I: Proc./19th International Conference, ACNS 2021, Kamakura, Japan, June 2021 2021 12726
  1. Sako K.
  2. Tippenhauer N. O.
20.08.2021 Доступно
1 из 1
Выдать
СБ Combinatorial Algorithms: Proc./32nd International Workshop, IWOCA 2021, Ottawa,ON,Canada, July 2021 2021 12757
  1. Flocchini P.
  2. Moura L.
20.08.2021 Доступно
1 из 1
Выдать
СБ Integration of Constraint Programming, Artificial Intelligence, and Operations Research: Proc./18th International Conference, CPAIOR 2021, Vienna, Austria, July 2021 2021 12735
  1. Stuckey P. J.
20.08.2021 Доступно
1 из 1
Выдать
СБ Graph Transformation: Proc./14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 2021 2021 12741
  1. Gadducci F.
  2. Kehrer T.
20.08.2021 Доступно
1 из 1
Выдать
СБ Information Processing in Medical Imaging: Proc./27th International Conference, IPMI 2021, Virtual Event, June 2021 2021 12729
  1. Feragen A.
  2. Sommer S.
  3. Schnabel J.A.
  4. Nielsen M.
19.08.2021 Доступно
1 из 1
Выдать
СБ Functional Imaging and Modeling of the Heart: Proc./11th International Conference, FIMH 2021, Stanford,CA,USA, June 2021 2021 12738
  1. Ennis D. B.
  2. Perotti L. E.
  3. Wang V. Y.
19.08.2021 Доступно
1 из 1
Выдать
СБ Reversible Computation: Proc./13th International Conference, RC 2021, Virtual Event, July 2021 2021 12805
  1. Yamashita Sh.
  2. Yokoyama T.
19.08.2021 Доступно
1 из 1
Выдать
СБ End-User Development: Proc./8th International Symposium, IS-EUD 2021, Virtual Event, July 2021 2021 12724
  1. Fogli D.
  2. Tetteroo D.
  3. Barricelli B. R.
  4. Borsci S.
19.08.2021 Доступно
1 из 1
Выдать
СБ Network and Parallel Computing: Revised Selected Papers/17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 2020 2021 12639
  1. He X.
  2. Shao E.
  3. Tan G.
19.08.2021 Доступно
1 из 1
Выдать
СБ Service-Oriented Computing - ICSOC 2020 Workshops: Proc./AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 2020 2021 12632
  1. Hacid H.
  2. Outay F.
  3. Paik H. -Y.
  4. Alloum A.
19.08.2021 Доступно
1 из 1
Выдать
СБ Persuasive Technology: Proc./16th International Conference, PERSUASIVE 2021, Virtual Event, April 2021 2021 12684
  1. Ali R.
  2. Lugrin B.
  3. Charles F.
19.08.2021 Доступно
1 из 1
Выдать
СБ Implementation and Application of Automata: Proc./25th International Conference, CIAA 2021, Virtual Event, July 2021 2021 12803
  1. Maneth S.
19.08.2021 Доступно
1 из 1
Выдать
СБ Model and Data Engineering: Proc./10th International Conference, MEDI 2021, Tallinn, Estonia, June 2021 2021 12732
  1. Attiogbe C.
  2. Ben Yahia S.
19.08.2021 Доступно
1 из 1
Выдать
СБ Reproducible Research in Pattern Recognition: Revised Selected Papers/3rd International Workshop, RRPR 2021, Virtual Event, January 2021 2021 12636
  1. Kerautret B.
  2. Kolom M.
  3. Lopresti D.
  4. Monasse P.
19.08.2021 Доступно
1 из 1
Выдать
СБ Discrete Geometry and Mathematical Morphology: Proc./1st International Joint Conference, DGMM 2021, Uppsala, Sweden, May 2021 2021 12708
  1. Lindblad J.
  2. Malmberg F.
  3. Sladoje N.
19.08.2021 Доступно
1 из 1
Выдать