Приложение
для AndroidПолное описание
Computer science logic : CSL 2000 : 14th workshop, Annu.conf.of EACSL, Fischbachau, Aug.21-26, 2000: Proc. / EACSL ; European association for computer science logic. - berlin [etc.] : Springer, 2000. - 541 p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; vol.1862). - ISBN 3-540-67895-6. - Текст : непосредственный.
Библиогр.в конце ст.
| ГРНТИ | УДК | |
| 50.07 | 510.285(063) |
Рубрики:
Математическая логика -- Применение в вычислительной технике -- Съезды и конференции
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп. точки доступа:
Clote, P.G.\ed.\
Schwichtenberg, H.\ed.\
European association for computer science logic
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/9132/1862)
Шифр в сводном ЭК: 0bf50fcc6856e03c7f7f5de6eeceab97
Logic of computation : Proc.of the NATO Advanced study inst.on logic of computation, held in Marktoberdorf, Germany,July 25-Aug.6,1995 / Ed. H. Schwichtenberg, 1997. - VI,394,/8/ p. p. - Текст : непосредственный.Prof and computation : Proc.of the NATO advanced study inst.on Prof and computation,Marktoberdorf,July 20-Aug 1,1993 / Ed. H. Schwichtenberg, 1995. - 470 p. - Текст : непосредственный.Proof and system-reliability : Proc .of the NATO ASI 24, July- 5 Aug., Marktoberdorf / Ed.: H. Schwichtenberg, R. Steinbruggen, 2002. - XII, 415 p 415 p. - Текст : непосредственный.Computer science logic : 14th workshop, Annu.conf.of EACSL, Fischbachau, Aug.21-26, 2000: Proc. / EACSL, 2000. - 541 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.
Показать все результатыФедотов И. Е. Квантовые алгоритмы и симуляция квантовых вычислений : выставочные материалы / И. Е. Федотов, 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.
Показать все результатыComputational logic : сборник научных трудов / Ed. J. W. Lloyd, 1990. - 211 p. - Текст : непосредственный.Computational logic and proof theory : сборник научных трудов / Ed. G. Gottlob, 1993. - XI,348 p. p. - Текст : непосредственный.Computer science logic : материалы временных коллективов / Ed. E. Borger, 1991. - VIII,399 p. p. - Текст : непосредственный.
Computer science logic : 7th workshop,CSL'93,Swansea,United Kingdom,Sept.13-17 1993:Sel.papers / CSL'93, 1994. - VIII,336 p. p. - Текст : непосредственный.Logic of computation : Proc.of the NATO Advanced study inst.on logic of computation, held in Marktoberdorf, Germany,July 25-Aug.6,1995 / Ed. H. Schwichtenberg, 1997. - VI,394,/8/ p. p. - Текст : непосредственный.Deontic logic in computer science : 10th International сonference, DEON 2010, Fiesole, Italy, July 7-9, 2010: proceedings / eds. G. Governatori, G. Sartor, 2010 r=on-line. - Текст : электронный.Proceedings of the 5th symposium on logic in computer science,June 1990,Philadelphia, Pa : Mfiche (10) / Symposium on logic in computer science (5 ; 1990 ; Philadelphia, Pa) , 1990. - 509 мкфш. - Текст : непосредственный.Symposium on logic in computer science : Proc., June 16-18 1986,Cambridge(Ma) / Symposium on logic in computer science (1986 ; Cambridge(Ma)) , 1986. - 383 p. - Текст : непосредственный.Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007: proceedings / ed. S. Artemov, 2007 r=on-line. - Текст : электронный.Typed lambda calculi and applications : 8th International conference,TLCA 2007, Paris, France,June 26-28, 2007: proceedings / ed. S. Rocca, 2007 r=on-line. - Текст : электронный.Logic, language, information and computation : 14th International workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007: proceedings / ed. D. Leivant, 2007 r=on-line. - Текст : электронный.Deontic logic in computer science : 9th International conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008: proceedings / ed. J. Carbonell, 2008 r=on-line. - Текст : электронный.Computer science logic : 22nd International workshop, CSL 2008, 17th Annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008: proceedings / ed.: M. Kaminski, S. Martini, 2008 r=on-line. - Текст : электронный.Logical foundations of computer science : international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009: proceedings / eds. S. Artemov, A. Nerode, 2009 r=on-line. - Текст : электронный.Logic at botik'89 : Symp.on logical foundations of computer science Pereslavl-Zalessky, July 3-8, 1989Proc. / сост.ed. A. R. Meyer, сост.ed. М. А. Тайцлин, 1989. - X,289 p. p. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽