Публикации ученых ННЦ СО РАН на иностранных языках – Институт систем информатики
Навигация

Публикации ученых ННЦ на иностранных языках  Публикации ученых Новосибирского научного центра
  на иностранных языках (в хронологическом порядке)
ИА ИАЭ ИВМиМГ ИВТ ИГ ИГГ ИГМ ИК ИЛФ ИМ ИМКБ ИНГГ ИНХ
ИОХ ИСИ ИТПМ ИТФ ИФП ИХБФМ ИХКиГ ИХТТМ ИЦГ ИЭиОПП ИЯФ ЦСБС

Институт систем информатики
 
Книга• 1995 •  Parallel Computing Technologies: Proceedings 3rd Intern. conf., PaCT-95, St.Peterburg, Russia, Sept. 12-25, 1995 / Ed. V.Malyshkin. - Berlin; Heidelberg; New York: Springer-Verlag, 1995. - 495 p. - (Lecture Notes in Computer Science; Vol.964).Книга• 1997 •  Parallel Computing Technologies: Proceedings 4th Intern. conf., PaCT-97, Yaroslavl, Russia, Sept. 8-12, 1997 / Ed. V.Malyshkin. - Berlin; Heidelberg; New York: Springer-Verlag, 1997. - 454 p. - (Lecture Notes in Computer Science; Vol.1277).
 
Книга• 2007 •  Perspectives of Systems Informatics: 6th Intern. Andrei Ershov Memorial conf., PSI 2006, Novosibirsk, Russia, June 27-30, 2006: revised papers. - Berlin; New York: Springer, 2007. - 496 p. - (Lecture Notes in Computer Science; Vol.4378). - Contents: Satisfiability of Viability Constraints for Pfaffian Dynamics / Korovina M., Vorobjov N. - P.260-269; Well-Structured Model Checking of Multiagent Systems / Shilov N.V., Garanina N.O. - P.363-376; Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction / Dubtsov. R.S. - P.443-450; A Fully dynamic algorithm for recognizing and representing chordal graphs / Tursunbay kyzy. Yr. - P.481-486; A Knowledge Portal for Cultural Information Resources: Towards an Architecture / Zagorulko Y., Jawed Siddiqi, Babak Akhgar, Borovikova O. - P.487-494.
 
Книга• 2008 •  Encyclopedia of Artificial Intelligence. - IGI Publishing Hershey, 2008. - 1780 p. - Contents: Modal Logics for Reasoning about Multiagent Systems / N.V.Shilov and N.Garanina. - P. 1089-1094.
 
Книга• 2009 •  Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009: revised papers / Ed. A.Pnueli, I.Virbitskaite, A.Voronkov. - Berlin; New York: Springer, 2009. - 426 p. - (Lecture Notes in Computer Science; Vol.5947). - Contents: Two-Level Approach for Modeling and Verification of Telecommunication Systems / Beloglazov D., Nepomniaschy V.A. - P.70-85; ΣK-constraints for Hybrid Systems / Korovina М., Kudinov O. - P. 230-241.
 
Книга• 2011 •  Preliminary Proceedings of the Ershov Informatics Conference PSI Series. -
8-th Edition (June 27 - July 1, 2011, Novosibirsk). - Novosibirsk, 2011. - Contents: Probabilistic Concepts in Formal Contexts / Demin A., Ponomarev D., Vityaev E. - P.29-38; Reachability in one-dimensional controlled polynomial dynamical systems / Korovina M., Vorobjov N. - P.137-143; Timed Transition Systems with Independence and Marked Scott Domains / Dubtsov R. - P.210-215; A Logic Characteristic For Timed Extensions of Partial Order Based Equivalences / Gribovskaya N. - P.216-222; Performance analysis of the dining philosophers system in dtsPBC / Tarasyuk I.V. - P.309-321.
 
Книга• 2011 •  Knowledge Processing and Data Analysis: First Intern. conf., KONT 2007, Novosibirsk, Russia, Sept. 14-16, 2007, and First Intern. conf., KPP 2007, Darmstadt, Germany, Sept. 28-30, 2007: revised selected papers / Ed. K.E.Wolf, D.E.Palchunov, N.G.Zagoruiko. - Berlin; Heidelberg: Springer, 2011. - 320 p. -(Lecture Notes in Artificial Intelligence; Vol.6581). - Contents: Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems / Shilov N.V., Garanina N.O. - P.48-58; Technology of Ontology Building for Knowledge Portals on Humanities / Zagorulko Y., Borovikova O. - P.203-216; Methods and Technologies of Digital Historical Factography / A.Marchuk. - P.217-231.
 
Книга• 2011 •  Perspectives on Soviet and Russian Computing: First IFIP WG 9.7: Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006: revised selected papers / Ed. J.Impagliazzo, and E.Proydakov. - Berlin, Heidelberg: Springer, 2011. - 274 p. - (IFIP Advances in Information and Communication Technology; Vol. 357) - Contents: The START Project / Marchuk A.G. - P.126-133; The MRAMOR Workstation / Baehrs A.A. - P.134-141; Novosibirsk Young Programmers' School: A Way to Success and Future Development / Marchuk A.G., Gorodnyaya L.V. - P.228-234.
 
Книга• 2012 •  Perspectives of System Informatics: 8th International Ershov Informatics Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011: revised selected papers. - Heidelberg: Springer, 2012. - 412 p. - (Lecture Notes in Computer Science; Vol.7162). - Contents: Compositional methods in characterization of timed event Structures / Bozhenkova E.N. - P.68-76; Timed Transition Systems with Independence and Marked Scott Domains / Dubtsov R. - P.86-94; Exponential Acceleration of Model Checking for Perfect Recall Systems / Garanina N. - P.111-124; A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences / Gribovskaya N. - P.142-149; Reachability in one-dimensional controlled polynomial dynamical systems / Korovina M., Vorobjov N. - P.251-261; Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems / Petrov E. - P.302-312; Development of the Computer Language Classification Portal / Shilov N.V., Akinin A.A., Zubkov A.V., Idrisov R.I. - P.340-348.
 
Книга• 2012 •  Tarasyuk I.V. Applying stochastic equivalence to performance evaluation in dtsiPBC / Tarasyuk I.V., Macia H., Valero V.; Department of Computer Systems, High School of Computer Science Engineering, University of Castilla-La Mancha, Albacete, Spain, October 2012. - 62 p. - (Technical Report; DIAB-12-10-2)

Публикации на иностранных языкахВверх | ПредисловиеВыставку готовили К.И.Елкина, О.И.Фесенко, С.К.Канн  
[О библиотеке | Академгородок | Новости | Выставки | Ресурсы | Библиография | Партнеры | ИнфоЛоция | Поиск]
  Пожелания и письма: branch@gpntbsib.ru
© 1997-2024 Отделение ГПНТБ СО РАН (Новосибирск)
Статистика доступов: архив | текущая статистика
 

Документ изменен: Wed Feb 27 14:30:40 2019. Размер: 11,465 bytes.
Посещение N 5299 с 21.03.2002