RUSIST
Единый реестр книг

Информационные языки

Показать все ссылки каталога
Command language directions : Proc. of the IFIP TC 2.7 Working conf. on command languages, Berchtesgaden, West Germany, 10-14 Sept. 1979
1980
2245
0
Polymorphic type systems and concurrent computation in functional languages : Akad. avh
1983
Holmström Sören
1367
0
Foundations of programming languages
1988
Loeckx Jacques, Mehlhorn Kurt, Wilhelm Reinhard
2983
0
Contribution à l'étude de réalités informatiques : Thèse ... prés. à l'Univ. Paris VII
1974
Robinet Bernard
2766
0
CAAP'83 : Trees in algebra a. programming. 8th Colloquium, L'Aquila, March 9-11, 1983 : Proceedings
1983
1593
0
Langage normalisé pour la description des informations médicales en radiologie : Thèse prés. à la Fac. des sciences de l'Univ. de Grenoble ..
1969
Duquesnel Philippe
1907
0
MetaSoft primer : Towards a metalang. for appl. denotational semantics
1987
Blikle Andrzej
2408
0
Информационно-поисковые системы и информационно-поисковые языки : (Лекции)
1974
Певзнер Борис Рувимович
2679
0
Programmiersprachen und Programmentwicklung
1982
1272
0
CALC - an interactive computer language with unlimited numerical precision
1978
Heikkinen Markku
1808
0
Информатизация здоровья = Health informatics. Syntax to represent the content of healthcare classification systems. Classification Markup Language (ClaML). Синтаксис для представления содержания систем классификации здравоохранения. Язык разметки классификации (ClaML) : ГОСТ Р ИСО 13120-2016
2016
1917
0
An exercise in syntactic definition-expressions in typeless languages
1981
Sajaniemi Jorma
1724
0
Standards, style et exercices en C
1986
Champlain Michel de
2190
0
Contribution au développement des langages extensibles : Thèse prés. à: Univ. sci. et méd. de Grenoble et Inst. nat. polytechn. de Grenoble
1975
Jorrand Philippe
1729
0
Automata, languages and programming
1981
2458
0
Programming languages implementation and logic programming : Intern. workshop PLILP'88, Orléans, France, May 16-18, 1988 : Proceedings
1989
1145
0
Computation of language : An essay on syntax, semantics a. pragmatics in natural man-machine communication
1989
Hausser Roland
2960
0
Application software with WordPerfect®, the TWIN* TM / 123®, and d Base III Plus ®
1988
Curtin Dennis P.
1895
0
Introduction à microsoft works sur PC et compatibles
1989
Ghannad Hervé
2228
0
Математические модели семантики свободных словосочетаний с родо-видовыми компонентами и их применение в АИС : Автореф. дис. на соиск. учен. степ. к.т.н
1990
Замаруева Ирина Викторовна
1042
0
Разработка,исследование и реализация языковых средств для распознования пространственных структур в САПР вычислительных устройств : Автореф. дис. на соиск. учен. степ. к.т.н
1990
Маркин Валерий Иванович
1240
0
The formal description technique Estelle : Results of the ESPRIT / SEDOS project
1989
2214
0
NEWCAT: parsing natural language using left-associative grammar
1986
Hausser Roland
1745
0
Selected papers of the 16th International colloquium on automata, languages, and programming, Stresa, Italy, July 11-15, 1989
1991
International colloquium on automata languages and programming (16 1989 Stresa)
679
0
Transductions rationnelles : Application aux langages algébriques
1988
Autebert Jean-Michel, Boasson Luc
1897
0
Functional programming languages and computer architecture : Proceedings
1991
1320
0
Foundations of object-oriented languages : Proceedings
1991
2085
0
Intermediate lexicon for information science : A feasibility study : Final report
1974
Horsnell Verina
1156
0
Saying it with pictures : A logical landscape of conceptual graphs : Acad. proefschr
2001
Kerdiles Gwenael Nang
1729
0
Dictionnaire dBASE lll et dBASE lll Plus
1987
Renner Gerhard, Schmit Dominique
1993
0
dBASEIII*R Plus : Von A ... Z : Ein alph. Nachschlagewerk zur Datenbankverwaltung mit Beispielen u. Querverweisen
1987
Hergert Douglas
1854
0
HTML sourcebook : A compl. guide to HTML 3.2 a. HTML extensions = Справочник по HTML. Полное руководство по расширенным HTML и HTML 3.2.
1997
Graham Ian S
2943
0
Professionelle Programmentwicklung mit Framework II
1988
1320
0
Теоретический базис и основы подхода к выбору внутреннего языка разрабатываемой ПЭВМ
1993
Степанюк Ольга Александровна, Яковлев Юрий Сергеевич
1423
0
Paradox par la pratique
1988
Simpson Alan
1223
0
Elsevier's Dictionary of mathematical and computational linguistics : In three lang.: Engl., Fr. a. Russ
1990
1610
0
Проектирование и реализация проблемно-ориентированных языковых средств для создания программ учебного назначения : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (05.13.11)
1991
Третьяк Виктор Алексеевич
1151
0
Semantics of specification languages (SoSL) : Proc. of the Intern. workshop on semantics of specification lang., Utrecht, the Netherlands, 25-27 Oct. 1993 = Семантика языков спецификаций. Труды Международного семинара по семантике языков спецификаций. Утрехт, Нидерланды, 25-27 отября 1993г..
1994
2642
0
Définition de FACE, langage pour l'écriture des compilateurs : Implémentation d'un sous-ensemble : Thèse ..
1972
Maroldt Jean
2647
0
On language families generated by commutative languages
1982
Kortelainen Juha
1621
0
Étude comparative des principaux langages de programmation : Thèse prés. à la Fac. des sciences de l'Univ. de Grenoble ..
1965
Lecarme Olivier
1403
0
The structure and design of programming languages
1975
Nicholls John Edward
592
0
Models of computation and formal languages = Модели машинных вычислений и формальных языков.
1998
Taylor Ralph Gregory
1810
0
Mathematical foundations of programming semantics : 9th Intern. conf., New Orleans, LA, USA, Apr. 7-10, 1993 : Proceedings = Матеатичекие основания программной семантики. Труды 9-ой Международной конференции, Новый Орлеан, США, 7-10 апреля 1993г..
1994
2519
0
Семантика языков логического программирования и абстрактная машина для их реализации : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1992
Борщев Владимир Борисович
1625
0
Programming language standardisation
1980
2352
0
Aspects of automated natural language generation : Proceedings
1992
1007
0
Conception d'un système de langages des programmation : Thèse ... prés. à l'Univ. Paris VI
1974
Nebut Jean-Louis
2785
0
Études sur la syntaxe et la sémantique des langues naturelles et des langages algorithmiques : Thèse prés. à l'Univ. de Paris-Sud ..
1974
Castanet Richard
2954
0
Les langages orientes objets : Concepts, langages et applications
1987
Bailly Claude
1164
0
Automata, languages and programming
1980
960
0
Математическая модель языка спецификации и проектирования программ
1991
Бакулин Александр Владимирович
1220
0
Теоретико-категорный язык для задач представления знаний и обучения посредством обобщения : Автореф. дис. на соиск. учен. степ. канд. техн. наук : (05.13.17)
1991
Жожикашвили Александр Владимирович
2921
0
LR parsing
1974
Aho Alfred Vaino, Johnson S.C.
779
0
An error recovery method for programming languages without separators between statements
1979
Nakanishi Masakazu, Ohno Yoshio
2686
0
Функциональные и логические языки программирования: (Формализация, анализ, интерпретация) : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.11
1997
Нигиян Семен Александрович
2526
0
Denotational semantics for asynchronous concurrent languages : Diss. = Обозначающая семантика для асинхронных конкурентных языков.
1996
Nyström Sven-Olof
2335
0
Программирование и алгоритмические языки : учебное пособие для студентов специальности "Прикладная математика и информатика"
2013
Корольков Анатолий Владимирович, Маслов Владимир Анатольевич, Ветошкин Александр Михайлович
566
0
Algebraic specification of software systems
2012
Nabebin Aleksej Aleksandrovič, Tarasikov Aleksandr Sergeevič
1375
0
dBASE II
1985
Eggerichs Wolfgang
1118
0
Understanding and using dBASE IVТМ
1989
Krumm Rob
1670
0
Étude du langage de commande et de contrôle pour le réseau d'ordinateurs SOC (système d'ordinateurs connectés) : Thèse prés. à l'Univ. sci. et méd. de Grenoble ..
1973
Caluwe Rita de
952
0
Регулярные пограммные алгебры обощенно вычислимых функций : Автореф. дис. на соиск. учен. степ. к.ф.-м.н
1989
Губский Богдан Владимирович
2460
0
History of programming languages : Proc. of the ACM SIGPLAN History of programming lang. (HOPL) conf., Los Angeles (Calif.), June 1-3, 1978
1981
2845
0
Teoria della documentazione
1980
Bisogno Paolo
1099
0
Proceedings of the ACM SIGPLAN'90 Conference on programming language design and implementation, New York, June 20-22, 1990
1990
Association for computing machinery. Conference on programming language design and implementation (New York) (1990)
2407
0
Exploiting fine-grain parallelism in concurrent constraint languages = Использование "мелкозернистого" параллелизма в сжатых конкурентных языках.
1997
Montelius Johan
962
0
Synonymy and semantic classification
1986
Sparck Jones Karen (1935-)
3011
0
FUSL : Eine funktionale Sprache zur Repräsentation ling. Wissens u. ling. Strategien
1986
Licher V.; Luckhardt H.-D.; Schäfer T.
2900
0
Moderne Programmiersprachen : Programmiersprachen jenseits von ALGOL u. GOBOL : awk, C⁺⁺, CASE, Korn-Shell, LISP, Objective-0, Prolog, ProMac, REXX, Smalltalk, SQL
1991
1795
0
The C programming language
1978
Kernighan Brian W. (1942-)
533
0
Vorträge aus dem Problemseminar Algebraische Methoden der Automatentheorie, vom 24 bis 28 Apr. 1978 in Altenberg
1978
"Algebraische Methoden der Automarentheorie" Problem-seminar (1978 Altenberg)
2009
0
Predicate path expressions: a high-level synchronization mechanism : Akad. avh
1979
Andler Sten
3012
0
Compiling functional languages
1988
Diller Antoni
2872
0
Formal models and semantics
1990
2510
0
Software : Langages et systèmes d'exploitation
1971
Chenique François
2175
0
Vorträge aus dem Problemseminar Moderne Konzepte bei Programmiersprachen vom 17. Nov. bis 21. Nov. 1980 in Weißig
1981
"Moderne Konzepte bei Programmiersprachen" Problemseminar (1980 Weißig)
2548
0
Proceedings of the Third Symposium on programming languages and software tools, Kääriku, Estonia, August 23-24 1993 = Труды третьего симпозиума по языкам программирования и технике программного обеспечения, Кяярику, Эстония, 23-24 августа 1993г..
1993
Symposium on programming languages and software tools (3 1993 Kääriku)
1842
0
Compiling lazy functional languages : Akad. avh
1987
Augustsson Lennart
1780
0
Formale Sprachen : Eine automatentheoretische Einf
1981
Hotz Günter, Estenfeld Klaus
945
0
Langages algébriques
1987
Autebert Jean-Michel
2739
0
Model theory for infinitely deep languages
1984
Karttunen Maaret
2230
0
Compiling lazy functional languages : Akad. avh
1987
Johnsson Thomas
2539
0
Sinclair QL-Begleiter
1985
Allan Boris
1555
0
Информационные языки : Сборник статей
1975
2663
0
Predicate calculus and program semantics
1990
Dijkstra Edsger Wybe, Scholten Carel S.
2281
0
The Icon programming language
1990
Griswold Ralph E., Griswold Madge T.
2335
0
PARLE' 94 : Parallel architectures and languages Europe : 6th Intern. PARLE conf. , Athens, Greece, July 4-8, 1994 : Proceedings = PARLE' 94 . Параллельная архитектура и языки в Европе. Труды 6-ой Международной конференции PARLE, Афины, Греция, 4 - 8 июля 1994г..
1994
1534
0
Automata, languages and programming
1974
2510
0
Informatik : Aufgaben und Lösungen. T. 2
1976
1425
0
Mathematical foundations of programming semantics : 7th Intern. conf., Pittsburgh, PA, USA, Mar. 25-28, 1991 : Proceedings
1992
1351
0
APPLE II Pascal : Eine praktische Anleitung
1982
Luehrmann Arthur, Peckham Herbert
1626
0
Представимость языков в двухсторонних конечных вероятностных автоматах : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)
1991
Канеп Янис Янович
2707
0
The dBase language reference
1990
Jones Edward
1730
0
Syntax of programming languages : Theory a. practice
1979
Backhouse Roland Carl
1441
0
Introducere în teoria limbajelor formale
1983
Căzănescu Virgil Emil
2093
0
Définition interprétative et implantation de langages de programmation : Thèse prés. à: Univ. sci. et méd. de Grenoble et Inst. nat. polytechn. de Grenoble ..
1974
Cousot Patrick
2060
0
Web programming languages sourcebook = Руководство по языкам программирования Web.
1997
McComb Gordon
651
0
An introduction to the study of programming languages
1977
Barron David William
654
0
The Ehrenfeucht conjecture : An algebra-framework for its proof
1985
Poulsen Ebbe Thue
2147
0
Синтаксические структуры естественного языка : описание синтаксических структур естественного языка с помощью простейших понятий
2007
Гладкий Алексей Всеволодович
2164
0
Erweiterung regulärer Sprachen zur automatischen Erkennung und Korrektur von syntaktischen Fehlern
1978
Belli Fevzi
1553
0
Control flow semantics = Контроль семантического потока.
1996
Bakker Jacobus Willem de (1939); Vink Erik de
1910
0
PARLE'93 parallel architectures and languages Europe : 5th Intern. PARLE conf., Munich, Germany, June 14-17, 1993 : Proceedings = PARLE93. Параллельные архитектуры и языки Европы . Пятая Международная конференция PARLE. Мюнхен, Германия, 14-17 июня 1993г.. Труды.
1993
1924
0
Einführung in die Theorie der Automaten, Sprachen und Algorithmen
1974
Herschel Rudolf
2590
0
Computational semantics : An introd. to artificial intelligence a. natural language comprehension
1976
819
0
Structured assembly language
1990
Dorfman Len
2067
0
Compiling natural semantics : Akad. avh = Компиляция натуральной семантики. Дис..
1995
Pettersson Mikael
2873
0
Programming languages and their definition : Sel. papers
1984
Bekič Hans
1173
0
Object technology for scientific computing : Object-oriented numerical software in Eiffel a. C = Объектная технология научных вычислений.
1997
Dubois Paul F
740
0
dBase TM IV : L'aide-mémoire indispensable à tous les utilisateurs de PC et compatibles
1988
Rougé Daniel
782
0
RPG II with business applications
1979
Myers Stanley E.
1147
0
Базовый язык программирования МКП и его реализация : Автореф. дис. на соиск. учен. степ. к. т. н
1991
Белов Михаил Александрович
1455
0
An analytical description of CHILL, the CCITT high level language
1982
Branquart Paul, Louis Georges, Wodon Pierre
2736
0
UMLS (Unified medical language system) knowledge sources : Metathesaurus, semantic network, inform. sources map, specialist lexicon = Источники знания по унифицированной медицинской языковой системе. 8-е издание.
1997
2707
0
Linguistique et documentation : Les articulations logiques du discours
1972
Coyaud Maurice
1268
0
A guide to Modula-2
1986
Christian Kaare
615
0
Context-free grammars: covers, normal forms, and parsing
1980
Nijholt Anton
2351
0
AS/400 control language guide = Руководство по языку управления для системы AS/400 .
1994
Fu Brian
1071
0
Algorithmische Sprache und Programmentwicklung
1981
Bauer Friedrich Ludwig
2626
0
Optimisation de la traduction et de l'exécution d'expressions agrégats d'un langage de programmation conversationnel : Thèse
1977
Raynaud Yves
2693
0
Understanding and using dBASE III Plus
1987
Krumm Rob (1951-), Krumm Rob (1951-)
2924
0
[Proceedings]
1987
International colloquium on automata languages and programming (12 1985 Nafplion)
2832
0
Introduction à OS/2
1988
Laurent Michel
788
0
Sprachen der 4. Generation: für wen, für was?
1986
Friedrichs Karl J., Quiel Gerd, Werner Gerhard
1414
0
Micol advanced basic : Структурир. компилируемый яз. для компьютеров Правец-8А, Правец-8Ц, APPZE II E, APPZE II C, APPZE II C+, APPZE II G S, ZAGER 128 и совместимых : ПО лицензии фирмы "MICOL SISTEMS", Inc. (Канада)
1990
2918
0
Функциональный метод спецификации семантики параллельных языков и алгоритмов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н
1990
Язев Алексей Михайлович
2855
0
Формальные грамматики и распознающие автоматы : Учеб. пособие для студентов спец. 22.04 и 01.02
1991
Опалева Эльвира Александровна, Самойленко Владимир Петрович
2132
0
Assembler mit dem C-64
1985
Lemcke Hajo
1780
0
Initiation à l'informatique et méthodes pédagogiques actives : Étude et réalisation par des débutants, du système ENSLØT destiné à l'initiation à l'informatique : Thèse prés. devant l'Univ. Claude-Bernard, Lyon I ..
1974
Leonhardt Jean-Louis
1148
0
On conceptual modelling : Perspectives from artificial intelligence, databases, a. programming lang
1986
2443
0
Algorithmic language and program development
1982
Bauer Friedrich Ludwig
2967
0
Complementary definitions of programing language semantics
1976
Donahue James Edward
1737
0
WordPerfect 5 par la pratique
1988
Kelly Susan Baake
1363
0
Structural complexity = Структурная сложность.
1995
Balcázar José Luis, Díaz Josep, Gabarró Joaquim
776
0
Maschinenorientierte Sprachen
1989
Sapper Gerd R.
2749
0
Алгоритмические языки и программирование : Учеб. пособие
2000
Игнатова Ирина Гургеновна, Соколова Натэлла Юрьевна
1399
0
Computer hardware description languages and their applications : Proc. of the IFIP WG 10.2 Seventh Intern. conf. on computer hardware description lang. a. their applications, Tokyo, Japan, 29-31 Aug., 1985
1985
941
0
Conference record of the Seventh Annual ACM symposium on principles of programming languages : Papers presented at the Symp., Las Vegas, Nevada, Jan. 28-30, 1980
1980
Association for computing machinery. Symposium on principles of programming languages (New York) (7 1980 Las Vegas)
1353
0
Introduction à dBASE IV
1989
Rougé Daniel
1428
0
Sur certaines familles de langages bornes : Thèse prés. ... à la Fac. des sciences de l'Univ. de Lille ..
1970
Drieux Baudouin
2245
0
Varieties of formal languages
1986
604
0
Тестирование диагностики трансляторов стандартизованных языков программирования с развитым статическим компонентом : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11
1994
Павлов Михаил Владимирович
2458
0
Automata, languages and programming
1982
1736
0
Thirteenth international colloquium on automata, languages and programming, Rennes, July 1986 : Spec. iss
1988
International colloquium on automata languages and programming (13 1986 Rennes)
1929
0
Programming language concepts
1982
Ghezzi Carlo, Jazayeri Mehdi
1752
0
Concepts in user interfaces : A ref. model for command a. response lang. : Results developed by Working group 2.7 (operating system interfaces) of the Intern. federation for inform. processing (IFIP)
1986
1122
0
Functional programming languages and computer architecture : Based on papers presented at a Conf., Nancy, France, Sept. 16-19, 1985
1985
2296
0
Propriétés algébriques des langages du premier ordre : Thèse prés. à l'Univ. Paris VI ..
1973
Bénéjam Jean-Pierre
1361
0
RPG-Sprachbeschreibung für DOS/ES und ES/OS
1975
Liebetanz Peter
2961
0
Theoretical aspects of semantics-based language implementation = Teoretiske aspekter af semantik-baseret sprogimplementation
1990
Nielson Flemming
2355
0
SQL et DB2 : Le relationnel et sa pratique
1989
Koutchouk Michel
1446
0
Automata, languages and programming : 16th Intern. colloquium, Stresa, Italy, July 11-15, 1989 : Proceedings
1989
2548
0
User defined syntax : a dissertation
1992
Aasa Annika
1276
0
Языки программирования с объектами и параллелизмом: анализ и характеристики
1993
Валькевич Татьяна Арнольдовна, Гороховский Семен Самуилович
916
0
Опыт семантического анализа лингвистической терминологии при построении информационно-поискового тезауруса : автореферат диссертации на соискание ученой степени кандидата филологических наук : (10.02.21)
1976
Шелов Сергей Дмитриевич
2916
0
Адаптируемые инструментальные средства реализации встроенных поблемно - ориентированных языков : Автореф. дис. на соиск. учен. степ. к.т.н
1990
Гуревич Михаил Наумович
2674
0
De la définition à la traduction des langages de programmation: méthode des attributs sémantiques : Thèse prés. à la Fac. des sciences de l'Univ. Paul-Sabatier de Toulouse ..
1974
Lorho Bernard
2353
0
Классика программирования: алгоритмы, языки, автоматы, компиляторы. Практический подход
2006
Мозговой Максим Владимирович
1846
0
A study in string processing languages
1985
Klint Paul
974
0
Алгоритмические языки и основы программирования : Курс лекций : В 2 ч.
2000
Солодовников Алексей Борисович
1768
0
Programming language implementation and logic programming : 6th Intern. symp., PLILP '94, Madrid, Spain, Sept. 14-16, 1994 : Proceedings = Осуществление языков программирования и логическое программирование. Шестой Международный симпозиум, Мадрид, Испания, 14-16 сентября 1994. Труды.
1994
1797
0
Введение в теорию алгоритмических языков и компиляторов : учебное пособие для студентоввысших учебных заведений, обучающихся по специальности 230105.65 "Программное обеспечение вычислительной техники и автоматизированных систем" по направлению подготовки специалистов 654600 "Информатика и вычислительная техника" и направлению подготовки бакалавров и магистров 552800 "Информатика и вычислительная техника"
2009
Гагарина Лариса Геннадьевна, Кокорева Елена Викторовна
2361
0
Computer hardware description languages and their applications : Proc. of the IFIP WG 10.2 Sixth Intern. conf. on computer hardware description lang. a. their applications, Pittsburgh, Pa, U. S. A., 23-25 May, 1983
1983
2778
0
Algebraic definition of a simple programming language
1985
Bergstra Jan A.
1092
0
The world of programming languages
1987
Marcotty Michael, Ledgard Henry F.
2435
0
Programming languages: history and fundamentals
1969
Sammet Jean E.
1625
0
Основы программирования на алгоритмических языках : Учеб. пособие
1991
Подбельский Вадим Валерьевич
617
0
Бейсик и Паскаль: от простого к сложному : 8-11 кл. : Метод. пособие
1998
Житкова Ольга Алексеевна, Кудрявцева Екатерина Константиновна
2019
0
Description formelle, représentation, iterrogation des informations complexes : Système pivoines : Thèse ..
1975
Créhange Marion
2864
0
Разработка и исследование методов представления естественно языкового текста с целью преобразования семантической информации в образную : Автореф. дис. на соиск. учен. степ. к.т.н
1991
Ященко Наталья Юрьевна
927
0
Компьютеры. Языки
2005
2356
0
Transducteurs & arborescences : Études et réalisations de systèmes appliquées aux grammaires transformationnelles : Thèse prés. à l'Univ. sci. et méd. de Grenoble ..
1974
Chauché Jacques
732
0
ТЕОРИЯ вычислимости и языки спецификаций : Сб. ст.
1991
2841
0
Static analysis : First Intern. symp. , SAS '94, Namur, Belgium, Sept. 28-30, 1994 : Proceedings = Статический анализ. Первый Международный симпозиум по статистическому анализу, Намур, Бельгия, 28-30 сентября 1994. Труды.
1994
1394
0
Étude d'éléments fondamentaux des langages de programmation: contrôle de l'utilisation des objets et primitives d'exécution : Thèse prés. à l'Univ. sci. et méd. de Grenoble ..
1973
Bert Didier
2628
0
Data structures of PASCAL, ALGOL 68, PL/1 and ADA
1986
Lewi Johan, Paredaens Jan
907
0
Acta informatica. Vol.34, fasc.10 = Создание реальных языков программирования, основанных на формальных спецификациях.
1997
2346
0