TUCS dissertations [Текст] / Turku centre for computer science
№ 181
№ 181
Turku : Åbo akad. univ., Dep. of inform. technologies, 2014
TUCS dissertations [Текст] / Turku centre for computer science
№ 181
Turku : Åbo akad. univ., Dep. of inform. technologies, 2014
Библиографическое описание
Скопировать
Matemaattisten tieteiden laitos (Turku), Tietojenkäsittelyoppi Ersfolk, Johan. TUCS dissertations [Текст] / Turku centre for computer science. Scheduling dynamic dataflow graphs with model checking [Текст] / Johan Ersfolk. — Turku : Åbo akad. univ., Dep. of inform. tecnologies, 1996- — Turku : Åbo akad. univ., Dep. of inform. technologies, 2014. — XIV, 181, [40] с. : ил., цв. ил., табл. : 25 см — (TUCS dissertations / Turku centre for computer science).; ISBN 978-952-12-3090-5.
Детальная информация
Код документа в НЭБ
000199_000009_007825403
Каталог
Автор(ы)
Заглавие
TUCS dissertations Текст / Turku centre for computer science № 181
Место издания
Turku
Издательство
Год издания
2014
Объем
XIV, 181, [40] с.
Ответственность
Johan Ersfolk
ISBN
978-952-12-3090-5
Регистрационный номер
ИП11230-14
ББК
З973.233-018с11,0, В173.2,0
Язык
Английский
Еще
Общее примечание
В кн. также отт. ст. авт.
Еще
Библиотека
LDR
02255nam a2200349 i 4500
001
007825403
005
20141209101022.0
008
141119s2014 fi |||| 0|| | eng|d
017
##
$a: ИП11230-14
$b: RuMoRGB
$a: ИП11230-14
$b: RuMoRGB
020
##
$a: 978-952-12-3090-5
$a: 978-952-12-3090-5
040
##
$a: RuMoRGB
$b: rus
$e: rcr
$a: RuMoRGB
$b: rus
$e: rcr
041
##
$a: eng
$b: eng
$b: swe
$a: eng
$b: eng
$b: swe
044
##
$a: fi
$a: fi
084
##
$a: З973.233-018с11,0
$2: rubbk
$a: З973.233-018с11,0
$2: rubbk
084
##
$a: В173.2,0
$2: rubbk
$a: В173.2,0
$2: rubbk
100
1#
$a: Ersfolk, Johan
$a: Ersfolk, Johan
245
##
$a: Scheduling dynamic dataflow graphs with model checking
$h: [Текст]
$c: Johan Ersfolk
$a: Scheduling dynamic dataflow graphs with model checking
$h: [Текст]
$c: Johan Ersfolk
260
##
$a: Turku
$b: Åbo akad. univ., Dep. of inform. technologies
$c: 2014
$a: Turku
$b: Åbo akad. univ., Dep. of inform. technologies
$c: 2014
300
##
$a: XIV, 181, [40] с.
$b: ил., цв. ил., табл.
$c: 25 см
$a: XIV, 181, [40] с.
$b: ил., цв. ил., табл.
$c: 25 см
336
##
$a: текст (text)
$b: txt
$2: rdacontent
$a: текст (text)
$b: txt
$2: rdacontent
337
##
$a: неопосредованный (unmediated)
$b: n
$2: rdamedia
$a: неопосредованный (unmediated)
$b: n
$2: rdamedia
338
##
$a: том (volume)
$b: nc
$2: rdacarrier
$a: том (volume)
$b: nc
$2: rdacarrier
490
##
$a: TUCS dissertations / Turku centre for computer science
$v: № 181
$x: 1239-1883
$a: TUCS dissertations / Turku centre for computer science
$v: № 181
$x: 1239-1883
500
##
$a: В кн. также отт. ст. авт.
$a: В кн. также отт. ст. авт.
504
##
$a: Библиогр.: с. 169-180 и в конце ст.
$a: Библиогр.: с. 169-180 и в конце ст.
546
##
$a: Рез. англ., швед.
$a: Рез. англ., швед.
650
#1
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Автоматическая обработка информации -- Программирование -- Математические методы исследования
$2: rubbk
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Автоматическая обработка информации -- Программирование -- Математические методы исследования
$2: rubbk
650
#1
$a: Программирование(мат.) потоковое
RU\NLR\AUTH\66891914
$2: nlr_sh1
$a: Программирование(мат.) потоковое
RU\NLR\AUTH\66891914
$2: nlr_sh1
650
#1
$a: Физико-математические науки -- Математика -- Теория вероятностей и математическая статистика -- Теория игр. Исследование операций -- Математическое программирование
$2: rubbk
$a: Физико-математические науки -- Математика -- Теория вероятностей и математическая статистика -- Теория игр. Исследование операций -- Математическое программирование
$2: rubbk
773
#1
$7: c2as
$a: Matemaattisten tieteiden laitos (Turku), Tietojenkäsittelyoppi
$t: TUCS dissertations [Текст] / Turku centre for computer science
$d: Turku : Åbo akad. univ., Dep. of inform. tecnologies, 1996-
$x: 1239-1883
$g: № 181
$w: 004888393
$7: c2as
$a: Matemaattisten tieteiden laitos (Turku), Tietojenkäsittelyoppi
$t: TUCS dissertations [Текст] / Turku centre for computer science
$d: Turku : Åbo akad. univ., Dep. of inform. tecnologies, 1996-
$x: 1239-1883
$g: № 181
$w: 004888393
852
1#
$a: РГБ
$b: FB
$c: D17S
$j: 15 96-4/105-2
$x: 90
$a: РГБ
$b: FB
$c: D17S
$j: 15 96-4/105-2
$x: 90
LKR
##
$a: UP
$b: 4888393
$l: RSL01
$n: TUCS dissertations
$m: Scheduling dynamic dataflow graphs with model checking
$a: UP
$b: 4888393
$l: RSL01
$n: TUCS dissertations
$m: Scheduling dynamic dataflow graphs with model checking
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « TUCS dissertations Текст / Turku centre for computer science № 181 » , автор — Ersfolk J.. Документ был опубликован в 2014 году. Место издания — Turku. Издательство — Åbo akad. univ., Dep. of inform. technologies. Информация о документе предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5.