Поисковый запрос: (<.>K=ЯЗЫКИ<.>) |
Общее количество найденных документов : 778
Показаны документы с 1 по 20 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : 649.7/B 17
Автор(ы) : Bakker, Jacobus Willem de, Vink, Erik de
Заглавие : Control Flow Semantics
Выходные данные : Cambridge [et al.]: The MIT Press, 1996
Колич.характеристики :564 c.
Серия: Foundations of Computing
Примечания : Библиогр.: с. 543-556. - Указ.: с. 557-564
ISBN, Цена 0-262-04154-5: 966.11 р.
ББК : 649.732-018.12 + 519.3
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
МАТЕМАТИКА-- ТЕОРИЯ ИГР
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
2.
|
Вид документа : Многотомное издание
Шифр издания : 649.7/B 28
Автор(ы) : Barwise, Jon, Etchemendy, John
Заглавие : The Language of first-order LOGIC: including the Macintosh version of TARSKI'S WORLD 4.0
. -3 ed., Rev. & Expanded
Выходные данные : Stanford,California, 1993
Колич.характеристики :313 c.
+ 1 эл. гиб. диск
Серия: Center for the Study of Language and Information. Lecture notes; N 23
Примечания : Ind.: c. 304-313
ISBN, Цена 0-937073-99-7: 150.00 р.
ГРНТИ : 50.05.09
ББК : 649.732-018.12я05
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : 649.7/B 29
Заглавие : Basic
Выходные данные : Москва: Солон, [199-]
Колич.характеристики :97 с.
Серия: ZX Spectrum
ISBN, Цена 5-85954-001-9: 2 250 р.
ББК : 649.732-018.12Бейсик
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : З97/B 43
Автор(ы) : Bennett, Simon, McRobb, Steve, Farmer, Ray
Заглавие : Object-Oriented Systems Analysis and Design Using UML
. -2nd ed.
Выходные данные : London [et al.]: McGraw-Hill, 2002
Колич.характеристики :XIX, 612 с.:
табл., ил., схем.
Примечания : Библиогр.: с. 597-604.- Указ.: с. 605-612
ISBN, Цена 0-07-709864-1: 2335.00 р.
ГРНТИ : 50
ББК : З97
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- ПРОГРАММИРОВАНИЕ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 649.7/B 59
Автор(ы) : Best, Eike
Заглавие : Semantics of Sequential and Parallel Programs
Выходные данные : London [et al.]: Prentice Hall, 1996
Колич.характеристики :352 c.
Серия: Prentice Hall International Series in Computer Science
Примечания : Библиогр.: с. 327-344. - Указ.: с. 345-351
ISBN, Цена 0-13-460643-4: 872.55 р.
ББК : 649.732-018.12 + 519.3
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
МАТЕМАТИКА-- ТЕОРИЯ ИГР
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : З97/C 20
Автор(ы) : Capper, Derek M.
Заглавие : Introducing C++ for Scientists Engineers and Mathematicians
: научное издание
. -Second ed.
Выходные данные : London [et al.]: Springer, 2001
Колич.характеристики :XVI, 544 с.
Примечания : Библиогр.: с. 529-530 . - Указ.: с. 531-544 . - Прил.: с. 519-528
ISBN, Цена 1-85233-488-6: 1142.00 р.
ГРНТИ : 50.41.17
ББК : З973.2
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- ПРОГРАММИРОВАНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : З97/C 77
Автор(ы) : Cooke, John (1947-)
Заглавие : Constructing Correct Software
: монография
. -Second Ed.
Выходные данные : London: Springer, 2005
Колич.характеристики :XXI, 509 с
Примечания : Библиогр.: с. 501-502. - Указ.: с. 503-509. - Прил.: с. 473-499
ISBN, Цена 1-85233-820-2: 361.00 р.
ГРНТИ : 50.05.03
ББК : З973.2
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- ПРОГРАММИРОВАНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : З97/D 36
Автор(ы) : Хомоненко, Анатолий, Гофман, Владимир, Мещеряков, Евгений, Никифоров, Владимир
Заглавие : Delphi 7
: для программистов
Выходные данные : Санкт-Петербург: БХВ-Петербург, 2008
Колич.характеристики :1200 с.:
ил.
Примечания : Предм. указ.: с. 1196-1200
ISBN, Цена 978-5-94157-267-0: 716.61 р.
ГРНТИ : 50
ББК : З973.2
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- ПРОГРАММИРОВАНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : 649.7/F 63
Автор(ы) : Flamig, Bryan
Заглавие : Practical Algorithms in C++
Выходные данные : New York [et al.]: John Wiley & Sons, 1995
Колич.характеристики :445 c.
+ 1 эл. гиб. диск
Серия: Coriolis Group Book
Примечания : Библиогр.: с. 433-435. - Указ.: с. 437-445
ISBN, Цена 0-471-00955-5: 1067.80 р.
ББК : 649.732-018.12Cu.я05
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : 649.7/F 63
Автор(ы) : Flamig, Bryan
Заглавие : Practical Data Structures in C++
Выходные данные : New York [et al.]: John Wiley & Sons, 1993
Колич.характеристики :436 c.:
ил.
+ 1 Disc
Серия: Coriolis Group Book
Примечания : Библиогр.: с. 423-424. - Указ.: с. 425-436
ISBN, Цена 0-471-55863-X: 1067.80 р.
ББК : 649.732-018.12Cu.я05
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
11.
|
Вид документа : Однотомное издание
Шифр издания : 649.7/G 58
Автор(ы) : Goguen, Joseph A., Malcolm, Grant
Заглавие : Algebraic Semantics of Imperative Programs
Выходные данные : Cambridge [et al.]: The MIT Press, 1996
Колич.характеристики :228 c.
Серия: Foundations of Computing
Примечания : Библиогр.: с. 222-225. - Указ.: с. 227-228
ISBN, Цена 0-262-07172-X: 966.11 р.
ББК : 649.732-018.12 + 519.3
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
МАТЕМАТИКА-- ТЕОРИЯ ИГР
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
12.
|
Вид документа : Однотомное издание
Шифр издания : З97/G 88
Автор(ы) : Gross, Hans-Gerhard
Заглавие : Component-Based Software Testing with UML
: научное издание
Выходные данные : [Berlin]: Springer, 2005
Колич.характеристики :XVIII, 316 с.:
ил.
Примечания : Библиогр.: с. 297-305. - Указ.: с. 307-316. - Слов.: с. 285-295
ISBN, Цена 3-540-20864-X: 1870.00 р.
ГРНТИ : 50.05.09
ББК : З973
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- ПРОГРАММИРОВАНИЕ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
13.
|
Вид документа : Однотомное издание
Шифр издания : 649.7/G 95
Автор(ы) : Gunter, Carl A.
Заглавие : Semantics of Programming Languages. Structures and Techniques
Выходные данные : Cambridge [et al.]: The MIT Press, 1992
Колич.характеристики :419 c.
Серия: Foundations of Computing
Примечания : Библиогр.: с. 395-406. - Указ.: с. 407-418
ISBN, Цена 0-262-07143-6: 966.11 р.
ББК : 649.732-018.12 + 519.3
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
МАТЕМАТИКА-- ТЕОРИЯ ИГР
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
14.
|
Вид документа : Однотомное издание
Шифр издания : 518/H 86
Автор(ы) : Hromkovic, Juraj
Заглавие : Theoretical Computer Scince. Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Gryptography
: научное издание
Выходные данные : Berlin [et al.]: Springer, 2004
Колич.характеристики :X, 313 с.:
рис.
Серия: Texts in Theoretical Computer Science
Примечания : Библиогр.: с. 305-308. - Указ.: с. 309-313
ISBN, Цена 3-540-14015-8: 1579.00, 361.00, р.
ГРНТИ : 27.41 + 50
ББК : 518.211 + З973.2
Предметные рубрики: МАТЕМАТИКА-- ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА
РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- ПРОГРАММИРОВАНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Экземпляры : всего : кх(2)
Свободны : кх(2)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
15.
|
Вид документа : Однотомное издание
Шифр издания : 41.2/J 24
Заглавие : Japanese-English Technical Terms Dictionary
Выходные данные : Washington: United States Goverument Printing, 1947
Колич.характеристики :1041 с
Цена : 28.17 р.
ГРНТИ : 16
ББК : 41.2-4
Предметные рубрики: ЯЗЫКОЗНАНИЕ-- ЯЗЫКИ МИРА
Экземпляры :ИГФ(1)
Свободны : ИГФ(1)
Найти похожие
|
16.
|
Вид документа : Однотомное издание
Шифр издания : Т48/L 16
Автор(ы) : Lahelma, Antti
Заглавие : A Touch of Red
: Archaeological and Ethnographic Approaches to Interpreting Finnish Rock Paintings
Выходные данные : Helsinki, 2008
Колич.характеристики :279 с.:
ил.
Коллективы :
Finnish Antiquarian Society
Серия: ISKOS; 15
Примечания : Библиогр. в конце глав. - Прил.: с. 192-276
ISBN, Цена 978-951-9057-67-5: 120.00 р.
ГРНТИ : 03.41
ББК : Т48(=661.1)-428
Предметные рубрики: ИСТОРИЯ. ИСТОРИЧЕСКИЕ НАУКИ-- АРХЕОЛОГИЯ
Географич. рубрики: ФИНЛЯНДИЯ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
17.
|
Вид документа : Однотомное издание
Шифр издания : 41.41/L 51
Заглавие : Leksikon Migracijskoga i Etnickoga Nazivlja
Выходные данные : Zagreb: Institut za Migracije i Narodnosti, 1998
Колич.характеристики :313 c.
ISBN, Цена 953-6028-06-9: 20.00 р.
ББК : 41.416.4-420
Предметные рубрики: ЯЗЫКОЗНАНИЕ-- СЛАВЯНСКИЕ ЯЗЫКИ-- ЧАСТНОЕ ЯЗЫКОЗНАНИЕ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
18.
|
Вид документа : Однотомное издание
Шифр издания : З97/L 60
Автор(ы) : Lethbridge, Timothy C., Laganiere, Robert
Заглавие : Object-Oriented Software Engineering. Practical Software Development using UML and Java
: научное издание
. -Second ed.
Выходные данные : London [et al.]: McGraw-Hill, 2005
Колич.характеристики :XX, 533 с.:
ил.
Примечания : Указ.: с. 519-533. - Прил.: с. 471-483. - Слов.: с. 485-518
ISBN, Цена 0-07-70109082 (ошибоч.): 1794.00 р.
ГРНТИ : 50.41.17
ББК : З973.2
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- ПРОГРАММИРОВАНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
19.
|
Вид документа : Однотомное издание
Шифр издания : 649.7/M 65
Заглавие : Microsoft Visual Basic 5
: Практ. пособие: Пер. с англ.
Выходные данные : Москва: ЭКОМ, 1998
Колич.характеристики :431 с.:
ил.
+ 1 эл. опт. диск (CD-ROM)
Серия: Шаг за шагом
ISBN, Цена 5-07163-0025- 1: 54.60 р.
ББК : 649.732-018.12Бейсикя05
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
20.
|
Вид документа : Однотомное издание
Шифр издания : 9.5/O-68
Заглавие : Orationes plenariae et conspectus quinquennales. Pars I
: Congressus Octavus Internationalis Fenn-Ugristarum, Jyvaskyla 10. - 15.8.1995
Выходные данные : Jyvaskyla: [s. l.], 1995
Колич.характеристики :203 c.:
ил.
Примечания : Библиогр. в конце ст.
ISBN, Цена 952-90-6683-X (koko teos): 20.00 р.
ISBN, Цена 952-90-6684-8 (osa 1): Б.ц.
ГРНТИ : 03.61.91 + 16.21
ББК : 9.52(231)я431(0) + 41.66я431(0)
Предметные рубрики: ИСТОРИЯ. ИСТОРИЧЕСКИЕ НАУКИ-- ЭТНОЛОГИЯ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
|
|
|
|
Главная
Новые поступления
Шлюз Z39.50
Каталог книг и продолжающихся изданий
Описание базы данных