Приложение
для AndroidПолное описание
Lecture notes in computer science : материалы временных коллективов / ed. G. Goos [et al.]. - Berlin [etc.] : Springer, 19 - . - ISSN 0302-9743. - Текст : непосредственный.
7201 : Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 16th intern. GI/ITG conf. MMB & DFT 2012, Kaiserslautern, Germany, Mar. 19-21, 2012: proc. / International GI/ITG conference on measurement, modelling, and evaluation of computing systems and dependability and fault tolerance (16; 2012; Kaiserslautern) ; ed. J. B. Schmitt. - 2012. - XIII, 331p. : ill. - Библиогр. в конце докл. Указ.: с. 331 . 331. - ISBN 978-3-642-28539-4
| ГРНТИ | УДК | |
| 50.39 | 004.7.052(063) |
Рубрики:
Вычислительные системы -- Надежность -- Съезды и конференции
Доп. точки доступа:
Goos, G.\ed.\
Schmitt, J. B.\ed.\
International GI/ITG conference on measurement, modelling, and evaluation of computing systems and dependability and fault tolerance (16 ; 2012 ; Kaiserslautern)
Копия:
Нет сведений об экземплярах
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/9132/7201)
Шифр в сводном ЭК: 7dcb0ff34064bc2d0a0f921bc9af910c
Lecture notes in computer science / ed. G. Goos [et al.]. 7333 : Computational science and its applications - ICCSA 2012 : 12th intern. conf., Salvador de Bahia, Brazil, Jun. 18-21, 2012: proc., pt. I Pt. 1 / International conference on computational science and its applications (12; 2012; Salvador de Bahia), 2012. - XXXIX, 759 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7431 : Advances in visual computing : 8th intern. symp., ISVC 2012, Rethymnon, Crete, Greece, Jyl. 16-18, 2012, rev. sel. papers, pt. IPt. 1 / International symposium on visual computing (8; 2012; Rethymnon), 2012. - XXXVII, 733 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7324 : Image analysis and recognition : 9th intern. conf., ICIAR 2012, Aveiro, Portugal, Jun. 25-27, 2012: proc., pt. IPt. 1 / Iternational conference on image analysis and recognition (9; 2012; Aveiro), 2012. - XXIV, 440 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7612 : Computer safety, reliability, and security : 31st intern. conf., SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012: proc. / International conference on computer safety, reliability, and security (31; 2012; Magdeburg), 2012. - XVIII, 402 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7336 : Computational science and its applications - ICCSA 2012 : 12th intern. conf., Salvador de Bahia, Brazil, Jun. 18-21, 2012: proc., pt. IVPt. 4 / International conference on computational science and its applications (12; 2012; Salvador de Bahia), 2012. - XXI, 661 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7578 : Computer vision - ECCV 2012 : 12th Europ. conf. on computer vision, Florence, Italy, Oct. 7-13, 2012: proc., pt. VIIPt. 7 / European conference on computer vision (12; 2012; Florence), 2012. - XXI, 490 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7562 : Graph transformations : 6th intern. conf., ICGT 2012, Bremen, Germany, Sept. 24-29, 2012: proc. / International conference on graph transformation (6; 2012; Bremen), 2012. - XI, 427 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7192 : Passive and active measurement : 13th intern. conf., PAM 2012, Vienna, Austria, Mar. 12-14, 2012: proc. / International conference of the passive and active measurement (13; 2012; Vienna), 2012. - XI, 264 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 6927 : Computer aided systems theory - EUROCAST 2011 : 13th intern. conf., Las Palmas de Gran Canaria, Spain, Febr. 6-11, 2011: rev. sel. papers, pt. IPt. 1 / International conference on computer aided systems theory - EUROCAST 2011 (13; 2011; Las Palmas de Gran Canaria), 2012. - XXV, 637 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 6799 : Resource discovery : 3rd intern. workshop, RED 2010, Paris, France, Nov. 5, 2010: rev. sel. papers / International workshop on resource discovery (3; 2010; Paris), 2012. - VIII, 191 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7213 : Foundations of software science and computational structures : 15th intern. conf., FOSSACS 2012, held as pt. of the Europ. joint conf. on theory and practice of software, ETAPS 2012, Tallinn, Estonia, Mar. 24-Apr. 1, 2012: proc. / European joint conferences on theory and practice of software (15; 2012; Tallinn), 2012. - XVII, 484 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7290 : NETWORKING 2012 : 11th intern. IFIP TC 6 networking conf., Prague, Czech Rep., May 21-25, 2012: proc., pt. IIPt. 2 / International IFIP TC 6 networking conference (11; 2012; Prague), 2012. - XXI, 421 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7039 : Open problems in network security : IFIP WG 11.4 intern. workshop, iNetSec 2011, Lucerne, Switzerland, Jun. 9, 2011: rev. sel. papers / International workshop on open problems in network security (2011; Lucerne), 2012. - VIII, 161 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7190 : Transactions on computational collective intelligence VIVol. 6 / ed. N. T. Nguyen, 2012. - 221 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7100 : Transactions on large-scale data- and knowledge-centered systems V 5 / ed. A. Hameurlain [et al.], 2012. - VI, 223 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7481 : Business process management : 10th intern. conf., BPM 2012, Tallinn, Estonia, Sept. 2012: proc. / International conference on business process management (10; 2012; Tallinn), 2012. - XV, 354 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7201 : Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 16th intern. GI/ITG conf. MMB & DFT 2012, Kaiserslautern, Germany, Mar. 19-21, 2012: proc. / International GI/ITG conference on measurement, modelling, and evaluation of computing systems and dependability and fault tolerance (16; 2012; Kaiserslautern), 2012. - XIII, 331p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7309 : Computational topology in image context : 4th intern. workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012: proc. / International workshop on computational topology in image context (4; 2012; Bertinoro), 2012. - X, 157 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7316 : Abstract state machines, alloy, D, VDM, and Z : third intern. conf., ABZ 2012, Pisa, Italy, Jun., 2012: proc. / International conference on abstract state machines, alloy, B, VDM, and Z (3; 2012; Pisa); International conference on integrated formal methods (9; 2012; Pisa), 2012. - XV, 378 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7462 : Research in attasks, intrusions, and defenses : 15th intern. symp., RAID 2012, Amsterdam, the Netherlands, Sept. 12-14, 2012: proc. / International symposium on research in attacks, intrusions, and defenses (15; 2012; Amsterdam), 2012. - XIII, 400 p. - Текст : непосредственный.
Показать все результатыComputer vision and graphics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Pattern recognition and image analysis / D. Hutchison, J. C. Mitchell, F. Mattern [et al.], 2009 r=on-line. - Текст : электронный.Multiple classifier systems / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Combinatorial pattern matching / D. Hutchison, D. Terzopoulos, M. Sudan [et al.], 2009 r=on-line. - Текст : электронный.Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Artificial neural networks - ICANN 2008 / SpringerLink (Online service), 2008 r=on-line.Component-based software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Comparative genomics / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Formal methods and software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Research in cryptology / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Post-quantum cryptography / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Hybrid metaheuristics / SpringerLink (Online service), 2008 r=on-line.Wireless algorithms, systems, and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Semantics in data and knowledge bases / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Computer vision - ECCV 2008 / SpringerLink (Online service), 2008 r=on-line.Computer vision -ECCV 2008 / SpringerLink (Online service), 2008 r=on-line.On the move to meaningful internet systems: OTM 2008 / David. Hutchison, Gerhard. Weikum, Demetri. Terzopoulos [et al.] ; ed. R. Meersman, 2008 r=on-line.
Показать все результатыСети.Рынок телекоммуникаций : Журн.по компьютерным сетям и телекоммуникационным технологиям. - Журнал выходит с 1989г. - Текст : непосредственный.Шиндялов С.А. Принятие решений в планировании и управлении корпоративными сетями интерактивными методами имитационного моделирования : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. А. Шиндялов, 2001. - 11 c. - Текст : непосредственный.Додонов А.Г. Введение в теорию живучести вычислительных систем / А. Г. Додонов, М. Г. Кузнецова, Е. С. Горбачик, 1990. - 181 c. - Текст : непосредственный.Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Коваленко В.Н. Комплексное программное обеспечение грида вычислительного типа / В. Н. Коваленко, 2007. - 39 с. - Текст : непосредственный.Patterson D. A. Computer organization and design. The hardware/ Software interface / D. A. Patterson, J. L. Hennessy, 2012. - XXV, 703 pag. var. p. - Текст : непосредственный.Морозов И. А. Математическое и программное обеспечение диспетчеризации беспроводных распределенных компьютерных систем / И. А. Морозов, 2007. - 20 с. - Текст : непосредственный.Lecture notes in electrical engineering. Vol. 34 : Designing reliable and efficient networks on chips / S. Murali, 2009. - X, 198 p. - Текст : непосредственный.Поленов М.Ю. Разработка инструментальных средств проектирования, исследования и оптимизации проблемно-ориентированных вычислительных систем : специальность 05.13.13 "", 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / М. Ю. Поленов, 1995. - 16 с. - Текст : непосредственный.Ермаков А.А. Комплексное обеспечение надежности кластерных систем на основе математического моделирования / А. А. Ермаков, 2008. - 24 с. - Текст : непосредственный.Труды Института системного анализа Российской академии наук. Т. 14 : Проблемы вычислений в распределенной среде. Модели обработки и представления данных. Динамические системы : сб. статей / Под ед. С.В. Емельянова, А.П. Афанасьева, 2005. - 222 с. - Текст : непосредственный.Поляков А.Ю. Разработка и исследование средств отказоустойчивости распределенных вычислительных систем / А. Ю. Поляков, 2010. - 19 с. - Текст : непосредственный.Захаров В.Н. Программные методы и средства обеспечения отказоустойчивости в распределенных системах : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени д-ра техн. наук / В. Н. Захаров, 2011. - 41 с. - Текст : непосредственный.Чернова Т.А. Научные основы информационного обеспечения сложных объектов при оптимизации режимов их функционирования в распределенной вычислительной среде : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : диссертация на соискание ученой степени д-ра техн. наук / Т. А. Чернова, 2011. - 26 с. - Текст : непосредственный.Working implementation agreements for open systems interconnection protocols / Ed.:F.E.Boland. Vol. 3,N 1 : Based on the proceedings of the March 1990 National institute of standards and technology OSI implementor's workshop, 1991. - XXVIII,pag.var. - Текст : непосредственный.Working implementation agreements for open systems interconnection protocols / Ed.:F.E.Boland. Vol. 3,N 2 : Based on the proceedings of the June National institute of standards and technology OSI implementor's workshop, 1991. - Pag.var. - Текст : непосредственный.Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Пирогов В.В. Исследование применимости генетических алгоритмов в автоматизированном проектировании вычислительных сетей и в задачах размещения : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : автореферат диссертации на соискание ученой степени канд.техн.наук / В. В. Пирогов, 2000. - 23 с. - Текст : непосредственный.Хьюс Д.Ф. Переход к сетям NetWare 4.1 / Д. Ф. Хьюс, Б. В. Томас, 1996. - 417 с. - Текст : непосредственный.Online Information Review : The International Journal of Digital Information Research and Use. - Журнал выходит с 1976г. r=on-line. - Текст : электронный.
Показать все результатыLecture notes in computer science / ed. G. Goos [et al.]. 7201 : Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 16th intern. GI/ITG conf. MMB & DFT 2012, Kaiserslautern, Germany, Mar. 19-21, 2012: proc. / International GI/ITG conference on measurement, modelling, and evaluation of computing systems and dependability and fault tolerance (16; 2012; Kaiserslautern), 2012. - XIII, 331p. - Текст : непосредственный.
Dependable computing for critical applications 2 : 2nd intern.working conf.on dependable computing for critical applications,held in Tucson(Az) on Febr.18-20,1991 / Ed.: J. F. Meyer, R. D. Schlichting, 1992. - XIII,437 p. p. - Текст : непосредственный.Trustworthy global computing : second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006: revised selected papers / ed. U. Montanari [et al.], 2007 r=on-line. - Текст : электронный.Lecture notes in computer science / ed. G. Goos [et al.]. 6542 : Engineering secure software and systems : third intern. symp., ESSoS 2011, Madrid, Spain, Febr. 9-10, 2011: proc. / International symposium on engineering secure software and systems (3; 2011; Madrid), 2011. - XI, 273 p. - Текст : непосредственный.Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007: revised selected papers / eds. G. Barthe, C. Fournet, 2008 r=on-line. - Текст : электронный.Engineering secure software and systems : first international symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009: proceedings / ed. F. Massacci [et al.], 2009 r=on-line. - Текст : электронный.New results in dependability and computer systems : proc. of the 8th intern. conf. on dependability and complex systems DepCoS-RELCOMEX, Sept. 9-13, 2013, Brunów, Poland / International conference on dependability and complex systems DepCoS-RELCOMEX (8; 2013; Brunow), 2013 r=on-line. - Текст : электронный.Trustworthy global computing : 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008: revised selected papers / eds. D. Hutchison [et al.], 2009 r=on-line. - Текст : электронный.Formal methods for trustworthy computer systems(FM 89) : Rep.from FM 89A workshop on the assessment of formal methods for trustworthy computer systems, July 23-27, 1989, Halifax / сост.ed. D. Craigen, 1990. - VI,248 p. p. - Текст : непосредственный.Dependability of critical computer systems : Guidelines prooduced by the European workshop on industrial computer systems techn.comm. / EWICS TC7;Ed.:F.J.Redmill. 2, 1989. - XV, 286 p. 286 p. - Текст : непосредственный.Dependability of critical computer systems : Guidelines prooduced by the European workshop on industrial computer systems techn.comm. / EWICS TC7;Ed.:F.J.Redmill. 3 : Tchniques directory, 1990. - XIII,249 p. p. - Текст : непосредственный.Надежность ЭВМ (аппаратуры и программного обеспечения), вычислительных сетей в процессе их разработки и эксплуатации : Материалы краткосроч. семинара, 25-26 сент. / Ленинградский дом науч.-технической пропаганды, 1990. - 87 с. - Текст : непосредственный.Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005: revised selected papers / SpringerLink (Online service), 2005 r=on-lineProceedings: 2001 pacific rim international symposium on dependable computing, 17-19 Dec., 2001, Seoul, Korea / Spons. by IEEE computer soc. techn. comm. on fault-tolerant computing Sungkyunkwan univ., Korea, 2001. - XIV,384 p. p. - Текст : непосредственный.Proceedings of the sixth IEEE International symposium on high assurance systems engineering, 22-24 Oct.2001, Boca Raton(Fl.),USA / HASE 2001, 2001. - X,237 p. p. - Текст : непосредственный.Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 15th international GI/ITG conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010: proceedings / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный.Trust and trustworthy computing : 3rd International conference, TRUST 2010, Berlin, Germany, June 21-23, 2010: proceedings / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽