Котов В. Е. Сети Петри


Скачать 130.28 Kb.
Название Котов В. Е. Сети Петри
Тип Памятка
rykovodstvo.ru > Руководство ремонт > Памятка
ПАМЯТКА

по составлению прикнижных и пристатейных библиографических списков (ГОСТ 7.1-84)
Настоящая «Памятка» содержит примеры библиографического описания практически всех видов печатных изданий.

Библиографическое описание — это совокупность сведений о произведении печати или другом документе, а также его части или группе доку­ментов, дающих возможность идентифицировать документ и получить представление о его содержании, читательском назначении, объеме, справочном аппарате и т.д.

Научные сотрудники постоянно сталкиваются с библиографическим описанием, оформляя прикнижные и пристатейные библиографии, списки литературы к диссертациям, отчетам.

Прикнижные и пристатейные библиографические списки и библиографические ссылки являются составной частью справочного аппарата издания и служат источником библиографической информации.

В 1984 году был утвержден новый ГОСТ 7.1-84 «Библиографическое описание документа», который введен в действие с января 1986 года. Он предназначен для библиотек и учреждений, ведущих библиографическую работу, для издательств и редакций периодических изданий, авторов, составляющих списки литературы к монографиям, статьям, отчетам, диссертациям.

В ГОСТе даны различные варианты библиографического описания. В «Памятке» они приведены с пояснительным словом «или».

К оформлению списка литературы следует относиться со всей серьезностью. При его составлении необходимо придерживаться принятых сокращений названий журналов. В «Памятке» приведен список сокращений названий наиболее употребительных журналов по программированию и смежным дисциплинам.

Г.В.Курляндчик

ОБРАЗЦЫ ОПИСАНИЯ

Книги одного–двух авторов


Котов В.Е. Сети Петри. — М.: Наука, 1984. — 160 с.

Уэзерелл Ч. Этюды для программистов: Пер. с англ. / Под ред. Ю.М.Банков­ского. — М.: Мир, 1982. — 288 с.

Касьянов В.Н., Поттосин И. В. Методы построения трансляторов / Отв. ред. А.П. Ершов. — Новосибирск: Наука, 1986. — 344 с.

Dijkstra E.W. A discipline of programming. — Englewood Cliffs: Prentice-Hall, 1976. — 217 p. — (Prentice-Hall Ser. in Automatic Computation).

Книги трех авторов


Авен О.И. и др. Оценка качества и оптимизация вычислительных сис­тем / О.И.Авен. Н.Н.Гурин, Я.А.Коган. — М.: Наука, 1982. — 464 с.

или

Авен О.И.. Турин Н.Н., Коган Я.А. Оценка качества и оптимизация вычислительных систем. — М.: Наука, 1982. — 464 с.

Fernstrom Ch. et al. LUCAS associative array processors. Design, programing and application studies / Ch.Fernstrom, I.Kruzela, B.Svensson. — Berlin etc.: Springer, 1986. — 323 p. — (Lect. Notes Comput. Sci.; 216).

или

Fernstrom Ch., Kruzela I., Svensson B. LUCAS associative array processors. Design, programming and application studies. — Berlin etc.: Springer, 1986. — 323 p. — (Lect. Notes Comput. Sci.; 216).

Книги четырех авторов
(книги четырех и более авторов описываются под заглавием
)

Вычислительные сети и сетевые протоколы: Пер. с англ. / Д. Девис, Д. Барбер, У. Прайс, С. Соломонидес; Ред. пер. С.И. Самойленко. — М.: Мир, 1982. —
562 с.

Fundamental structures of computer science / W.A.Wulf, M.Shaw, P.N.Hilfinger, L.Flon. — Beading etc.: Addison-Vesley, 1981. — 621 p.

Книги пяти и более авторов


Диалектический и исторический материализм / А.П. Шептулин, Н.И. Аваров, И.Д. Андреев и др.; Под общ. ред. А.П. Шептулина. — М.: Поли­тиздат, 1985. — 414 с.

Руководство к пользованию системой автоматизации программирования АЛЬФА-6 / А.О. Буда, Т.С. Васючкова, А.А. Грановский и др.; Под ред. А.П. Ершова; АН СССР. Сиб. отд-ние. ВЦ. — Новосибирск, 1974. — 255 с.

Тематические сборники


Теоретические проблемы систем обработки информации: Сб. науч. тр. / Под ред. В.Е. Котова; АН СССР. Сиб. отд-ние. ВЦ. — Новосибирск, 1986. — 164 с.

Распределенные системы передачи и обработки информации / Отв. ред. В.Г. Лазарев; АН СССР. Ин-т проблем передачи информации. — М.: Нау­ка, 1985. — 144 с.

The best computer papers of 1971 / Ed. by O.R. Petrocelli. — Princeton etc.: Auerbach, 1972. — 296 p.

Материалы конференций, изданные как тематические сборники


Индивидуальные диалоговые системы на базе микроЭВМ (персональные компьютеры). Диалог-84-микро: Тез. докл. Всесоюз. конф., 19-22 нояб. 1984 г. / Под ред. И.О. Бабаева. — Л.: Наука, 1984. — 264 с.

или

Проблемы синтеза, тестирования, верификации и отладки программ: Тез. докл. / Всесоюз. науч. конф., Рига, 22-24 сент. 1981 г. — Рига, 1981. — 200 с.

Accurate scientific computations: Proc. / Synp., Bad Neuenahr, FRG, March 1985 / Ed. by W.L. Miranker, R.A.Toupin. — Berlin etc.: Springer, 1986. — 205 p. — (Lect. Notes Comput. Sci.; 235).

Многотомное издание

Издание в целом


На титульном листе указано общее количество томов и нет частных заглавий томов:

Никольский С.М. Курс математического анализа: Учеб. для вузов: В 2 т. — М.: Наука, 197З. — Т. 1с–2 (или 2т.).

Имеются частные заглавия томов:

Кнут Д. Искусство программирования для ЭВМ: В 3 т.: Пер. с англ. — М.: Мир, 1976–1978.

Т.1: Основные алгоритмы. — 1976. — 735 с.

Т.2: Получисленные алгоритмы. — 1977. — 726 с.

Т.З: Сортировка и поиск — 1978. — 846 с.

или

Кнут Д. Искусство программирования для ЭВМ: Пер. с англ. — М.: Мир, 1976–1978 — Т. 1–3 (или 3 т.).

Vliet J.C. van. ALGOL 68 transput. – Amsterdam: Math. centrum. 1979. — (Math. centre tracts).

Pt. l: Historical review and discussion of the implementation model. — 59 p. — (...; 110).

Pt.2: An implementation model. — 218 p. — (...; 111).

Отдельный том


Кнут Д. Искусство программирования для ЭВМ / Пер. с англ. Г.П. Бабенко, Ю.М. Баяковского; Под ред. В.С. Штаркмана. — М.: Мир, 1976.

Т. 1. Основные алгоритмы. — 734 с.

или

Кнут Д. Искусство программирования для ЭВМ. Т.1. Основные алго­ритмы: Пер. с англ. — М.: Мир, 1976. — 734 с.

или

Кнут Д. Основные алгоритмы: Пер. с англ. — М.: Мир, 1976. — 734 с. — (Искусство программирования для ЭВМ / Д. Кнут; Т.1).

Vliet J.C. van. ALGOL 68 transput. — Amsterdam: Math, centrum, 1979. — (Math, centre tracts).

Pt.2: An implementation model. — 218 p. — (...; 111).

или

Vliet J.C. van. ALGOL 68 transput. Pt.2: An implementation model. — Amsterdam: Math. centrum, 1979. — (Math, centre tracts; 111).

Отдельный выпуск серии


Языки программирования. — М.: Наука, 1985. — 80 с. — (Алгоритмы и алгоритмические языки).

Вирт Н. Системное программирование. Введение / Пер. с англ. Вик. С. Штаркмана; Под ред. Ю.М. Баяковского. — М.: Мир, 1977. — 183 с. — (Математическое обеспечение ЭВМ).

Евстигнеев В.А. Применение теории графов в программировании / Под ред. А.П. Ершова. — М.: Наука, 1985. — 352 с. — (Б-чка программиста).

Звенигородский Г.А. Первые уроки программирования / Под ред. А.П. Ершова. — М.: Наука, 1985. — 200 с. — (Б-чка "Квант"; Вып. 41).

Отдельный выпуск периодических и продолжаюшихся изданий


Прикладная информатика: Сб. статей / Под ред. В.М. Савинкова. — М.: Финансы и статистика, 1986. — Вып. 1(10).

Теория вероятностей. Математическая статистика. Теоретическая ки­бернетика / ВИНИТИ; АН СССР; Гос. ком. по науке и технике. — М., 1985. — 152 с. — (Итоги науки и техники. Сер. Теория вероятностей. Математичес­кая статистика. Теоретическая кибернетика; Т.23).

Оперативно-информационный материал


Применение ЭВМ в курсах математического анализа и высшей матема­тики: (оперативно-информ. материал) / Подгот. Б.А. Вертгейм; АН СССР. Сиб. отд-ние. ВЦ. — Новосибирск, 1981. — 10 с.

Программирование на мини-Фортране: (метод, разработка) / Сост. В.Н. Касьянов; Новосиб. гос. ун-т. — Новосибирск, 1981. — 37 с.

Процедуры системы АЛЬФА-6: Оперативно-информ. материал / Подгот. О. Е. Шпурик и др.; Под общ. ред. Б.Ф. Синенкина; АН СССР. Сиб. отд-ние. ВЦ. — Новосибирск, 1978. — 134 с.

Диссертации, авторефераты диссертаций


Чеблаков Б.Г. Система разработки математического обеспечения язы­ковыми средствами высокого уровня: Дис... канд. физ.-мат. наук: 01.01.10. — Новосибирск, 1980. — 121 с.

Поттосин И.В. Методы создания эффективного программного обеспече­ния: языковый и структурный подходы, оптимизация программ: Дис... д-ра физ.-мат. наук в форме науч. докл.: 05.13.11. — Новосибирск, 1989. — 49 с.

Васючкова Т.С. Методика комплексной оценки качества транслирующих систем: Автореф. дис... канд. физ.-мат. наук: 05.13.11. — Новосибирск, 1986. —
19 с.

Tengvald E. The design of expert planning system: Thes... doct. phylosophy (computer sci.). — Linkoping, 1984. — 194 p.

Препринты


Петрашкова Н.Ю., Пономарев В.В. Средства работы с текстовыми и кодовыми библиотеками в системе программирования Фортран на МВК "Эль­брус". — М. , 1985. — 9с. — (Препр. / АН СССР. Ин-т точной механики и вы­числ. техники. Новосиб. фил.; N12).

СПТ КРОСС: Технология программирования / В.В. Генералов, В.И. Гололобов, В.А. Исаев. И.Н. Скопин. — М. , 1985. — 20 с. — (Препр. / АН СССР Ин-т точной механики и вычисл. техники. Новосиб. фил.; N16).

Препринты (отчеты), фирменные материалы на иностранных языках


Ronnquist R. The information lattice of networks used for knowledge representation. — Linkoping, 1986. — 14 p. — (Prepr. / Linkoping univ., Dept. computer and inform, sci.; LITH-IDA-R-86-02).

Seznec A., Jegou Y. Address synchronized multiprocessor architecture. — Rocquencourt, 1986. — 40 p. — (Rapp. / INRIA; N 527).

AIDA reference manual / G. Rersch, G. Winterstein, M. Dausmann et al. — Karlsruhe, 1980. — (Bericht / Inst. fur Informatik / Univ. Karls­ruhe; 39/80).

Chen J., Han. J. A Review of EVES. — St. Lucia, 1993. — (Tech. Rep. / Department of Computer Science / University of Queensland; N 93-5).

Депонированные рукописи


Панов В.Ф. Модели частиц в сильной гравитации / Ред. журн. "Изв. вузов. Физика". — Томск, 1982. — 7с. — Деп. в ВИНИТИ 27.05.82, N 2641.

Кузнецов Ю.С., Курбатов Н.Н., Червинский Ю.Ф. Изменение скорости звука в холодильных расплавах / Моск. хим.-технолог, ин-т. — М., 1982. — 10 с. — Деп. в ВИНИТИ 01.06.82, N 2691.

Отчеты о научно-исследовательской работе


Оценка эффективности автоматизированных информационно-поисковых систем научно-технической информации на стадии проектирования. Разра­ботка методов оценки эффективности автоматизированных информацион­но-поисковых систем научно-технической информации на стадии проектиро­вания. Ч.1: Отчет о НИР (промежуточ.) / ВНИТЦентр; Руководитель И.И. Иванов. — ОЦ2604И513; N ГР 0182110006; Инв. N 5452743. — М., 1982. — 90 с.: ил. — Отв. исполн. В.И. Степанов, В.И. Тягунов; Соисполн.: НИИ НТИ и техн.-эконом, исслед. Госплана УэССР, Ф.И. Зверев.

Наукометрический анализ информационных потоков в системном прог­раммировании (1966-1970 гг.): Отчет (промежуточ.) / АН СССР. Ин-т точ­ной механики и вычисл. техники. Новосиб. фил.; Руководитель В.Г. Чебла­ков. — АТИ-РД 363/02. — Новосибирск, 1986. — 59 с. — Исполн. В.А. Евстигне­ев, О.А. Логинова.

Конвейер. Технологическая база документации: Отчет(заключит.) АН СССР. Ин-т точной механики и вычисл. техники. Новосиб. фил.; Руководитель И.С. Голосов. — АТИ-КВ 495/06. — Новосибирск, 1989. — 72 с. — Отв.
исполн. Е.В. Сурнина; Соисполн.: О.Л. Пасько, Г.Н. Стирина.

Форматы распечатки документов в системе АСИВС-СКИФ (привязка к ГОСТ 7.1.-84) / АН СССР. Ин-т точной механики и вычисл. техники. Ново­сиб. фил.; Руководитель работы Г.Д. Чинин. — РЗ-РД/45-8. – Новосибирск, 1987. —
44 с. — Исполн. В.А. Евстигнеев, Л.И. Булыгина, В.Н. Киселев,

Стандарты


ГОСТ 7.1-84. Библиографическое описание документа. Общие требова­ния и правила составления. — Взамен ГОСТ 7.1-76; Введ. 01.01.86. — М.: Изд-во стандартов, 1984. — 77 с.

Библиографическая деятельность. Основные термины и определения: ГОСТ 7.0-84. — Взамен ГОСТ 7.0-77; Введ. 01.01.86. — 24 с.

Язык программирования Ада: ГОСТ 27831-88 (ИСО 8652-87); Введ. 01.07.89. — М.: Изд-во стандартов, 1989. — 263 с.

Common Ada programming support environment (APSE) interface set (CAIS): DOD-STD-1838. Appr. 9 Oct. 1986. — 346 p.

Неопубликованный перевод


Обзор методов применения обратной связи в оптических системах. Бистабильные оптические системы / ВЦП. — NE-12194. — М., 13.04.83. — 34с.: ил. — Пер. ст. Collins S.A., Wasmundt К.С. из журн.: Optical Engineering. — 1980. — Vol. 19, N 4. — P. 478–487.

Подсистема гибкого диска HP 12742А/12743А: Руководство по эксплу­атации и обслуживанию / ВЦП. — ND-58170. — М., 28.01.83. — 55 с.: ил. — Пер. материала фирмы: Hewlett-Packard Co. HP 9885 M/S Flexible Disk Drive: Operating and Service Manual. — 1978. — 29 p. США.

Об эволюции Фортрана / АН СССР. Ин-т точной механики и вычисл. техники. Новосиб. фил. — N 315. — Новосибирск, 23.04.86. — 3 с. — Пер. ст. van Tuyl R.R. из журн.: ACM SIQPLAN Notices. — 1984. — Vol. 19. N 11. — Р. 52–55. — Пер. С.Г. Дробышевич.

Материалы из "Экспресс-информации" ВИНИТИ Высокопроизводительная система обработки текстовой информации // Вычисл. техника. Экспресс-информация ВИНИТИ. — 1981. — N 2. — С. 7 — 10. — Реф. ст. Сherry P. В. Word processing system design for high throughput // Computer Des. — 1980. — Vol. 19, N 8. — P. 95–99.

Статьи из книг (сборников)

Ершов А.П. О человеческом и эстетическом факторе в программирова­нии // Научно-техническая революция и человек. — М., 1977. — С. 187–194.

Walther J.S. A unified algorithm for elementary functions // The best computer papers of 1971. — Princeton etc., 1972. — P. 69–81.

Калинина Н.А. Организация процесса аналитических вычислений и внутренние структуры данных в системе АУМ // Языки и системы програм­мирования. — Новосибирск, 1981. — С. 124–131.

Статьи из продолжаюшихся тематических сборников


Тен С.В. Сравнение алгоритмов идентификации выражений языка Ада // Прикладная информатика. — М., 1986. — Вып. 1(10). — С. 107–125.

Антипов М. В. Априорные оценки погрешности интегрирования методом Монте-Карло // Системное моделирование. — Новосибирск, 1982. — Вып. 8. —
С. 3–17.

Статьи из трудов, ученых записок


Шахбазян К.В., Тушкина Т.А. Обзор методов составления расписаний для многопроцессорных систем // Зап. науч. семинаров ЛОМИ / Тр. Мат. ин-та им. В.А. Стеклова. Ленингр. отд-ние. — 1975. — Т. 54. — С. 229–258.

Кузнецов С.В. Решение краевых задач для обыкновенных дифферен­циальных уравнений // Тр. ин-та математики / АН СССР. Сиб. отд-ние. — 1985. — Т. 6: Вычислительные методы линейной алгебры. — С. 85–110.

Статьи из собраний сочинений, энциклопедий


Ленин В.И. Вопрос о мире // Полн. собр. соч. — Т. 26. — С. 301–306.

Ершов А.П. Оператор // Мат. энциклопедия. — 1984. — Т. 4. — С. 18.

Статьи из материалов конференций, симпозиумов, совещаний и т.д.

Окольнишников В.В., Резниченко Л. Л. Система дискретного моделиро­вания МОДЕЛЬ-6 // Teз. докл. конф. молодых ученых и специалистов ИГМ и ВТ АН СССР. — М., 1976. — С. 86–88.

Дедерер С.Ю., Марков В.А., Пяткин В.П. Эксперимент по технологии программирования // Материалы конф. "Вычислительные системы, сети и центры коллективного пользования" (ВСС и ЦКП-78). — Новосибирск, 1978. — Ч. 2. — С. 126–130.

Скопин И.Н. Синтез специализированной версии универсальной прог­раммы при помощи тестирования // Синтез, тестирование, верификация и отладка программ: Тез. докл. / Всесоюз. науч. конф., Рига, 22-24 сент. 1981. — Рига, 1981. — С. 195–196.

Синтез специализированных систем программирования на основе рас­ширителей / Д.Н. Тодорой, А.К. Гончаренко, В.Г. Горбатиков и др. // Проблемы совершенствования синтеза, тестирования, верификации и отладки программ: Тез. докл. Всесоюз. науч. конф., Рига, 12-14 нояб. 1986 г. — ­Рига, 1986. — Т. 2. — С. 147–150.

Cheriton D.R. Making exceptions simplify the rule (and justify their handling) // Information Processing 86: Proc. / IFIP 10th World Computer Congr., Dublin, Ireland, Sept. 1-5, 1986. — Amsterdam, 1986. — P. 27–33.

Buss J. Relativized alternation // Structure in complexity theory: Proc. / Conf. held at the Univ. California, Berkeley, California, June 1986. — Berlin etc, 1986. — P .66–76. — (Lect. Notes Comput. Sci.; 223).

или

Buss J. Relativized alternation // Lect. Notes Comput.Sci. — Berlin etc., 1986. — Vol. 223. — P. 66–76.

Глава из книги


Автоматизированные системы сбора и обработки данных // Электрон­ные методы ядерной физики / Л.А. Маталин, С.И. Чубаров, Л.А. Тимохин и др. — М., 1973. — Гл. 8. — С. 395–496.

Статьи из журналов


Азизов И. Алгоритмы вычисления Е-оптимального решения в линейной максиминной задаче со связанными переменными // Изв. АН БССР. Сер. физ.-мат. наук. — 1986. — N 1. — С. 14–19.

Ершов А. П. Организация смешанных вычислений для рекурсивных про­грамм // Докл. АН СССР. — 1979. — Т. 245, N 5. — С. 1041–1044.

Панкеев Г.А. Пакет для создания аппаратно-независимого обеспече­ния машинной графики // Управляющие системы и машины. — 1983. — N 2. — С. 115–117.

Marcottv М., Sayward F.G. The definition mechanism for standard PL/1 // IEEE Trans. Software Eng. — 1977. — Vol. SE-13, N 6 — P .416–450.

Статьи из газет


Ершов А.П. ЭВМ в мире людей // Сов. культура. — 1985. — 14 апр.

Метляев Ю.В. ЭВМ для всех // Наука в Сибири. — 1986. — 23 янв.

Разные статьи в одном издании


Голосов И.С. О параметризации входного языка транслятора Форт­ран-Эльбрус // Автоматизация производства пакетов прикладных программ: Тез. докл. / 2 Всесоюз. конф. — Таллинн, 1983. — С.115–116.

Гололобов В.И., Исаев В.А. СПТ КРОСС: технология создания транс­ляторов // Там же. — С. 122–124.

Sethi R. Circular expressions elimination of static environ­ment // Sci. Comput. Progr. — 1982. — Vol. 1, N 3. — P. 203–222.

Dijkstra E.W. Smoothsort, an alternative for sorting in situ // Ibid. — P. 223–234.

Работы с одинаковым названием в разных источниках


Ершов А.П. Программирование — вторая грамотность // Эконо­мика и орг. пром. пр-ва. — 1982. — N 2. — С. 143–156.

То же // Квант. — 1983. — N 2. — С. 2–7.

Работы одного автора, упоминаемые подряд


Ершов А.П. Введение в теоретическое программирование: беседы о методе. — М.: Наука, 1977 — 288 с.

Его же. Об одном теоретическом принципе системного программирова­ния // Докл. АН СССР. — 1977. — Т. 233, N 6. — С. 272–275.

Список сокращений названий основных советских и иностранных журналов по вычислительной технике и программированию

Автоматика и вычисл. техника — Автоматика и вычислительная техника

Автоматика и телемеханика — не сокр.

Вестн. АН СССР — Вестник АН СССР

Докл. АН СССР — Доклады АН СССР

Журн. вычисл математики и. мат. физики — Журнал вычислительной математики и математической физики

Изв. АН СССР. Техн. кибернетика — Известия АН СССР. Техническая кибернетика

Изв. СО АН СССР. Сер. техн. наук — Известия СО АН СССР. Серия технических наук

Кибернетика — не сокр.

Микропроцессорные средства и системы — не сокр.

Программирование — не сокр.

Сиб. мат. журн. — Сибирский математический журнал

Управляющие системы и машины — не сокр.

Успехи мат. наук — Успехи математических наук

Экономика и орг. пром. пр-ва — Экономика и организация промышленного производства (ЭКО)

ACM Computing Surveys — не сокр.

ACM Trans. Computer Systems — ACM Transactions on Computer Systems

ACM Trans. Database Systems — ACM Transactions on Database Systems

ACM Trans. Graphics — ACM Transactions on Graphics

ACM Trans. Math. Software — ACM Transactions on Mathematical Software

ACM Trans. Office Inform. Systems — ACM Transactions on Office Information Systems

ACM Trans. Progr. Lang, and Systems — ACM Transactions on Programming Languages and Systems

Acta Informatica — не сокр.

Am. History Computing — Annals of the History of Computing

Artificial Intelligence — не сокр.

Austral. Computer j. — The Australian Computer Journal

Bit — не сокр. Byte — не сокр.

Communs ACM — Communications of the ACM

Computer — не сокр.

Computer Bull. — Computer Bulletin

Computer Des. — Computer Design

Computer Graphics and Image Processing — не сокр.

Computers and Artificial Intelligence — не сокр.

Computer J. — Computer Journal

Computers and Education — не сокр.

Computers and People — не сокр.

Computing Rev. — Computing Review

Data Processing — не сокр.

Datamation — не сокр.

Electronic Des. — Electronic Design

IBM J. Research and Development — IBM Journal of Research and Development

IBM Systems J. — IBM Systems Journal

IEEE Computer Graphics and Appl. — IEEE Computer Graphics and Applications

IEEE Des. and Test Comput. — IEEE Design and Test of Computers

IEEE Micro — не сокр.

IEEE Software — не сокр.

IEEE Trans. Computers — IEEE Transactions on Computers

IEEE Trans. Inform. Theory — IEEE Transactions of Information Theory

IEEE Trans. Pattern Analysis and Machine Intelligence — IEEE Transactions of Pattern Analysis and Machine Intelligence

IEEE Trans. Software .Eng. — IEEE Transactions on Software Engineering

IEEE Trans. Systems, Man and Cybernetics — IEEE Transactions on Systems, Man and Cybernetics

Inform, and Control — Information and Control

Inform. Processing Letters — Information Processing Letters

Inform. Systems — Information Systems

Intern. J. Computers and Information — International Journal of Computers and Information

Intern. J. Man-Machine Studies — International Journal of Man-Machine Studies

J. Assoc. Computing Machinery — Journal of the Association for Computing Machinery

J. Computer and System Sci. — Journal of Computer and System Science

J. Systems and Software — Journal of Systems and Software

Microprocessing and Microprogr. — Microprocessing and Microprogramming

New Generation Computers — не сокр.

Sci. Computer Progr. — Science of Computer Programming

S1AM J. Computing — SIAM Journal on Computing

SIGARCH Computer Architecture News — не сокр.

SIGOPS Operating Systems Rev. — SIGOPS Operating Systems Review

SIGPLAN Not. — SIGPLAN Notices

Software — Practice and Experience — не сокр.

Techn. Sci. Inform. — Technique et Science Informatique

Theoretical Computer Sci. — Theoretical Computer Science

Trans. Inst. Electronics. Commun. Eng. Japan. Sect. E — Transactions of the Institute of Electronics and Communication Engineers of Japan. Section E

Похожие:

Котов В. Е. Сети Петри icon Рабочая программа дисциплины
Котов Константин Сергеевич, к м н., доцент кафедры ортопедической стоматологии и ортодонтии
Котов В. Е. Сети Петри icon В. В. Глущенко Вопросы психосоматических расстройств
Доктор медицинских наук профессор Московского фбгну «нии нормальной физиологии им. П. К. Анохина» заслуженный деятель науки РФ а....
Котов В. Е. Сети Петри icon О проведении запроса предложений в электронной форме
Заказчик – Государственное унитарное предприятие Республики Крым «Санаторий «Ай-Петри»
Котов В. Е. Сети Петри icon Научных трудов нгту. 2010. №3(??)
Тестирование uml-диаграмм с помощью аппарата сетей петри на примере разработки по для игры «змейка»
Котов В. Е. Сети Петри icon Основа угольного агара для кампилобактерий
Аккурат­но перемешать и разлить в чашки Петри. Готовая среда должна быть черного цвета и хра­ниться при 8–15°C
Котов В. Е. Сети Петри icon Правила использования сети Интернет Регламент работы учащихся, учителей...
...
Котов В. Е. Сети Петри icon Протокол ведения больных
Воробьев П. А., Лукъянцева Д. В., Авксентьева М. В.), Российской медицинской академией последипломного образования (Шток В. Н.),...
Котов В. Е. Сети Петри icon В. И. Стародубов От 10 февраля 2005 г
А., Лукъянцева Д. В., Авксентьева М. В.), Российской медицинской академией последипломного образования (Шток В. Н.), Московским областным...
Котов В. Е. Сети Петри icon Протокол ведения больных инсульт
Воробьев П. А., Лукъянцева Д. В., Авксентьева М. В.), Российской медицинской академией последипломного образования (Шток В. Н.),...
Котов В. Е. Сети Петри icon Руководство по эксплуатации содержание
Источник бесперебойного питания (ибп) предназначен для надежной защиты электрооборудования пользователя от любых неполадок в сети,...
Котов В. Е. Сети Петри icon Общая и профессиональная характеристика сети фирм PwC
Глобальная сеть объединяет более 184 000 сотрудников в 157 странах. Каждая фирма сети является самостоятельным юридическим лицом...
Котов В. Е. Сети Петри icon Ход мероприятия: Беседа с родителями. Вопросы для беседы: Подключен...
...
Котов В. Е. Сети Петри icon Инструкция по подключению к сети Интернет через прокси-сервер единой...
В свойствах Internet Explorer на закладке «Подключения» нажмите кнопку «Настройка сети»
Котов В. Е. Сети Петри icon Инструкция по использованию ресурсов сети Интернет для администрации...
В специальной методической литературе отмечается, что основные дидактические функции сети Интернет связаны с ее вещательными, интерактивными...
Котов В. Е. Сети Петри icon Фасовка 500 г. Срок годности 4 года
Охладить до 45–50°C и добавить в стерильных условиях 3 мл Добавки ttc 1% (кат. №6030), предварительно растворенной в 5 мл стерильной...
Котов В. Е. Сети Петри icon Инструкция подключения к сети интернет в сети Кварц посредством pppoE в Ubuntu Linux 10


Руководство, инструкция по применению




При копировании материала укажите ссылку © 2024
контакты
rykovodstvo.ru
Поиск