Поисковый запрос: <.>U=519.76$<.> |
Общее количество найденных документов : 101
Показаны документы с 1 по 20 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Bergstra J.A, Klop J.W
Заглавие : The algebra of recursively defined processes and the algebra of regular processes: Prepr
Выходные данные : Amsterdam, 1983
Колич.характеристики :29 с
Серия: Stichting Math. centrum, Afd. Informatica. IW 235/83
Примечания : ; Библиогр.: с.28-29
Цена : Б.ц.
ГРНТИ : ; 27.47.15
УДК : +
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Devaney R.L
Заглавие : An introduction to chaotic dynamical systems
Выходные данные : Menlo Park etc.: Benjamin/Cummings, 1986
Колич.характеристики :12, 320 с
Серия: Global analysis series, pure and applied; N 3
Примечания : ; Библиогр. в конце глав. Указ.: с. 317-320
ISBN, Цена 0-8053-1601-9: Б.ц.
УДК :
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Danlos L
Заглавие : The linguistic basis of text generation
Выходные данные : Cambridge etc.: CUP, 1987
Колич.характеристики :10,222 с
Серия: Studies in natural lang processing/Spons.by the Assoc.for computational ling.
Примечания : ; Библиогр.: с.212-217.Указ.: с.219-222
ISBN, Цена 0521329388: Б.ц.
УДК : +
Найти похожие
|
4.
|
Вид документа : Многотомное издание
Шифр издания : K
Заглавие : The Prague bulletin of mathematical linguistics
Выходные данные : Praha: Univ. Karlova, 1987
Колич.характеристики :80 с
Цена : Б.ц.
ГРНТИ : ; 27.47.25
УДК :
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Heering J., Hendrinks P.R.H., Klint P., Rekers J.
Заглавие : The Syntax definition formalism SDF
: Ref. man
Выходные данные : Amsterdam: Stichting math. centrum, 1989
Колич.характеристики :III, 62 с:
ил
Серия: Report;CS-R8926/ Centrum voor wiskunde en informatica
Примечания : ; Библиогр.: с. 54-56
Цена : Б.ц.
ГРНТИ : ; 27.47.25
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; синтаксис; знаковые системы
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Michaelis H
Заглавие : Die Verteilungen der Abstande zwischen den Pegelkreuzungen spharisch invarianter Sprachmodellprozesse
: Diss
Выходные данные : Erlangen, 1985
Колич.характеристики :103 с
Примечания : ; Библиогр.: с.92-96
Цена : Б.ц.
УДК :
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Bolc Leonard, Czuba Krzysztof, Kupsc Anna
Заглавие : A Survey of systems for implementing HPSG grammars
Выходные данные : Warszawa: Inst. of computer science, Pol. acad. of sciences, 1996
Колич.характеристики :103 с
Серия: Pr. IPI PAN, ISSN 0138-0648; 814
Примечания : ; Библиогр. : с. 97-103. Print. as a ms. - ; Парал. загл. сер. : англ. Рез. : англ., пол.
Цена : Б.ц.
ГРНТИ : ; 27.47.25
УДК :
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Jebelean, T.
Заглавие : A theory on postfix notation
Выходные данные : Б.м.,Б.г.
Колич.характеристики :21 p.:
ill.
Серия: Seminarul de informatica si analiza numerica;18
Цена : Б.ц.
ГРНТИ : ; 27
УДК :
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : K
Заглавие : Abstracts interpretation of declarative languages
Выходные данные : Chichester (W. Sx.): Ellis Harwood, 1987
Колич.характеристики :284 с:
ил., табл
Серия: Ellis Harwood series in computers and their applications
Примечания : ; Библиогр.: с. 276-282. -Указ.: с. 283-284
ISBN, Цена 0-7458-0109-9: Б.ц.
ГРНТИ : ; 27.47.25
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; лингвистика математическая
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Manes E.G, Arbib M.A
Заглавие : Algebraic approaches to program semantics
Выходные данные : New York et al.: Springer, 1986
Колич.характеристики :13,351 с
Серия: Texts a.monogr.in computer science
Примечания : ; Библиогр.в конце частей.Указ.: с.345-351
ISBN, Цена 0-387-96324-3: Б.ц.
ГРНТИ : ; 50.05
УДК : +
Найти похожие
|
11.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Bergstra J.A, Tucker J.V
Заглавие : Algebraic specifications of computable and semicomputable datatypes
Выходные данные : Amsterdam, 1986
Колич.характеристики :60 с
Серия: Rep./Centrum voor wiskunde en informatica. Computer science/Dep. of software technology; CS-R 8619
Примечания : ; Библиогр.: с.57-60
Цена : Б.ц.
УДК :
Найти похожие
|
12.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Bergstra J.A, Tucker J.V
Заглавие : Algebraic specifications of computable and semicomputable datatypes
Выходные данные : Amsterdam, 1986
Колич.характеристики :60 с
Серия: Rep./Centrum voor wiskunde en informatica. Computer science/Dep. of software technology; CS-R 8619
Примечания : ; Библиогр.: с.57-60
Цена : Б.ц.
УДК :
Найти похожие
|
13.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Bergstra J.A, Klop J.W, Tucker J.V
Заглавие : Algebraic tools for system construction
: Prepr
Выходные данные : Amsterdam, 1983
Колич.характеристики :11 с
Серия: Stichting Math. centrum, Afd. Informatica. IW; 234/83
Примечания : ; Библиогр.: с.11
Цена : Б.ц.
ГРНТИ : ; 27.47.25
УДК :
Найти похожие
|
14.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Richter L
Заглавие : Analiza statysticzna rytmicznej struktury wypowiedzi w mowie polskiej
Выходные данные : Warszawa, 1984
Колич.характеристики :39 с
Серия: Pr./Inst. podstawowych problemow techniki; N 8/1984
Примечания : ; Библиогр.: с.39
Цена : Б.ц.
ГРНТИ : ; 27.47.25
УДК :
Найти похожие
|
15.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Hirst G
Заглавие : Anaphora in natural language understanding
: A survey
Выходные данные : Berlin et al.: Springer-Verl., 1981
Колич.характеристики :13, 128 с
Серия: Lecture notes in computer science; 119
Примечания : ; Библиогр.:с. 107-122.- Указ.:с. 123-128
Цена : Б.ц.
ГРНТИ : ; 27.47.25
УДК :
Найти похожие
|
16.
|
Вид документа : Однотомное издание
Шифр издания : K
Заглавие : Applied arabic linguistics and signal and information processing
Выходные данные : Washington et al.: Hemisphere publ. co, 1987
Колич.характеристики :10, 242 с
Серия: Proc. of the arab school on science and technology
Примечания : ; Библиогр. в конце ст. Указ.: с. 239-242
ISBN, Цена 0-89116-421-9: Б.ц.
ГРНТИ : ; 20.53.15
УДК : +
Найти похожие
|
17.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Stammler W
Заглавие : Beitrage zur Analyse und Synthese spharisch invarianter Sprachmodellprozesse
: Diss
Выходные данные : Erlangen, 1985
Колич.характеристики :117 с
Примечания : ; Библиогр.: с.108-111
Цена : Б.ц.
ГРНТИ : ; 27.47.25
УДК :
Найти похожие
|
18.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Bordihn Henning, Csuhaj-Varju Erzsebet, Dassow Juergen
Заглавие : CD grammar systems versus L systems
Выходные данные : Magdeburg: [Б.и.], 1997
Колич.характеристики :21 с.:
ил
Серия: Preprint/ Otto-von-Guericke-Univ. Magdeburg. Fak. fuer Informatik; Nr. 15, 1997
Примечания : ; Библиогр. : с. 20-21
Цена : Б.ц.
ГРНТИ : ; 27.47.25
УДК :
Найти похожие
|
19.
|
Вид документа : Однотомное издание
Шифр издания : K
Заглавие : Computational models of discourse
Выходные данные : Cambridge (Ma); London, 1983
Колич.характеристики :23, 403 с
Серия: The MIT press ser. in artificial intelligence
Примечания : ; Библиогр.: с. 373-389. Указ.: с. 391-403
ISBN, Цена 0-262-02183-8: Б.ц.
ГРНТИ : ; 27.47.25
УДК : +
Найти похожие
|
20.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Zuidweg J.
Заглавие : Concurrent system verification with process algebra
Выходные данные : Leiden, 1990
Колич.характеристики :237 с
Цена : Б.ц.
ГРНТИ : ; 50.05.13
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; алгебра процесса;верификация
Найти похожие
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных