Библиотека

26.06.2018

Hовые поступления с 27 мая по 25 июня 2018 года

  1. Transactions on Computational Collective Intelligence XXVIII/Ed. by Nguyen N. T., Kowalchik R..-Berlin.: Springer, 2018.-Vol. 10780.-275 p.-(Lecture Notes in Computer Science).
  2. Database Systems for Advanced Applications, Part I: Proc./23rd International Conference, DASFAA 2018, Gold Coast, QLD, Australia, May 2018/Ed. by Pei J., Manolopoulos Ya., Sadiq S., Li J..-Berlin.: Springer, 2018.-Vol. 10827.-936 p.-(Lecture Notes in Computer Science).
  3. Database Systems for Advanced Applications, Part II: Proc./23rd International Conference, DASFAA 2018, Gold Coast, QLD, Australia, May 2018/Ed. by Pei J., Manolopoulos Ya., Sadiq S., Li J..-Berlin.: Springer, 2018.-Vol. 10828.-834 p.-(Lecture Notes in Computer Science).
  4. Advances in Multimedia Information Processing - PCM 2017, Part I: Revised Selected Papers/16th Pacific-Rim Conference on Multimedia, Harbin, China, September 2017/Ed. by Zeng B., Huang Q., El_Saddik A., Li H..-Berlin.: Springer, 2018.-Vol. 10735.-919 p.-(Lecture Notes in Computer Science).
  5. Advances in Multimedia Information Processing - PCM 2017, Part II: Revised Selected Papers/16th Pacific-Rim Conference on Multimedia, Harbin, China, September 2017/Ed. by Zeng B., Huang Q., El_Saddik A., Li H..-Berlin.: Springer, 2018.-Vol. 10736.-1007 p.-(Lecture Notes in Computer Science).
  6. Artificial Intelligence and Soft Computing, Part I: Proc./17th International Conference, ICAISC 2018, Zakopane, Poland, June 2018/Ed. by Rutkowski L., Scherer R., Korytkowski M., Pedrycz W..-Berlin.: Springer, 2018.-Vol. 10841.-774 p.-(Lecture Notes in Artificial Intelligence).
  7. Страницы истории отечественных ИТ/Составитель Пройдаков Э. М..-Москва.: Альпина Паблишер, 2018.-Vol. 4.-216 с.-(Lecture Notes in Computer Science).
  8. Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proc./6th International Conference, ABZ 2018, Southampton, UK, June 2018/Ed. by Butler M., Raschke A., Hoang T. S., Reichl K..-Berlin.: Springer, 2018.-Vol. 10817.-432 p.-(Lecture Notes in Computer Science).
  9. Artificial Intelligence and Soft Computing, Part II: Proc./17th International Conference, ICAISC 2018, Zakopane, Poland, June 2018/Ed. by Rutkowski L., Scherer R., Korytkowski M., Pedrycz W..-Berlin.: Springer, 2018.-Vol. 19842.-814 p.-(Lecture Notes in Artificial Intelligence).
  10. Application and Theory of Petri Nets and Concurrency: Proc./39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 2018/Ed. by Khomenko V., Roux O. H..-Berlin.: Springer, 2018.-Vol. 10877.-427 p.-(Lecture Notes in Computer Science).
  11. Институт гидродинамики; люди, дела, даты.../Ed. by Васильев А. А..-Новосибирск.: Академическое издательство "Гео", 2017.-673 с.-(Lecture Notes in Computer Science).
  12. Bioinspered Optimization Methods and Their Applications: Proc./8th International Conference, BIOMA 2018, Paris, France, May 2018/Ed. by Korošec P., Melab N., Talbi E. -G..-Berlin.: Springer, 2018.-Vol. 10835.-333 p.-(Lecture Notes in Computer Science).
  13. Database Systems for Advanced Applications: Proc./ DASFAA 2018 Interational Workshops: BDMS, BDQM, GDMA. and SeCoP, Gold Coast, QLD, Australia, May 2018/Ed. by Liu C., Zou L., Li J..-Berlin.: Springer, 2018.-Vol. 10829.-282 p.-(Lecture Notes in Computer Science).
  14. Engineering Multi-Agent Systems: Revised Selected Papers/5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 2017/Ed. by El Fallah Seghrouchni A., Ricci A., Son T. C..-Berlin.: Springer, 2018.-Vol. 10738.-199 p.-(Lecture Notes in Artificial Intelligence).
  15. Multi-Agent Based Simulation XVIII: Revised Selected Papers/ International Workshop, MABS 2017. Sao Paulo, Brazil, May 2017/Ed. by Dimuro G. P., Antunes L..-Berlin.: Springer, 2018.-Vol. 19798.-229 p.-(Lecture Notes in Artificial Intelligence).
  16. Reliable Software Technologies - Ada-Europe 2018: Proc./23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 2018/Ed. by Casimiro A., Ferreira P..-Berlin.: Springer, 2018.-Vol. 10873.-175 p.-(Lecture Notes in Computer Science).
  17. Simulation Gaming: Applications for Sustainable Cities and Smart Infrastructures: Revised Selected Papers/48th International Simulation and Gaming Association Conference, ISAGA 2017, Delft, The Netherlands, July 2017/Ed. by Lukosch H.K., Bekebrede G., Kortmann R..-Berlin.: Springer, 2018.-Vol. 10825.-201 p.-(Lecture Notes in Computer Science).
  18. Autonomous Control for a Reliable Internet of Services: Methods, Models, Applications, Techniques, Algorithms, and Tools/Ed. by Ganchev I., van der Mei R.D., van den Berg H..-Berlin.: Springer, 2018.-Vol. 10768.-401 p.-(Lecture Notes in Computer Science).
  19. Advances in Neural Networks - ISNN 2018: Proc./15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 2018/Ed. by Huang T., Lv J., Sun C., Tuzikov A.V..-Berlin.: Springer, 2018.-Vol. 10878.-872 p.-(Lecture Notes in Computer Science).
  20. Databases Theory and Applications: Proc./29th Australian Database Conference, ADC 2018, Gold Coast, QLD, Australia, May 2018/Ed. by Wang J., Cong G., Chen J., Qi J..-Berlin.: Springer, 2018.-Vol. 10837.-360 p.-(Lecture Notes in Computer Science).
  21. Machines, Computations, and Universality: Proc./8th International Conference, MCU 2018, Fontainebleau, France, June 2018/Ed. by Verlan S., Durand-Lose J..-Berlin.: Springer, 2018.-Vol. 10881.-171 p.-(Lecture Notes in Computer Science).
  22. Digital Cultural Heritage: Revised Selected Papers/Final Conference of the Marie Skłodowska-Curie Initial Training Network for Digital Cultural Heritage, ITN-DCH 2017, Olimje, Slovenia, May 2-17/Ed. by Ioannides M..-Berlin.: Springer, 2018.-Vol. 10605.-376 p.-(Lecture Notes in Computer Science).
  23. Tests and Proofs: Proc./12th International Conference, TAP 2018 Held as Part of STAF 2018, Toulouse, France, June 2018/Ed. by Dubois C., Wolff B..-Berlin.: Springer, 2018.-Vol. 10889.-185 p.-(Lecture Notes in Computer Science).
  24. Advanced Computing Strategies for Engineering, Part I: Proc/25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 2018/Ed. by Smith I.F. C., Domer B..-Berlin.: Springer, 2018.-Vol. 10853.-620 p.-(Lecture Notes in Computer Science).
  25. Algorithms and Models for the Web Graph: Proc./15th International Workshop, WAW 2018, Moscow, Russia, May 2018/Ed. by Bonato A., Pralat P., Raigorodskii A..-Berlin.: Springer, 2018.-Vol. 10836.-185 p.-(Lecture Notes in Computer Science).
  26. Advanced Computing Strategies for Engineering, Part II: Proc/25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 2018/Ed. by Smith I.F. C., Domer B..-Berlin.: Springer, 2018.-Vol. 10864.-488 p.-(Lecture Notes in Computer Science).
  27. Designing for a Digital and Globalized World: Proc./13th International Conference, DESRIST 2018, Chennai, India, June 2018/Ed. by Chatterjee S., Dutta K., Sundarraj R.P..-Berlin.: Springer, 2018.-Vol. 10844.-379 p.-(Lecture Notes in Computer Science).
  28. Web Engineering: Proc./18th International Conference, ICWE 2018, Cáceres, Spain, June 2018/Ed. by Mikkonen T., Klamma R., Hernandez J..-Berlin.: Springer, 2018.-Vol. 10845.-518 p.-(Lecture Notes in Computer Science).
  29. Software Engineering and Formal Methods: Proc./16th International Conference, SEFM 2018 Held as Part of STAF 2018, Toulouse, France, June 2018/Ed. by Johnsen E. B., Schaefer I..-Berlin.: Springer, 2018.-Vol. 10886.-303 p.-(Lecture Notes in Computer Science).
  30. Natural Language Processing and Information Systems: Proc./23rd International Conference on Applications of Natural Language to Information Systems, NLDB 2018, Paris, France, June 2018/Ed. by Silberztein M., Atigui F., Kornysheva E..-Berlin.: Springer, 2018.-Vol. 10859.-517 p.-(Lecture Notes in Computer Science).
  31. Graph Transformation: Proc./11th International Conference, ICGT 2018 Held as Part of STAF 2018, Toulouse, France, June 2018/Ed. by Lambers L., Weber J..-Berlin.: Springer, 2018.-Vol. 10887.-179 p.-(Lecture Notes in Computer Science).
  32. Cellular Automata and Discrete Complex System: Proc./24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 2018/Ed. by Baetens J.M., Kutrib M..-Berlin.: Springer, 2018.-Vol. 10875.-143 p.-(Lecture Notes in Computer Science).
  33. Coordination Models and Languages: Proc./20th IFIP WG 6.1 International Conference, COORDINATION 2018 Held as Part of the 13th International Federated Conference, DisCoTec 2018, Madrid Spain, June 2018/Ed. by Di Marzo Serugendo G., Loreti M..-Berlin.: Springer, 2018.-Vol. 10852.-281 p.-(Lecture Notes in Computer Science).
  34. Advanced Information System Enginering: Proc./30th International Conference, CAiSE 2018, Tallinn, Estonia, June 2018/Ed. by Krogstie J., Reijers H. A..-Berlin.: Springer, 2018.-Vol. 10816.-630 p.-(Lecture Notes in Computer Science).
  35. Intelligent Tutoring Systems: Proc./14th International Conference, ITS 2018, Montreal, QC, Canada, June 2018/Ed. by Nkambou R., Azevedo R., Vassileva J..-Berlin.: Springer, 2018.-Vol. 10858.-523 p.-(Lecture Notes in Computer Science).
  36. Modelling Foundations and Applications: Proc./14th European Conference, ECMFA 2018 Held as Part of STAF 2018, Toulouse, France, June 2018/Ed. by Pierantonio A., Trujillo S..-Berlin.: Springer, 2018.-Vol. 10890.-311 p.-(Lecture Notes in Computer Science).
  37. Formal Techniques for Distributed Objects, Components, and Systems: Proc./38th IFIP WG 6.1 International Conference, FORTE 2018 Held as Part of the 13th International Federated Conference, DisCoTec 2018, Madrid, Spain, June 2018/Ed. by Baier Ch., Caires L..-Berlin.: Springer, 2018.-Vol. 10854.-197 p.-(Lecture Notes in Computer Science).
  38. The Semantic Web: Proc./15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 2018/Ed. by Gangemi A., Navigli R., Vidal M.-E., Hitzler P..-Berlin.: Springer, 2018.-Vol. 10843.-763 p.-(Lecture Notes in Computer Science).
  39. High Performance Computing: Proc./33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 2018/Ed. by Yokota R., Weiland M., Keyes D., Trinitis C..-Berlin.: Springer, 2018.-Vol. 10876.-412 p.-(Lecture Notes in Computer Science).
  40. Graph-Based Representation and Reasoning: Proc./23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 2018/Ed. by Chapman P., Endres D., Pernelle N..-Berlin.: Springer, 2018.-Vol. 10872.-201 p.-(Lecture Notes in Artificial Intelligence).
  41. Diagrammatic Representation and Inference: Proc./10th International Conference, Diagrams 2018, Edinburgh, UK, June 2018/Ed. by Chapman P., Stapleton G., Moktefi A., Perez-Kriz S..-Berlin.: Springer, 2018.-Vol. 10971.-831 p.-(Lecture Notes in Artificial Intelligence).
  42. Recent Trends and Future Technology in Applied Intelligence: Proc./31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC. Canada. June 2018/Ed. by Mouhoub M., Sadaoui S., Mohamed O. A., Ali M..-Berlin.: Springer, 2018.-Vol. 10868.-913 p.-(Lecture Notes in Artificial Intelligence).
  43. Algorithms for Computational Biology: Proc./5th International Conference, AICoB 2018, Hong Kong, China, June 2018/Ed. by Jansson J., Martin-Vide C., Vega-Rodriguez M. A..-Berlin.: Springer, 2018.-Vol. 10849.-155 p.-(Lecture Notes in Bioinformatics).
  44. Augmented Cognition: Intelligent Technologies, Part I: Proc./12th International Conference, AC 2018 Held as Part of HCI International 2018, Las Vegas,NV,USA, July 2018/Ed. by Schmorrow D. D., Fidopiastis C. M..-Berlin.: Springer, 2018.-Vol. 10915.-459 p.-(Lecture Notes in Artificial Intelligence).
  45. Functional and Logic Programming: Proc/14th International Symposium, FLOPS 2018, Nagoya, Japan, May 2018/Ed. by Pgallagher J., Sulzmann M..-Berlin.: Springer, 2018.-Vol. 10818.-281 p.-(Lecture Notes in Computer Science).
  46. Augmented Cognition: Users and Contexts, Part II: Proc./12th International Conference, AC 2018 Held as Part of HCI International 2018, Las Vegas,NV,USA, July 2018/Ed. by Schmorrow D. D., Fidopiastis C. M..-Berlin.: Springer, 2018.-Vol. 10916.-377 p.-(Lecture Notes in Artificial Intelligence).
  47. Computer Science - Theory and Applications: Proc./13th International Computer Science Symposium i Russia, CSR 2018, Moscow, Russia, June 2018/Ed. by Fomin F. V., Podolskii V. V..-Berlin.: Springer, 2018.-Vol. 10846.-335 p.-(Lecture Notes in Computer Science).
  48. Structured Object-Oriented Formal Language and Method: Revised Selected Papers/7th International Workshop, SOFL+MSVL 2017, Xi an, China, November 2017/Ed. by Tian C., Nagoya F., Liu S., Duan Zh..-Berlin.: Springer, 2018.-Vol. 10795.-219 p.-(Lecture Notes in Computer Science).
  49. Design, User Experience, and Usability: Theory and Practice, Part I: Proc./7th International Conference, DUXU 2018 Held as Part of HCI International 2018, Las Vegas,NV,USA, July 2018/Ed. by Marcus A., Wang W..-Berlin.: Springer, 2018.-Vol. 10918.-811 p.-(Lecture Notes in Computer Science).
  50. Combinatorial Algorithms: Revised Selected Papers/28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 2017/Ed. by Brankovic L., Ryan J., Smyth W. F..-Berlin.: Springer, 2018.-Vol. 10765.-434 p.-(Lecture Notes in Computer Science).
  51. Design, User Experience, and Usability: Designing Interactions, Part II: Proc./7th International Conference, DUXU 2018 Held as Part of HCI International 2018, Las Vegas,NV,USA, July 2018/Ed. by Marcus A., Wang W..-Berlin.: Springer, 2018.-Vol. 10919.-689 p.-(Lecture Notes in Computer Science).
  52. Trends in Functional Programming: Revised Selected Papers/18th International Symposium, TFP 2017, Canterbury, UK, June 2017/Ed. by Wang M., Owens S..-Berlin.: Springer, 2018.-Vol. 10788.-149 p.-(Lecture Notes in Computer Science).
  53. Design, User Experience, and Usability: Users, Contexts and Case Studies, Part III: Proc./7th International Conference, DUXU 2018 Held as Part of HCI International 2018, Las Vegas,NV,USA, July 2018/Ed. by Marcus A., Wang W..-Berlin.: Springer, 2018.-Vol. 10920.-783 p.-(Lecture Notes in Computer Science).
  54. Transactions on Computational Collective Intelligence XXIX/Ed. by Nguyen N. T., Kowalczyk R..-Berlin.: Springer, 2018.-Vol. 10840.-201 p.-(Lecture Notes in Computer Science).
  55. Cross-Cultural Design: Methods, Tools. and Users, Part I: Proc./10th International Conference, CCD 2018 Held as Part of HCI International 2018, Las Vegas,NV,USA, July 2018/Ed. by Rau P.-L. P..-Berlin.: Springer, 2018.-Vol. 10911.-475 p.-(Lecture Notes in Computer Science).
  56. Social Information Access: Systems and Technologies/Ed. by Brusilovsky P., He D..-Berlin.: Springer, 2018.-Vol. 10100.-655 p.-(Lecture Notes in Computer Science).
  57. Cross-Cultural Design: Applications in Cultural Heritage, Creativity and Social Development, Part II: Proc./10th International Conference, CCD 2018 Held as Part of HCI International 2018, Las Vegas,NV,USA, July 2018/Ed. by Rau P.-L. P..-Berlin.: Springer, 2018.-Vol. 10912.-487 p.-(Lecture Notes in Computer Science).
  58. Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment. and Simulation, Part I: Proc./10th International Conference, VAMR 2018 Held as Part of HCI International 2018, Las Vegas,NV,USA, July 2018/Ed. by Chen J. Y., Fragomeni G..-Berlin.: Springer, 2018.-Vol. 10909.-479 p.-(Lecture Notes in Computer Science).
  59. Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry, Part II: Proc./10th International Conference, VAMR 2018 Held as Part of HCI International 2018, Las Vegas,NV,USA, July 2018/Ed. by Chen J.Y.C., Fragomeni G..-Berlin.: Springer, 2018.-Vol. 10910.-395 p.-(Lecture Notes in Computer Science).
  60. Digital Human Modeling: Applications in Health, Safety, Ergonomics, and Risk Management: Proc./9th International Conference, DHM 2018 Held as Part of HCI International 2018, Las Vegas,NV,USA, July 2018/Ed. by Duffy V. G..-Berlin.: Springer, 2018.-Vol. 10917.-659 p.-(Lecture Notes in Computer Science).
  61. Distributed, Ambient and Pervasive Interactions: Technologies and Contexts, Part II: Proc./6th International Conference, DAPI 2018 Held as Part of HCI International 2018, Las Vegas,NV,USA, July 2018/Ed. by Streitz N. A., Konomi S..-Berlin.: Springer, 2018.-Vol. 10922.-381 p.-(Lecture Notes in Computer Science).
  62. Learning and Collaboration Technologies: Design, Development and Technological Innovation, Part I: Proc./5th International Conference, LCT 2018 Held as Part of HCI International 2018, Las Vegas,NV,USA, July 2018/Ed. by Zaphiris P., Ioannou A..-Berlin.: Springer, 2018.-Vol. 10924.-497 p.-(Lecture Notes in Computer Science).
  63. Human Aspects of IT for the Aged Population: Applications in Health, Assistance, and Entertainment, Part II: Proc./4th International Conference, ITAP 2018 Held as Part of HCI International 2018, Las Vegas,NV,USA, July 2018/Ed. by Zhou J., Salvendy G..-Berlin.: Springer, 2018.-Vol. 10927.-589 p.-(Lecture Notes in Computer Science).