Полное описание
> Theoretical computer science : 6th IFIP TC 1/WG 2.2 international conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010: proceedings / SpringerLink (Online service) ; ed. C. S. Calude, V. Sassone. - Berlin ; Heidelberg : IFIP International Federation for Information Processing, 2010. - on-line. - (IFIP advances in information and communication technology, ISSN 1868-4238 ; 323). - URL: http://dx.doi.org/10.1007/978-3-642-15240-5. - ISBN 978-3-642-15240-5. - Текст : электронный.
| ГРНТИ | УДК | |
| 50.07 | 004-027.21(062) |
Кл.слова (ненормированные): ИНФОРМАТИКА ТЕОРЕТИЧЕСКАЯ -- КОНФЕРЕНЦИИ -- ТЕОРЕТИЧЕСКАЯ ИНФОРМАТИКА
Доп. точки доступа:
Calude, C.S.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-15240-5
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004-027.21(063)-447622)>
Шифр в сводном ЭК: 5e85abb14184cd2906b3c7276284c064
Developments in language theory / SpringerLink (Online service), 2004 r=on-line. - Текст : электронный.Theoretical computer science : 6th IFIP TC 1/WG 2.2 international conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010: proceedings / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный.Unconventional computation : 8th International conference, UC 2009, Ponta Delgada, Portugal, Sept. 7-11, 2009: proceedings / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Unconventional computation : 9th International conference, UC 2010, Tokyo, Japan, June 21-25, 2010: proceedings / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный.
Emerging challenges for security, privacy and trust / SpringerLink (Online service), 2009 r=on-line
History of nordic computing 2 : second IFIP WG 9.7 conference, HiNC2, Turku, Finland, Aug. 21-23, 2007: rev. sel. papers / ed. J. Impagliazzo, 2009 r=on-line. - Текст : электронный.Education and technology for a better world : 9th IFIP TC 3 world conference on computers in education, WCCE 2009, Bento Goncalves, Brazil, July 27-31, 2009: proceedings / ed. A. Tatnall, 2009 r=on-line. - Текст : электронный.The future of identity in the information society : 4th IFIP WG 9.2, 9.6/11.6, 11.7/FIDIS international summer school, Brno, Czech Republic, September 1-7, 2008: revised selected papers / ed. V. Matyas, 2009 r=on-line. - Текст : электронный.Software services for e-world : 10th IFIP WG 6.11 conference on e-business, e-services, and e-society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010: proceedings / ed. W. Cellary, 2010 r=on-line. - Текст : электронный.Intelligent information processing V : 6th IFIP TC 12 international conference, IIP 2010, Manchester, UK, October 13-16, 2010: proceedings / ed. Z. Shi, 2010 r=on-line. - Текст : электронный.Collaborative networks for a sustainable world : 11th IFIP WG 5.5 working conference on virtual enterprises, PRO-VE 2010, St. Etienne, France, October 11-13, 2010: proceedings / ed. L. M. Camarinha-Matos, 2010 r=on-line. - Текст : электронный.Advances in production management systems. new challenges, new approaches : IFIP WG 5.7 international conference, APMS 2009, Bordeaux, France, September 21-23, 2009: revised selected papers / ed. B. Vallespir, 2010 r=on-line. - Текст : электронный.Artificial intelligence applications and innovations : 6th IFIP WG 12.5 international conference, AIAI 2010, Larnaca, Cyprus, October 6-7, 2010: proceedings / ed. H. Papadopoulos, 2010 r=on-line. - Текст : электронный.Human work interaction design: usability in social, cultural and organizational contexts : second IFIP WG 13.6 conference, HWID 2009, Pune, India, October 7-8, 2009: revised selected papers / ed. D. Katre [et al.], 2010. - Текст : электронный.Human benefit through the diffusion of information systems design science research : IFIP WG 8.2/8.6 international working conference, Perth, Australia, March 30 – April 1, 2010: proceedings / ed. J. Pries-Heje [et al.], 2010. - Текст : электронный.Papers presented at the 2nd conference on cellular automata for research and industry held in Milan, 16-18 Oct.1996 / ACRI, 1999. - 172 p. - Текст : непосредственный.Linear logic I : Meeting, Tokyo, Mar.28- Apr.2, 1996 / Ed. J.-Y. Girard, 1999. - 386 p. - Текст : непосредственный.Moore T. Critical infrastructure protection iv : fourth annual IFIP WG 11.10 International conference on critical infrastructure protection, ICCIP 2010, Washington, DC, USA, March 15-17, 2010: revised selected papers / eds.: T. Moore, S. Shenoi, 2010 r=on-line. - Текст : электронный.Policies and research in identity management : second IFIP WG 11.6 working conference, IDMAN 2010, Oslo, Norway, November 18-19, 2010: proceedings / ed. E. Leeuw [et al], 2010 r=on-line. - Текст : электронный.Advances in digital forensics vi : sixth IFIP WG 11.9 International conference on digital forensics, Hong Kong, China, January 4-6, 2010: revised selected papers / eds.: K. Chow, S. Shenoi, 2010 r=on-line. - Текст : электронный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
![]() | ![]() |
| Лицевая сторона карточки | Обратная сторона карточки |
![]() | ![]() |
Helrich C.S. Modern thermodynamics with statistical mechanics / C. S. Helrich, 2009. - XIII, 402 p. - Текст : непосредственный.On the move to meaningful internet systems: OTM 2008 / David. Hutchison, Gerhard. Weikum, Demetri. Terzopoulos [et al.] ; ed. R. Meersman, 2008 r=on-line.Wechsler H. Reliable face recognition methods / H. Wechsler, 2007 r=on-line. - Текст : электронный.Golbeck J. Computing with social trust / J. Golbeck ; ed. J. Golbeck, 2009 r=on-line. - Текст : электронный.(Re)Searching the digital bauhaus / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Dong A. The language of design / A. Dong, 2009 r=on-line. - Текст : электронный.Seffah A. Adoption-centric usability engineering / A. Seffah, E. Metzker, 2009 r=on-line. - Текст : электронный.Takuma T. Electric fields in composite dielectrics and their applications / T. Takuma, B. Techaumnat, 2010. - XIII, 176 p. - Текст : непосредственный.Teschl G. Mathematik fur Informatiker / G. Teschl, S. Teschl, 2007 r=on-line. - Текст : электронный.Wagner M.H. Wegweiser fur den Erfinder / M. H. Wagner, W. Thieler, 2007 r=on-line. - Текст : электронный.Conrads U. Zeit des Labyrinths / U. Conrads, 2007 r=on-line.Isermann R. Mechatronische Systeme / R. Isermann, 2008 r=on-line. - Текст : электронный.Walter T. Kompendium der Web-Programmierung / T. Walter, 2008 r=on-line. - Текст : электронный.Reimers U. DVB — Digitale Fernsehtechnik / U. Reimers, 2008 r=on-line. - Текст : электронный.Ponn J. Konzeptentwicklung und Gestaltung technischer Produkte / J. Ponn, U. Lindemann, 2008 r=on-line. - Текст : электронный.Orlowski P.F. Praktische Regeltechnik / P. F. Orlowski, 2008 r=on-line. - Текст : электронный.Lunze J. Regelungstechnik 1 / J. Lunze, 2008 r=on-line. - Текст : электронный.Fetzer A. Mathematik 1 / A. Fetzer, H. Frankel, 2008 r=on-line. - Текст : электронный.Thies K.H. Management operationaler IT- und Prozess-Risiken / K. H. Thies, 2008 r=on-line. - Текст : электронный.Weigand B. Thermodynamik kompakt / B. Weigand, J. Kohler, J. von Wolfersdorf, 2008 r=on-line. - Текст : электронный.
Показать все результатыФедотов И. Е. Квантовые алгоритмы и симуляция квантовых вычислений : выставочные материалы / И. Е. Федотов, 2012. - 110 с. - Текст : непосредственный.Theoretical aspects of computing - ICTAC 2006 / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.FSTTCS 2005: foundations of software technology and theoretical computer science / SpringerLink (Online service), 2005 r=on-lineGraph-theoretic concepts in computer science / SpringerLink (Online service), 2005 r=on-lineComputational science and high performance computing III / SpringerLink (Online service), 2008 r=on-lineАндреев Н.Е. Исследование и реализация эффективных методов анализа производительности параллельных программ / Н. Е. Андреев, 2011. - 18 с. - Текст : непосредственный.STOC/FOCS bibliography : материалы временных коллективов / Ed. D. S. Johnson, 1991. - 313 p. - Текст : непосредственный.Микони С.В. Общие диагностические базы знаний вычислительных систем / С. В. Микони, 1992. - 236 c. - Текст : непосредственный.Computational logic : сборник научных трудов / Ed. J. W. Lloyd, 1990. - 211 p. - Текст : непосредственный.Епифанов А.Ф. Функциональное диагностирование процессорных блоков по схемам алгоритмов : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / А. Ф. Епифанов, 1992. - 14 с. - Текст : непосредственный.Computational logic and proof theory : сборник научных трудов / Ed. G. Gottlob, 1993. - XI,348 p. p. - Текст : непосредственный.Software and System Modeling. - выходит с 2002г. - Текст : электронный.Fundamentals of computation theory : материалы временных коллективов / Ред.Ed. L. Budach, 1991. - XII, 426 p. 426 p. - Текст : непосредственный.Journal Computer Science Technology. - Журнал. - Текст : непосредственный. Category theory and computer science : сборник научных трудов / Ed. D. H. Pitt, 1989. - VI,365 p. p. - Текст : непосредственный.Паршин Д.Я. Математические основы электротехники и автоматики : выставочные материалы / Д. Я. Паршин, 2013. - 135 с. - Текст : непосредственный.Теоретические вопросы вычислительной техники и программного обеспечения : сборник научных трудов / Московский ин-т радиотехники, электроники и автоматики, 2003. - 223 с. - Текст : непосредственный.Данилин Н.С. Руководство по поиску неисправностей и ремонту компьютеров IBM PC / Н. С. Данилин, В. П. Улитенко, А. А. Крипак, 1992. - 256 с. - Текст : непосредственный.Пивоварчик А.А. Математическое программирование : выставочные материалы / А. А. Пивоварчик, 1997. - 300 с. - Текст : непосредственный.Concurrency. - Журнал, 1995г. 7 № 3.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
Просмотр издания



