ГПНТБ России - Полное описание

Государственная публичная
научно-техническая библиотека России

Основана в 1958 году

Полное описание

CONCUR 2000 - Concurrency theory : 11th Intern. conf., University Park(Pa), Aug.22-25, 2000Proc. / Ed. C. Palamidessi. - Berlin [etc.] : Springer, 2000. - XI,612 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n1877). - ISBN 3-540-67897-2. - Текст : непосредственный.
Библиогр. в конце ст. Указ.: с.611-612

ГРНТИ	УДК
50.33.03	004.272.2(063)

Рубрики:
Параллельные вычисления -- Съезды и конференции

Кл.слова (ненормированные): ПАРАЛЛЕЛЬНОЕ ВЫЧИСЛЕНИЕ
Доп. точки доступа:
Palamidessi, C.\ed.\

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/9132/1877)

Шифр в сводном ЭК: f6c371370831a769ce0d6847fb3870f5

Boer F.S.de Embedding as a tool for language comparison / F. S.de Boer, C. Palamidessi, 1991. - 20 p. - Текст : непосредственный.failure of failures in a paradigm for asynchronous communication / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.M.Rutten, 1991. - 19 p. - Текст : непосредственный.Control flow versus logic: a denotational and a declarative model for quarded Horn clauses / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.Rutten, 1989. - 15 p. - Текст : непосредственный.Semantic models for a version of Parlog / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.Rutten, 1989. - 30 p. - Текст : непосредственный.Report:Computer science / CWI. CS-R9216 : theory of first-order builtin's of prolog / K.R.Apt,E.Marchiori,C.Palamidessi, 1992. - 15 p. - Текст : непосредственный.CONCUR 2000 - Concurrency theory : 11th Intern. conf., University Park(Pa), Aug.22-25, 2000Proc. / Ed. C. Palamidessi, 2000. - XI,612 p. p. - Текст : непосредственный.Apt K.R. A declarative approach for first-order built-in's of Prolog / K.R.Apt,E.Marchiori,C.Palamidessi, 1992. - 45 p. - Текст : непосредственный.Boer F.S. de fully abstract model for concurrent logic languages / F.S. de Boer,C.Palamidessi, 1990. - 24 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.

Показать все результаты

Гливенко Е.В. Параллельный процессор первичной обработки информации / Е. В. Гливенко, 1992. - 105 с. - Текст : непосредственный.Green S. Parallel processing for computer graphics / S. Green, 1991. - 233 p. - Текст : непосредственный.Tutorial : материалы временных коллективов / Ред.Compl. D. D. Gajski, 1987. - IX,593 p. p. - Текст : непосредственный.Patterson D. A. Computer organization and design. The hardware/ Software interface / D. A. Patterson, J. L. Hennessy, 2012. - XXV, 703 pag. var. p. - Текст : непосредственный.Фрумкин М.А. Систолические вычисления / М. А. Фрумкин ; ред. Ю. Г. Дадаев, 1990. - 191 c. - Текст : непосредственный.Захарова Ю. Ф. Архитектура ЭВМ : Учеб. пособие. Ч. 2,3, 2007. - 112 с. - Текст : непосредственный.Жмакин А.П. Архитектура ЭВМ : учебное пособие / А. П. Жмакин, 2010. - 344 с. - Текст : непосредственный.Digital image processing: techniques and applications, 1994. - XI,386 p. p. - Текст : непосредственный.Мищенко В.К. Архитектура высокопроизводительных вычислительных систем : учеб. пособие. Ч. 1, 2013. - 39 с. - Текст : непосредственный.MeikUS 92 : материалы временных коллективов / Ed.: A. Grant, P. Dew, 1993. - 78 p. - Текст : непосредственный.Таненбаум Э. Архитектура компьютера / Э. Таненбаум, Т. Остин ; Пер. Е. Матвеев, 2015. - 811 с. - Текст : непосредственный.Коуги П.М. Архитектура конвейерных ЭВМ / П. М. Коуги ; Пер. Ф. В. Широков ; Ред. Б. А. Головкин, 1985. - 356 с. - Текст : непосредственный.Стащук П.В. Архитектура ЭВМ уровня цифровых автоматов : выставочные материалы / П. В. Стащук, 2016. - 138 с. - Текст : непосредственный.Левин И.И. Методы и программно-аппаратные средства параллельных структурно-процедурных вычислений : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей", 05.13.15 "Вычислительные машины, комплексы и компьютерные сети" : диссертация на соискание ученой степени д-ра техн. наук / И. И. Левин, 2004. - 38 с. - Текст : непосредственный.IBM Systems Journal / IBM. - Журнал выходит с 1962г. - Текст : непосредственный.Ячейка однородной вычислительной среды с потоком команд : методический материал / "Интеграл", науч.-технический центр по высокопроизводительным вычислительным системам (Львов), 1989. - 29 с. - Текст : непосредственный.Архитектура ЭВМ и организация вычислительных процессов : сборник / Ред. С. В. Емельянов, 1991. - 135 с. - Текст : непосредственный.Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный.Glabbeek R.J. van linear time - branching time spectrum / R.J. van Glabbeek, 1990. - 30 p. - Текст : непосредственный.Седухин С.Г. Проектирование оптимальных систолических систем для произведения матриц различной структуры / С. Г. Седухин, Г. З. Карапетян, 1990. - 44 с. - Текст : непосредственный.

Показать все результаты

Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Languages and compilers for parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.MeikUS 92 : материалы временных коллективов / Ed.: A. Grant, P. Dew, 1993. - 78 p. - Текст : непосредственный.Parallele Datenverarbeitung mit dem Transputer : сборник научных трудов / Hrsg.: R. Grebe, C. Ziemann, 1991. - 300 p. - Текст : непосредственный.CONCUR'90 : материал технической информации / Comp.: J. C.M. Baeten, J. W. Klop, 1990. - VII,536 p. p. - Текст : непосредственный.Concurrency : материалы временных коллективов / Ed.: A. Yonezawa, T. Ito, 1991. - 399 p. - Текст : непосредственный.CONCUR'91 : материалы временных коллективов / Comp.: J. C.M. Baeten, J. F. Groote, 1991. - IX,540 p. p. - Текст : непосредственный.Software for parallel computation : материалы временных коллективов / Ed.: J. S. Kowalik, L. Grandinetti, 1993. - 363 p. - Текст : непосредственный.Concurrent computations: algorithms,architecture, and technology : материалы временных коллективов / Ed. S. K. Tewksbury, 1988. - XI,726 p. p. - Текст : непосредственный.Proceedings of the 1988 international conference on parallel processing, Aug. 15-19, University Park(Pa) / International conference on parallel processing(1988;Uneversity Park(Pa)). Vol. 1 : Architecture / Ed. F. A. Briggs, 1988. - XII,461 p. p. - Текст : непосредственный.Proceedings of the 1988 international conference on parallel processing, Aug. 15-19, University Park(Pa) / International conference on parallel processing(1988;Uneversity Park(Pa)). Vol. 2 : Software / Ed. H. E. Sturgis, 1988. - X,262 p. p. - Текст : непосредственный.Proceedings of the 1988 international conference on parallel processing, Aug. 15-19, University Park(Pa) / International conference on parallel processing(1988;Uneversity Park(Pa)). Vol. 3 : Algorithms and applications / ed. D. H. Bailey, 1988. - XIII,311 p. p. - Текст : непосредственный.Job scheduling strategies for parallel processing / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Communicating sequential processes. The first 25 years / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Показать все результаты

CONCUR 2000 - Concurrency theory : 11th Intern. conf., University Park(Pa), Aug.22-25, 2000Proc. / Ed. C. Palamidessi, 2000. - XI,612 p. p. - Текст : непосредственный.

Заказ фрагмента документа ₽