Sample records for ЛЯМБДА-N-2130-ДИБАРИОНЫ (lambda-n-2130 dibaryons)
from WorldWideScience.org

Sample records 1 - 20 shown. Select sample records:



1

Центр для нашего будущего (Экология/Организации)


Тип неизвестно Полное название (официальное) Центр для нашего будущего Пр …

VINITI Projects Database (Russian)

2

ЦНИИ эпидемилогии МЗ РФ (Биология, Медицина, Сельское хозяйство/Организации)


Типнаучно-исследовательский институтПолное название (официальное)ЦЕНТРАЛЬНЫЙ НАУЧНО-ИССЛЕДОВАТЕЛЬСКИЙ ИНСТИТУТ ЭПИДЕМИОЛОГИИ МИНИСТЕРСТВА ЗДРАВООХРАНЕНИЯ РОССИИПрофиль деятельностиРазработка теоретиче …

VINITI Projects Database (Russian)

3

Фонд по охране окружающей среды (Экология/Организации)


Тип неизвестно Полное название (официальное) Фонд по охране окружающей среды …

VINITI Projects Database (Russian)

4

Универсальная десятичная классификация (ГСНТИ/Рубрикаторы)


УДК Консорциум Россия (http://forum.udcc.ru/index.php?s=3ba2c637762a492a7961eb7e821d2621) Общая методика применения Универсальной десятичной классификации Краткие исторические сведения об УДК Униве …

VINITI Projects Database (Russian)

6

Том 73 (Математика/Издания)


Алгебра - 8     [Первая страница] Предоставление копий   Том 73. Алгебра …

VINITI Projects Database (Russian)

7

Ссылки на похожие порталы и сайты (ГСНТИ/Hidden)


Ссылки на похожие порталы и сайты 1. Министерство промышленности, науки и технологий России — www.mnstp.ru (http://www.mnstp.ru/) 2. Российская академия наук - www.uis.isi …

VINITI Projects Database (Russian)

9

Северный совет министров (Экология/Организации)


Тип неизвестно Полное название (официальное) Северный совет министров Про …

VINITI Projects Database (Russian)

11

Российские научные издательства (ГСНТИ/Hidden)


Специализированные, научные и технические издательства России Название Город URL или почтовый адрес Виды издаваемой литературы Тематика (основная специализация) "Connect". Информа …

VINITI Projects Database (Russian)

13

Принципиальная гидрометаллургическая технология рациональной переработки кжк образований (Экология/Статьи)


Тип Статья в сериальном издании Авторы Иванков С.И. Название Принципиальная гидрометаллургическая технология рациональной переработки кобальтоносных железомаргонцевых корковых образований Рефера …

VINITI Projects Database (Russian)

17

Организации, учреждения и органы исполнительной власти РФ (Безопасность/Ресурсы)


Информационный сервер правительства Российской Федерации (http://www.government.gov.ru/index.html) Содержит актуальную информацию по органам исполнительной власти, законодательным и нормативным, п …

VINITI Projects Database (Russian)

20

Международная организация по стандартизации (Экология/Организации)


Тип неизвестно Полное название (официальное) Международная организация по стандартизации …

VINITI Projects Database (Russian)

21

Математика в сети Интернет (Математика/Ресурсы)


    • В Московском математическом обществе • The American Mathematical Society (AMS) • Санкт-Петербургское математическое обществ …

VINITI Projects Database (Russian)

22

Конференция ООН по торговле и развитию (Экология/Организации)


Тип неизвестно Полное название (официальное) Конференция ООН по торговле и развитию …

VINITI Projects Database (Russian)

26

Институт Острова Земля (Экология/Организации)


Тип неизвестно Полное название (официальное) Институт Острова Земля Профи …

VINITI Projects Database (Russian)

29

Европейский союз охраны побережий (Экология/Организации)


Тип неизвестно Полное название (официальное) Европейский союз охраны побережий …

VINITI Projects Database (Russian)

31

ГУП "ВНИИстандарт" (ГСНТИ/Hidden)


ГОСУДАРСТВЕННОЕ УНИТАРНОЕ ПРЕДПРИЯТИЕ "ВСЕРОССИЙСКИЙ НАУЧНО - ИССЛЕДОВАТЕЛЬСКИЙ ИНСТИТУТ СТАНДАРТИЗАЦИИ ГОССТАНДАРТА РОССИИ" (ГУП "ВНИИстандарт") vniistand@gost.ru (mailto:vniistand@gos …

VINITI Projects Database (Russian)

32

ГЛАВНЫЙ БОТАНИЧЕСКИЙ САД им. Н.В. ЦИЦИНА РАН (Биология, Медицина, Сельское хозяйство/Организации)


ТипПолное название (официальное)ГЛАВНЫЙ БОТАНИЧЕСКИЙ САД им. Н.В. ЦИЦИНАПрофиль деятельностиОсновные направления исследований- интродукция и акклиматизация растений; сохранение генофонда растений ex s …

VINITI Projects Database (Russian)

34

Всемирная организация здравоохранения (Экология/Организации)


Тип неизвестно Полное название (официальное) Всемирная организация здравоохранения …

VINITI Projects Database (Russian)

38

Англо-русский словарь по информатике (Информатика/Ресурсы)


   A B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (http://science.viniti.ru/index.php?option=com_content&task=view&id=195&Itemid=310)&nb …

VINITI Projects Database (Russian)

40

Александров Валерий Сергеевич (Информатика/Персоналии)


Страна: Russian Federation Город: Санкт-Петербург Адрес: Московский пр., 19 Email: V.S.Alexandrov@vniim.ru Телефон: 7 (812) 316-90-73, Должность: Заместитель директора по науке Обл …

VINITI Projects Database (Russian)

41

Александров Валерий Сергеевич (Автоматика и радиоэлектроника/Персоналии)


ФамилияАлександровИмяВалерийОтчествоСергеевичСтранаRUZIPГородСанкт-ПетербургАдресМосковский пр., 19emailV.S.Alexandrov@vniim.ru (mailto:V.S.Alexandrov@vniim.ru)Ключевые словаФаксТелефон7 (812) 316-90- …

VINITI Projects Database (Russian)

42

lambda calculus Studies in logic and the foundations of mathematics 0 ^aGЛ-Исчисление: Его синтаксис и семантика


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Barendregt H.P Заглавие : The lambda calculus : Its syntax and semantics Выходные данные : Amsterdam et al.: North-Holland, 1984 Колич.характеристики :621 с Серия: Studies in logic and the foundations of mathematics; Vol. 103 Цена : Б.ц. УДК : LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

43

introduction to functional programming through Lambda calculus Intern. computer science ser. Введение в функциональное программирование посредством лямбда-исчислений Addison-Wesley функциональное программирование Программирование для ЭВМ функциональное функциональное программирование


J2/22103 Michaelson, G. An introduction to functional programming through Lambda calculus [Text] : монография / G.Michaelson. - Wokingham etc : Addison-Wesley, 1988. - XV, 320 p. 320 p. - (Intern. computer science ser.). - ISBN 0-201-17812-5 : 18.29 р. Библиогр.: с. 309.-311. Указ.: с. 313-320 Перевод заглавия: Введение в функциональное программирование посредством лямбда-исчисленийПеревод заглавия: Введение в функциональное программирование посредством лямбда-исчисленийГРНТИ 50.05.13УДК 004.42.046 Рубрики: Программирование для ЭВМ функциональное Держатели документа: ГПНТБ России Экз-ры: АЛГ(1), (2) Копия: мкф., Шифр MR-911310 LAMBDA$

State Public Technical Library of Russia (Russian)

44

introduction to functional programming through Lambda calculus Intern. computer science ser. 0 ^aВведение в функциональное программирование посредством лямбда-исчислений Addison-Wesley 0 ; лямбда-исчисления Библиогр.: с. 309.-311.-Указ.: с. 313-320 0 ; лямбда-исчисления


Вид документа : Однотомное издание Шифр издания : K Заглавие : An introduction to functional programming through Lambda calculus Выходные данные : Wokingham etc: Addison-Wesley, 1988 Колич.характеристики :XV, 320 с Серия: Intern. computer science ser. Примечания : ; Библиогр.: с. 309.-311.-Указ.: с. 313-320 ISBN, Цена 0-201-17812-5: Б.ц. ГРНТИ : ; 50.05.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; лямбда-исчисления Перейти к источнику в Интернете: An introduction to functional programming through Lambda calculus LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

45

Xiyou jinshu cailiao yu (Металлургия/Статьи)


Тип Отдельный выпуск журнала Авторы Название X …

VINITI Projects Database (Russian)

48

V (Информатика/Англо-русский словарь по информатике)


   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

49

University of Würzburg. Robotics and Telematics (Машиностроение/Организации)


Тип: университет Профиль деятельности: Mobile Robots, Telematics, Space exploration, Robots in medicine ГРНТИ: 55.30 Область наук: Техника Город: Würzburrg, Deutschland www …

VINITI Projects Database (Russian)

51

University of Southern California Robotics Research Laboratory (Машиностроение/Организации)


Тип: научный центр Профиль деятельности: Research in autonomous robotics, biological and artificial neural systems, reinforcement learning, genetic algorithms, robotic and prosthetic hands, desig …

VINITI Projects Database (Russian)

53

University of Electro-Communications. Yamafuji and Ulyanov Lab. (Машиностроение/Организации)


Тип: университет Профиль деятельности: Mechatronics, Mobile robots, Manipulators Сокр. название: EC ГРНТИ: 55.30 Область наук: Техника Город: Tokyo, Japan www.yama.mce.uec.ac.jp/ …

VINITI Projects Database (Russian)

55

University of Dortmund. Institute of Robotics Research (Машиностроение/Организации)


Тип: научный центр Профиль деятельности: Multi-Robot-Systems, Space robotics, Automation, Communication, Mobile robots Сокр. название: IRF ГРНТИ: 55.30 Область наук: Техника Город: Do …

VINITI Projects Database (Russian)

57

University of Bremen. Institute for Automation (Машиностроение/Организации)


Тип: научный центр Профиль деятельности: Servicerobotics, Planning, Vision, Teaching, Inverse kinematics ГРНТИ: 55.30 Область наук: Техника Город: Bremen, Deutschland http://siem …

VINITI Projects Database (Russian)

60

University Aachen. European Center for Mechatronics (Машиностроение/Организации)


Тип: университет Профиль деятельности: Mechatronics, Micromechanics, Service robots, Communication, Userinterface, Sensor systems ГРНТИ: 55.30 Область наук: Техника Город: Aachen, Deutsc …

VINITI Projects Database (Russian)

61

University Aachen Prozeßsteuerung in der Schweißtechnik (Машиностроение/Организации)


Тип: университет Профиль деятельности: Mobile robots, Manufacturing ГРНТИ: 55.30 Область наук: Техника Город: Aahen, Deutschland www.rwth-aahen.de (www.rwth-aahen.de) …

VINITI Projects Database (Russian)

64

Typed lambda calculi and applications Lecture notes in computer science Springer-Verlag SpringerLink 17940; Математическая логика, Съезды и конференции 5862; Вычислительная техника, Съезды и конференции

Urzyczyn, P. ed.; SpringerLink (Online service)

510.6(063)T99 Typed lambda calculi and applications [Electronic resource] : 7th international conference,TLCA 2005 Nara,Japan, April 21-23 2005: proc. / ed. P. Urzyczyn. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3461). - ISBN 978-35403-2014-2 : Б. ц.ГРНТИ 27.03.1950.01.13УДК 510.6(063)004(063) Рубрики: Математическая логика--Съезды и конференцииВычислительная техника--Съезды и конференцииПерейти к источнику в Интернете: Typed lambda calculi and applications Держатели документа: ГПНТБ России Доп.точки доступа: Urzyczyn, P. \ed.\; SpringerLink (Online service) Экз-ры: LAMBDA$

State Public Technical Library of Russia (Russian)

65

Typed lambda calculi and applications Lecture notes in computer science Springer-Verlag SpringerLink 17940; Математическая логика, Съезды и конференции 5862; Вычислительная техника, Съезды и конференции

Rocca, S. ed.; SpringerLink (Online service)

510.6(063)T99 Typed lambda calculi and applications [Electronic resource] : 8th International conference,TLCA 2007, Paris, France,June 26-28, 2007: proceedings / ed. S. Rocca. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4583). - ISBN 978-3-540-73228-0 : Б. ц.ГРНТИ 27.03.1950.01.13УДК 510.6(063)004(063) Рубрики: Математическая логика--Съезды и конференцииВычислительная техника--Съезды и конференцииПерейти к источнику в Интернете: Typed lambda calculi and applications Держатели документа: ГПНТБ России Доп.точки доступа: Rocca, S. \ed.\; SpringerLink (Online service) Экз-ры: LAMBDA$

State Public Technical Library of Russia (Russian)

66

Typed lambda calculi and applications Lecture notes in computer science 0 ^aТипизованный ламбда-анализ и приложения.Труды 2-й межд.конф.Эдинбург,Великобритания,1995 Springer 0 ; типизованный лямбда-анализ, анляти Библиогр. в конце докл 0 ; типизованный лямбда-анализ, анляти

Dezani-Ciancaglini, M.; Plotkin, G.

Вид документа : Однотомное издание Шифр издания : Заглавие : Typed lambda calculi and applications : Proceedings Выходные данные : Berlin etc.: Springer, 1995 Колич.характеристики :VIII,442 c: ил Серия: Lecture notes in computer science; Vol.902 Примечания : ; Библиогр. в конце докл ISBN, Цена 3-540-59048-X: Б.ц. ГРНТИ : ; 27.03.19 Ключевые слова (''Своб.индексиров.''): 0 ; типизованный лямбда-анализ, анляти Перейти к источнику в Интернете: Typed lambda calculi and applications Доп.точки доступа: Dezani-Ciancaglini, M.; Plotkin, G. LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

67

Typed lambda calculi and applications Lecture notes in computer science 0 ^aЛямбда исчисление и его применение. Материалы международной конференции. Утрехт (Ниделанды), 1993 г. Springer Библиогр. в конце докл.

Bezem, Marc .

Вид документа : Однотомное издание Шифр издания : Заглавие : Typed lambda calculi and applications : Proceedings Выходные данные : Berlin etc.: Springer, 1993 Колич.характеристики :VIII, 432 с.: ил. Серия: Lecture notes in computer science Примечания : ; Библиогр. в конце докл. ISBN, Цена 3-540-56517-5: Б.ц. ГРНТИ : ; 27.03.15 Перейти к источнику в Интернете: Typed lambda calculi and applications, Перейти к источнику в Интернете:  Доп.точки доступа: Bezem, Marc \.\ LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

68

Toshiba. Research and Development Center (Машиностроение/Организации)


Тип: научный центр Профиль деятельности: Vision, Speech, Humanoids, Pipeline inspection, Control, Modular manipulation ГРНТИ: 55.30 Область наук: Техника Город: Tokyo www.toshiba …

VINITI Projects Database (Russian)

70

The Institute of Nanotechnology (Химия/Организации)


Тип: институт Профиль деятельности: Развитие и продвижение всех аспектов нанотехнологии. Организация международных научных мероприятий, обучающих курсов для поощрения внедрения нанотехнологии в п …

VINITI Projects Database (Russian)

71

Technische Universität Münchenn. Theoretische Informatik und Grundlagen der KI (Машиностроение/Организации)


Тип: университет Профиль деятельности: Adaptive control, Mobile robots, Distributed AI, Neural Networks ГРНТИ: 55.30 Область наук: Техника Город: Münche n,, Deutschland www. …

VINITI Projects Database (Russian)

73

Technical University of Hamburg-Harburg. Department for machine tools and automation technology (Машиностроение/Организации)


Тип: университет Профиль деятельности: Autonomous robots, Vision, Pattern recognition, Medical robotics, Planning, Manipulation ГРНТИ: 55.30 Область наук: Техника Город: Hamburg, Deutsch …

VINITI Projects Database (Russian)

74

Technical University Berlin. Real-Time Systems (Машиностроение/Организации)


Тип: университет Профиль деятельности: Mobile robots, Human interface, Vision, Realtime ГРНТИ: 55.30 Область наук: Техника Город: Berlin, Deutschland www.tu-berlin.de (www.tu-ber …

VINITI Projects Database (Russian)

75

T (Информатика/Англо-русский словарь по информатике)


   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

77

S (Информатика/Англо-русский словарь по информатике)


   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

78

Robot Books.com (Машиностроение/Ресурсы)


Тип2НазваниеRobot Books.comОписаниеReviews of robotics books, plus robot kits, movies, and toy robotsКлючевые словароботы, элементы, книги, продажаПерспективы развитияТип доступасвободныйФормат данных …

VINITI Projects Database (Russian)

80

Rezeptorekennung durch Schwanzfasern von Bakteriophagen: Analyse der Wirtsbereichsdetermination geradzahliger T-Phagen und Charakterisierung T4-homologer Schwanzfasern des Bakteriophagen Lambda 0 ^aРецепторная диагностика через хвостовые нити бактериофага: анализ определения хозяйственной сферы четных Т-фагов и характеристика Т4-гомологичных хвостовых нитей бактериофага лямбда:Дис 0 ; рецепторная диагностика Библиогр. в конце кн 0 ; рецепторная диагностика


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Montag D. Заглавие : Rezeptorekennung durch Schwanzfasern von Bakteriophagen: Analyse der Wirtsbereichsdetermination geradzahliger T-Phagen und Charakterisierung T4-homologer Schwanzfasern des Bakteriophagen Lambda : Diss Выходные данные : Tubingen, 1989 Колич.характеристики :VI, 98 с: ил Примечания : ; Библиогр. в конце кн Цена : Б.ц. ГРНТИ : ; 34.25 Ключевые слова (''Своб.индексиров.''): 0 ; рецепторная диагностика Перейти к источнику в Интернете: Rezeptorekennung durch Schwanzfasern von Bakteriophagen: Analyse der Wirtsbereichsdetermination geradzahliger T-Phagen und Charakterisierung T4-homologer Schwanzfasern des Bakteriophagen Lambda LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

81

Red book (Металлургия/Издания)


Тип Книга Авторы G.Effenberg, O.I. Bodak, L.A. Petrova Название …

VINITI Projects Database (Russian)

82

Radiative correction to electron-neutrino correlation in lambda В-decay KFKI/Kozp. fiz. kut. int. 0 ^aРадиационная поправка к электрон-нейтрино корреляции при GВ-распаде GА Рез.: англ., венг. и рус. Библиогр.: с.5

Gluck, F

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : TWoth K, Gluck F Заглавие : Radiative correction to electron-neutrino correlation in lambda В-decay . -Prepr Выходные данные : Budapest: Hung. acad. of sciences, Centr. research inst. for physics, 1988 Колич.характеристики :8 с Серия: KFKI/Kozp. fiz. kut. int., ISSN 0368 5330; 1988-71/A Примечания : ; Рез.: англ., венг. и рус. Библиогр.: с.5 Цена : Б.ц. УДК : Перейти к источнику в Интернете: Radiative correction to electron-neutrino correlation in lambda В-decay Доп.точки доступа: Gluck, F LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

83

Ra (Информатика/Англо-русский словарь по информатике)


   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

85

Possibility of observation of super narrow dibaryons with symmetric wave function in reactions Препринт Фотоядерные реакции, , рефо

Alekseev , V.M.; Cherepnya, S.N.; Fil'kov, L.V.; Kashevarov, V.L.

М/9254/52(1996) Possibility of observation of super narrow dibaryons with symmetric wave function in reactions [Text] : препринт / V.M.Alekseev ,S.N.Cherepnya,L.V.Fil'kov,V.L.Kashevarov. - Moscow, 1996. - 26 p. : il. - (Препринт ; 52(1996)). - 50 экз. - Б. ц.ГРНТИ 29.15.19УДК 539.172.3(04) Рубрики: Фотоядерные реакции Держатели документа: ГПНТБ России Доп.точки доступа: Alekseev , V.M.; Cherepnya, S.N.; Fil'kov, L.V.; Kashevarov, V.L. Экз-ры: хр(1) DIBARYONS$

State Public Technical Library of Russia (Russian)

86

Pa (Информатика/Англо-русский словарь по информатике)


   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

88

On diquark dibaryons Lucrari/Centr.inst.of physics,Bucharest,Romania;HE-118 0 ^aК вопросу дикварковых дибарионов 0 ; дикварки Библиогр.:стб.5 0 ; дикварки

Cotorobai F.; Pantea D.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Besliu C., Cotorobai F., Pantea D. Заглавие : On diquark dibaryons Выходные данные : Bucharest, 1989 Колич.характеристики :5 стб Серия: Lucrari/Centr.inst.of physics,Bucharest,Romania;HE-118 Примечания : ; Библиогр.:стб.5 Цена : Б.ц. ГРНТИ : ; 29.05.49 + ; 29.05.27 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; дикварки Перейти к источнику в Интернете: On diquark dibaryons Доп.точки доступа: Cotorobai F.; Pantea D. DIBARYONS$

The Russian Union Catalog of Scientific Literature (Russian)

89

On diquark dibaryons Centr.inst.of physics;HE-118-1989 0 ^aО дикварковых дибарионах 0 ; дикварковые дибарионы Библиогр.:стб.5 0 ; дикварковые дибарионы

Cotorobai F.; Pantea D.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Besliu C., Cotorobai F., Pantea D. Заглавие : On diquark dibaryons Выходные данные : Bucharest, 1989 Колич.характеристики :7 стб Серия: Centr.inst.of physics;HE-118-1989 Примечания : ; Библиогр.:стб.5 Цена : Б.ц. ГРНТИ : ; 29.05.49 Ключевые слова (''Своб.индексиров.''): 0 ; дикварковые дибарионы Перейти к источнику в Интернете: On diquark dibaryons Доп.точки доступа: Cotorobai F.; Pantea D. DIBARYONS$

The Russian Union Catalog of Scientific Literature (Russian)

92

Newsflash 2 (Newsflashes/Newsflash)


Yesterday all servers in the U.S. went out on strike in a bid to get more RAM and better CPUs. A spokes person said that the need for better RAM was due to some fool increasing the front-side bus spee …

VINITI Projects Database (Russian)

93

Needed reduction and spine strategies for the lambda calculus Rep./Centrum voor wiskunde en informatica. Computer science/Dep. of software technology 0 ^aНеобходимая редукция и спинорные стратегии для Лямбды-исчислений Stichting math. centrum Библиогр.: с.35-37

Barendregt, H.P; Kennaway, J.R; Klop, J.W

Вид документа : Однотомное издание Шифр издания : K Заглавие : Needed reduction and spine strategies for the lambda calculus Выходные данные : Amsterdam: Stichting math. centrum, 1986 Колич.характеристики :37 с Серия: Rep./Centrum voor wiskunde en informatica. Computer science/Dep. of software technology; CS-R8621 Примечания : ; Библиогр.: с.35-37 Цена : Б.ц. ГРНТИ : ; 27.03.19 УДК : Перейти к источнику в Интернете: Needed reduction and spine strategies for the lambda calculus Доп.точки доступа: Barendregt, H.P; Kennaway, J.R; Klop, J.W LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

94

Needed reduction and spine strategies for the lambda calculus CWI reports.Computer science;R8621

Kennaway, J.R.; Klop, J.W.; Sleep, M.R.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Barendregt H.P., Kennaway J.R., Klop J.W., Sleep M.R. Заглавие : Needed reduction and spine strategies for the lambda calculus Выходные данные : Б.м.,Б.г. Колич.характеристики :37 p.: ill. Серия: CWI reports.Computer science;R8621 Цена : Б.ц. ГРНТИ : ; 27 УДК : Перейти к источнику в Интернете: Needed reduction and spine strategies for the lambda calculus Доп.точки доступа: Kennaway, J.R.; Klop, J.W.; Sleep, M.R. LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

95

National Nanotechnology Initiative (Химия/Ресурсы)


ТипНазваниеNational Nanotechnology InitiativeОписаниеThe National Nanotechnology Initiative (NNI) is a federal R&D program established to coordinate the multiagency efforts in nanoscale science, e …

VINITI Projects Database (Russian)

96

National Institute of Advanced Industrial Science and Technology (Машиностроение/Организации)


Тип: научный центр Профиль деятельности: 3-d vision, Human friendly systems, Field robotics, Intelligent transport systems, Humanoids, Auditory signal processing Сокр. название: AIST ГРНТИ: …

VINITI Projects Database (Russian)

98

Nanofactory Instruments (Химия/Организации)


Типпромышленная компанияПолное название (официальное)Nanofactory InstrumentsПрофиль деятельностиNanofactory Instruments develop, manufacture and sell unique solutions for the electron microscopy marke …

VINITI Projects Database (Russian)

99

N (Информатика/Англо-русский словарь по информатике)


   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

100

Molecular picture for dibaryons 0 ^aМолекулярная картина для дибарионов 0 ; дибарионы Библиогр.: стб.6 0 ; дибарионы


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Nikitiu F. Заглавие : Molecular picture for dibaryons Выходные данные : Bucharest, 1990 Колич.характеристики :7 стб: ил Примечания : ; Библиогр.: стб.6 Цена : Б.ц. ГРНТИ : ; 29.05.27 Ключевые слова (''Своб.индексиров.''): 0 ; дибарионы Перейти к источнику в Интернете: Molecular picture for dibaryons DIBARYONS$

The Russian Union Catalog of Scientific Literature (Russian)

102

Lambdameter

Degtyarenko, P.V.; Efremenko, Yu.V.; Fyodorov, V.B.

Н/11110/36-91 Lambdameter [Text] : препринт / P.V.Degtyarenko,Yu.V.Efremenko,V.B.Fyodorov и др. - Moscow, 1991. - 26 p. : il. - ; 36-91). - 260 экз. - 00.19 р. Библиогр.: с. 26-27ГРНТИ 29.15.39УДК 537.591.08(04) Держатели документа: ГПНТБ России Доп.точки доступа: Degtyarenko, P.V.; Efremenko, Yu.V.; Fyodorov, V.B. Экз-ры: хр(1) LAMBDA$

State Public Technical Library of Russia (Russian)

103

Lambda/kaon relative production in p+ nucleus reactions in terms of a quark recombination diagram Report series 0 ^aПобочное получение пары ламбда/каон в ядерных реакциях p+ по схеме рекомбинации кварков:Проект ЦЕРН PS-179 в сотрудничестве с персоналом установки LEAR Institute of physics(Oslo) 0 ; побочное получение; пары ламбда; ядерные реакции Библиогр.: с. 5 0 ; побочное получение; пары ламбда; ядерные реакции


Вид документа : Однотомное издание Шифр издания : K Заглавие : Lambda/kaon relative production in p+ nucleus reactions in terms of a quark recombination diagram : CERN-project PS-179 lear-collaboration Выходные данные : Б.м.,Б.г. Колич.характеристики :5 с: 4 л.ил Коллективы : Institute of physics(Oslo) Серия: Report series/ Inst. of physics, ISSN 03325571;89-02 Примечания : ; Библиогр.: с. 5 ; В надзаг.: Univ. of Oslo Цена : Б.ц. ГРНТИ : ; 29.15.19 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; побочное получение; пары ламбда; ядерные реакции Перейти к источнику в Интернете: Lambda/kaon relative production in p+ nucleus reactions in terms of a quark recombination diagram LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

104

Lambda calculus with explicit recursion Report:Computer science Программирование для ЭВМ, , прэв

Klop, J.W.

R/16212/CS-R9651 Ariola, Z. M. Lambda calculus with explicit recursion [Text] : сборник научных трудов / Z.M.Ariola,J.W.Klop. - Amsterdam : [s. n.], 1996. - 75 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9651). - 3000 р. Библиогр.:с.71-75ГРНТИ 50.05.03УДК 004.42 Рубрики: Программирование для ЭВМ Держатели документа: ГПНТБ России Доп.точки доступа: Klop, J.W. Экз-ры: ХР(1) LAMBDA$

State Public Technical Library of Russia (Russian)

105

Lambda calculus with explicit recursion Report:Computer science ; Программирование для ЭВМ , прэв

Klop, J.W.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Ariola Z.M., Klop J.W. Заглавие : Lambda calculus with explicit recursion Выходные данные : Amsterdam, 1996 Колич.характеристики :75 p.: ill. Серия: Report:Computer science/ Centrum voor wiskunde en informatica(Amsterdam), ISSN 0169-118X; CS-R9651 Примечания : ; Библиогр.:с.71-75 Цена : Б.ц. ГРНТИ : ; 50.05.03 УДК : + Предметные рубрики: Программирование для ЭВМ Перейти к источнику в Интернете: Lambda calculus with explicit recursion Доп.точки доступа: Klop, J.W. LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

106

Lambda calculus as anadequate foundation of mathematics Rapp./DIKU 0 ^aЛямба (.)- исчисление в качестве достаточного основания математики Datalogisk inst., Kobenhavns univ 0 ; Лямба исчисление Библиогр.: с. 93 0 ; Лямба исчисление


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Grue K. Заглавие : Lambda calculus as anadequate foundation of mathematics : Semantic approach Выходные данные : Kobenhavn: Datalogisk inst., Kobenhavns univ, 1989 Колич.характеристики :93 с Серия: Rapp./DIKU, ISSN 0107-8283; N 89/4 Примечания : ; Библиогр.: с. 93 Цена : Б.ц. ГРНТИ : ; 27.03.15 Ключевые слова (''Своб.индексиров.''): 0 ; лямба исчисление Перейти к источнику в Интернете: Lambda calculus as anadequate foundation of mathematics LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

107

Lambda 2 0 ^aЛямбда-2 Cold Spring Harbor lab. Библиогр. в конце гл. Предм.указ.: с.685-694

Hendrix, R.W

Вид документа : Однотомное издание Шифр издания : K Заглавие : Lambda 2 Выходные данные : Cold Spring Harbor: Cold Spring Harbor lab., 1983 Колич.характеристики :10, 694 с Примечания : ; Библиогр. в конце гл. Предм.указ.: с.685-694 ISBN, Цена 0-87696-177-8: Б.ц. ГРНТИ : ; 34.25 УДК : Перейти к источнику в Интернете: Lambda 2 Доп.точки доступа: Hendrix, R.W LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

109

Konstruktion von neuen Lambda-Expressionsvektoren und die Herstellung einer genomischen Expressionsbank des Malariaerregers Plasmodium falciparum 0 ^aКонструкция новых лямбда-экспрессионных векторов и описание геномного экспрессивного банка возбудителя малярии плазмодиума фальципарума.Дис Библиогр.: с.82-85


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Pohl I Заглавие : Konstruktion von neuen Lambda-Expressionsvektoren und die Herstellung einer genomischen Expressionsbank des Malariaerregers Plasmodium falciparum : Diss Выходные данные : Koln: S.n., 1987 Колич.характеристики :6,85 с Примечания : ; Библиогр.: с.82-85 Цена : Б.ц. УДК : Перейти к источнику в Интернете: Konstruktion von neuen Lambda-Expressionsvektoren und die Herstellung einer genomischen Expressionsbank des Malariaerregers Plasmodium falciparum, Перейти к источнику в Интернете:  LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

111

K (Информатика/Англо-русский словарь по информатике)


   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

112

Journal of nanoscience and nanotechnology (Металлургия/Ресурсы)


ТипОтдельный выпуск журналаАвторыНазваниеJournal of nanoscience and nanotechnologyРефератпубликуются материалы по нанотехнологиям и наноматериаламКлючевые словананотехнологии, наноматериалыПолное назв …

VINITI Projects Database (Russian)

114

Japan Marine Science and Technology Center Deep Sea Research (Машиностроение/Организации)


Тип: научный центр Профиль деятельности: Underwater robotics Сокр. название: JAMSTEC ГРНТИ: 55.30 Область наук: Техника Город: Yokosuka, Kanagawa, Japan www.jamstec.go.jp/index-e/ …

VINITI Projects Database (Russian)

116

International University Bremen. Robotics Lab. (Машиностроение/Организации)


Тип: научный центр Профиль деятельности: Robotic rescue, Embedded systems Сокр. название: IUB ГРНТИ: 55.30 Область наук: Техника Город: Bremen, Deutschland http://robotics.iu- …

VINITI Projects Database (Russian)

117

International Organization for Standardization (Автоматика и радиоэлектроника/Организации)


ТипорганизацияПолное название (официальное)International Organization for Standardization - Международная организация по стандартизацииПрофиль деятельностиМетрология стандартизация международная деяте …

VINITI Projects Database (Russian)

119

Infinitary lambda calculus Report:Computer science Программирование для ЭВМ, , прэв

Kennaway, J.R.; Klop, J.W.; Sleep, M.R.; Vries, F.-J.de

R/16212/CS-R9535 Infinitary lambda calculus [Text] : сборник / J.R.Kennaway,J.W.Klop,M.R.Sleep,F.-J.de Vries. - Amsterdam : [s. n.], 1995. - 15 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9535). - 500 р. Библиогр.:с.15ГРНТИ 50.05.03УДК 004.42 Рубрики: Программирование для ЭВМ Держатели документа: ГПНТБ России Доп.точки доступа: Kennaway, J.R.; Klop, J.W.; Sleep, M.R.; Vries, F.-J.de Экз-ры: ХР(1) LAMBDA$

State Public Technical Library of Russia (Russian)

120

Infinitary lambda calculus Report:Computer science ; Программирование для ЭВМ теоретическое , пртеэв

Klop, J.W.; Sleep, M.R.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Kennaway J.R., Klop J.W., Sleep M.R. Заглавие : Infinitary lambda calculus Выходные данные : Amsterdam, 1995 Колич.характеристики :15 p.: ill Серия: Report:Computer science/ Centrum voor wiskunde en informatica(Amsterdam), ISSN 0169-118X; CS-R9535 Примечания : ; Библиогр.:с.15 Цена : Б.ц. ГРНТИ : ; 50.05.03 УДК : Предметные рубрики: Программирование для ЭВМ теоретическое Перейти к источнику в Интернете: Infinitary lambda calculus, Перейти к источнику в Интернете:  Доп.точки доступа: Klop, J.W.; Sleep, M.R. LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

121

I (Информатика/Англо-русский словарь по информатике)


   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

123

Holzvergaserkessel Biovent SLL 20 mit Lambda-Logik Prufbericht 0 ^aПротокол государственных испытаний котельной установки MF Biovent SLL 20 мощностью 20 кВт на твердом топливе. (Австрия) 0 ; отопительные котлы; топливо; испытания; австрия 0 ; отопительные котлы; топливо; испытания; австрия 0 ; отопительные котлы; топливо; испытания; австрия


Вид документа : Однотомное издание Шифр издания : K Заглавие : Holzvergaserkessel Biovent SLL 20 mit Lambda-Logik Выходные данные : Wieselburg, 1999 Колич.характеристики :14 c.: ил Серия: Prufbericht/ Bundesanst.fur Landtechnik; 1999,N 031 Цена : Б.ц. ГРНТИ : ; 68.85.81 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; отопительные котлы; топливо; испытания; австрия Перейти к источнику в Интернете: Holzvergaserkessel Biovent SLL 20 mit Lambda-Logik LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

125

Hackgut-Heizung HSV 50 Lambdatronic Prufbericht 0 ^aОписание и техническая характеристика отопительной установки системы HSV 50 Lambdatronic,работающей на древесных отходах.(Австрия) 0 ; отопительные приборы; древесные отходы; техническая характеристика 0 ; отопительные приборы; древесные отходы; техническая характеристика 0 ; отопительные приборы; древесные отходы; техническая характеристика


Вид документа : Однотомное издание Шифр издания : K Заглавие : Hackgut-Heizung HSV 50 Lambdatronic Выходные данные : Wieselburg/Erlauf, 1997 Колич.характеристики :42 c.: ил. Серия: Prufbericht; 1997,N 064 Цена : Б.ц. УДК : Ключевые слова (''Своб.индексиров.''): 0 ; отопительные приборы; древесные отходы; техническая характеристика Перейти к источнику в Интернете: Hackgut-Heizung HSV 50 Lambdatronic LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

126

Hackgut-Heizung HSV 30 Lambdatronic Prufbericht 0 ^aОписание и техническая характеристика отопительной установки системы HSV-30 Lambdatronic,работающей на древесных отходах.(Австрия) 0 ; отопительные приборы; древесные отходы; техническая характеристика 0 ; отопительные приборы; древесные отходы; техническая характеристика 0 ; отопительные приборы; древесные отходы; техническая характеристика


Вид документа : Однотомное издание Шифр издания : K Заглавие : Hackgut-Heizung HSV 30 Lambdatronic Выходные данные : Wieselburg/Erlauf, 1997 Колич.характеристики :41 c.: ил. Серия: Prufbericht; 1997,N 065 Цена : Б.ц. УДК : Ключевые слова (''Своб.индексиров.''): 0 ; отопительные приборы; древесные отходы; техническая характеристика Перейти к источнику в Интернете: Hackgut-Heizung HSV 30 Lambdatronic LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

130

G (Информатика/Англо-русский словарь по информатике)


   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

131

Froling Holzhackgutfeuerung Lambdamatic 30 Standard Prufbericht 0 ^aПротокол государственных испытаний автоматизированной топки 30 Standard мощностью 40 кВт на измельченной древесине и древесных гранулах.(Австрия) 0 ; теплоснабжение; топки; топливо; древесина; автоматическое управление; испытание 0 ; теплоснабжение; топки; топливо; древесина; автоматическое управление; испытание 0 ; теплоснабжение; топки; топливо; древесина; автоматическое управление; испытание


Вид документа : Однотомное издание Шифр издания : K Заглавие : Froling Holzhackgutfeuerung Lambdamatic 30 Standard Выходные данные : Wieselburg/Erlauf, 1997 Колич.характеристики :34 c.: ил Серия: Prufbericht; 1997,N 006 Цена : Б.ц. ГРНТИ : ; 68.85.81 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; теплоснабжение; топки; топливо; древесина; автоматическое управление; испытание Перейти к источнику в Интернете: Froling Holzhackgutfeuerung Lambdamatic 30 Standard LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

132

Froling Holzhackgutfeuerung Lambdamatic 30 Standard Prufbericht 0 ^aПротокол государственных испытаний автоматизированной топки 30 Standard мощностью 40 кВт на измельченной древесине и древесных гранулах.(Австрия)


Вид документа : Однотомное издание Шифр издания : K Заглавие : Froling Holzhackgutfeuerung Lambdamatic 30 Standard Выходные данные : Wieselburg/Erlauf, 1997 Колич.характеристики :34 c.: ил Серия: Prufbericht/ Bundesanst.fur Landtechnik; 1997,N 006 Цена : Б.ц. ГРНТИ : ; 68.85.81 УДК : Перейти к источнику в Интернете: Froling Holzhackgutfeuerung Lambdamatic 30 Standard LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

133

Froling Holzhackgutfeuerung Lambdamatic 30 Prufbericht/Bundesanst.fur Landtechnik 1 ^aПротокол испытаний топки Lambdamatic 30,работающей на древесной щепе,проведенных Государственной машиноиспытательной станцией в Визельбурге,Австрия 0 ; топки; древесные отходы; испытания машин; машиноиспытательные станции; Австрия, то 0 ; топки; древесные отходы; испытания машин; машиноиспытательные станции; Австрия, то


Вид документа : Однотомное издание Шифр издания : Заглавие : Froling Holzhackgutfeuerung Lambdamatic 30 Выходные данные : Wieselburg/Erlauf, 1994 Колич.характеристики :30 c.: ил Серия: Prufbericht/Bundesanst.fur Landtechnik; N 025/94 Цена : Б.ц. ГРНТИ : ; 68.01.84 Ключевые слова (''Своб.индексиров.''): 0 ; топки; древесные отходы; испытания машин; машиноиспытательные станции; австрия, то Перейти к источнику в Интернете: Froling Holzhackgutfeuerung Lambdamatic 30 LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

134

Froling Holzhackgutfeuerung Lambdamatic 30 ECO Prufbericht 0 ^aПротокол государственных испытаний автоматизированной топки 30 ЕСО мощностью 35 кВт на измельченной древесине и древесных гранулах.(Австрия) 0 ; теплоснабжение; топки; топливо; древесина; автоматическое управление; испытание 0 ; теплоснабжение; топки; топливо; древесина; автоматическое управление; испытание 0 ; теплоснабжение; топки; топливо; древесина; автоматическое управление; испытание


Вид документа : Однотомное издание Шифр издания : K Заглавие : Froling Holzhackgutfeuerung Lambdamatic 30 ECO Выходные данные : Wieselburg/Erlauf, 1997 Колич.характеристики :18 c.: ил Серия: Prufbericht; 1997,N 007 Цена : Б.ц. ГРНТИ : ; 68.85.81 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; теплоснабжение; топки; топливо; древесина; автоматическое управление; испытание Перейти к источнику в Интернете: Froling Holzhackgutfeuerung Lambdamatic 30 ECO LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

135

Froling Holzhackgutfeuerung Lambdamatic 30 ECO Prufbericht 0 ^aПротокол государственных испытаний автоматизированной топки 30 ЕСО мощностью 35 кВт на измельченной древесине и древесных гранулах.(Австрия)


Вид документа : Однотомное издание Шифр издания : K Заглавие : Froling Holzhackgutfeuerung Lambdamatic 30 ECO Выходные данные : Wieselburg/Erlauf, 1997 Колич.характеристики :18 c.: ил Серия: Prufbericht/ Bundesanst.fur Landtechnik; 1997,N 007 Цена : Б.ц. ГРНТИ : ; 68.85.81 УДК : Перейти к источнику в Интернете: Froling Holzhackgutfeuerung Lambdamatic 30 ECO LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

136

Froling Holzhackgutfeuerung Lambdamatic 15 Standard Prufbericht 0 ^aПротокол государственных испытаний автоматизированной топки 15 Standard мощностью 25 кВт на измельченной древесине и древесных гранулах.(Австрия) 0 ; теплоснабжение; топки; топливо; древесина; автоматическое управление; испытание 0 ; теплоснабжение; топки; топливо; древесина; автоматическое управление; испытание 0 ; теплоснабжение; топки; топливо; древесина; автоматическое управление; испытание


Вид документа : Однотомное издание Шифр издания : K Заглавие : Froling Holzhackgutfeuerung Lambdamatic 15 Standard Выходные данные : Wieselburg/Erlauf, 1997 Колич.характеристики :34 c.: ил Серия: Prufbericht; 1997,N 005 Цена : Б.ц. ГРНТИ : ; 68.85.81 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; теплоснабжение; топки; топливо; древесина; автоматическое управление; испытание Перейти к источнику в Интернете: Froling Holzhackgutfeuerung Lambdamatic 15 Standard LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

137

Froling Holzhackgutfeuerung Lambdamatic 15 Standard Prufbericht 0 ^aПротокол государственных испытаний автоматизированной топки 15 Standard мощностью 25 кВт на измельченной древесине и древесных гранулах.(Австрия)


Вид документа : Однотомное издание Шифр издания : K Заглавие : Froling Holzhackgutfeuerung Lambdamatic 15 Standard Выходные данные : Wieselburg/Erlauf, 1997 Колич.характеристики :34 c.: ил Серия: Prufbericht/ Bundesanst.fur Landtechnik; 1997,N 005 Цена : Б.ц. ГРНТИ : ; 68.85.81 УДК : Перейти к источнику в Интернете: Froling Holzhackgutfeuerung Lambdamatic 15 Standard LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

139

Foster-Miller, Inc. (Химия/Организации)


Типпромышленная компанияПолное название (официальное)Foster-Miller, Inc.Профиль деятельностиNanotechnology company providing system design and integration, microelectronics services, biomedical techno …

VINITI Projects Database (Russian)

140

FirstBots Home (Машиностроение/Ресурсы)


Тип2НазваниеFirstBots HomeОписаниеFeaturing the simple mobile robot that most hobbyists can build in a weekend. Also containe links to uzer groups, publications, suppliers and other robotics topics.Кл …

VINITI Projects Database (Russian)

142

European Cooperation in Legal Metrology (Автоматика и радиоэлектроника/Организации)


ТипОрганизацияПолное название (официальное)European Cooperation in Legal Metrology - Европейское сотрудничество в области законодательной метрологииПрофиль деятельностиМетрология стандартизация междун …

VINITI Projects Database (Russian)

143

European Committee for Standardization - Европейский Комитет по стандартизации (Автоматика и радиоэлектроника/Организации)


ТипОрганизацияПолное название (официальное)European Committee for Standardization - Европейский Комитет по стандартизацииПрофиль деятельностиМетрология стандартизация международная деятельностьСокращё …

VINITI Projects Database (Russian)

146

Epson. Industrial Robots-Devision (Машиностроение/Организации)


Тип: хозяйственная Профиль деятельности: Manufacturing, Manipulation, Control ГРНТИ: 55.30 Область наук: Техника Email: robot.infos@epson.de Город: Deutschland www.epson.de/en …

VINITI Projects Database (Russian)

148

E (Информатика/Англо-русский словарь по информатике)


   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

149

Decay modes of sigma and lambda hypernuclei Physics rep.:A rev. sect. of Physics letters 0 ^aИсследование процессов сигма- и лямбда- распадов гиперядер North-Holland Библиогр.: с.142-145


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Oset, E Заглавие : Decay modes of sigma and lambda hypernuclei Выходные данные : Amsterdam: North-Holland, 1990 Колич.характеристики :С. 79-145: ИЛ., ТАБЛ.; 26 СМ Серия: Physics rep.:A rev. sect. of Physics letters, ISSN 0370-1573 Примечания : ; Библиогр.: с.142-145 Цена : Б.ц. ГРНТИ : ; 29.15.03 Перейти к источнику в Интернете: Decay modes of sigma and lambda hypernuclei LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

150

Decay modes of sigma and lambda hypernuclei Physics rep. 0 ^aРаспадная модель сигма и L гиперядер North-Holland 0 ; гиперядра; распад, ги Библиогр.:с.142-145 0 ; гиперядра; распад, ги

Fernandez de Cordoba, P.; Salcedo, L.L.; Brockmann, R.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Oset E., Fernandez de Cordoba P., Salcedo L.L., Brockmann R. Заглавие : Decay modes of sigma and lambda hypernuclei Выходные данные : Amsterdam: North-Holland, 1990 Колич.характеристики :2,145 c: ил Серия: Physics rep., ISSN 0370-1573; Vol.188,N 1 Примечания : ; Библиогр.:с.142-145 Цена : Б.ц. ГРНТИ : ; 29.15.15 Ключевые слова (''Своб.индексиров.''): 0 ; гиперядра; распад, ги Перейти к источнику в Интернете: Decay modes of sigma and lambda hypernuclei Доп.точки доступа: Fernandez de Cordoba, P.; Salcedo, L.L.; Brockmann, R. LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

151

Darmstadt University of Technology. Control Systems Theory & Robotics Department (Машиностроение/Организации)


Тип: университет Профиль деятельности: Control, Manipulaion, Mobile robots ГРНТИ: 55.30 Область наук: Техника Город: Darmstadt, Deutschland www.rt.e-technik.tu-darmstadt.de/index …

VINITI Projects Database (Russian)

153

Daimler Chrysler Research & Technology. Cognition and Robotics Group, Sensor-based and... (Машиностроение/Организации)


Тип: научный центр Профиль деятельности: Mobile robots, Manufacturing assistants, Learning, Human/robot interaction ГРНТИ: 55.30 Область наук: Техника Город: Berlin, Deutschland …

VINITI Projects Database (Russian)

155

Cumulative lambda-particles production Препринт Элементарные частицы, Образование


Н/11110/117-91 Смирницский, А. В. Cumulative lambda-particles production [Text] : препринт / А.В.Смирницский. - Moscow, 1991. - 26 p. - (Препринт / Институт теоретической и экспериментальной физики(Москва) ; 117-91). - 200 экз. - 00.19 р.ГРНТИ 29.05УДК 539.126(04) Рубрики: Элементарные частицы--Образование Держатели документа: ГПНТБ России Экз-ры: хр(1) LAMBDA$

State Public Technical Library of Russia (Russian)

158

Cambridge Scientific Abstracts (Металлургия/Организации)


ТипбиблиотекаПолное название (официальное)Cambridge Scientific AbstractsПрофиль деятельностиинформационное обеспечение в области металлургииСокращённое официальное названиеCSAДата создания1966ГРНТИРФФ …

VINITI Projects Database (Russian)

159

Ca (Информатика/Англо-русский словарь по информатике)


   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca&nb …

VINITI Projects Database (Russian)

161

B (Информатика/Англо-русский словарь по информатике)


   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B Ca (http://science.viniti.ru/index.php?option=com_content&task=view&id=195&Itemid=310)&nb …

VINITI Projects Database (Russian)

163

Aplicacao de modelos baseados na distribuicao lambda generalizada a previsao de caudais de cheia Memoria/Lab.nac.de engenharia civil 0 ^aПрименение моделей,основанных на обобщенном лямбда-распределении,для прогноза уровня паводка: работа,представленная на португальско-бразильском симпозиуме по моделированию в области гидравлики и водных ресурсов Рез.на англ.и порт.яз.Библиогр.: с.30-31


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Henriques A.G Заглавие : Aplicacao de modelos baseados na distribuicao lambda generalizada a previsao de caudais de cheia : Trabalho apresentado no Simposio Luso-Brasileiro sobre simulacao e modelacao em hidraulica e recursos hidricos,Blumenau,Brasil,Nov.1983 Выходные данные : Lisboa, 1984 Колич.характеристики :31 с Серия: Memoria/Lab.nac.de engenharia civil; N 626 Примечания : ; Рез.на англ.и порт.яз.Библиогр.: с.30-31 Цена : Б.ц. ГРНТИ : ; 70.03.07 УДК : Перейти к источнику в Интернете: Aplicacao de modelos baseados na distribuicao lambda generalizada a previsao de caudais de cheia LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

164

Aplicacao de modelos baseados na distribuicao lambda generalizada a previsao de caudais de cheia Memoria/Lab.nac.de engenharia civil 0 ^aПрименение моделей,основанных на обобщенном лямбда-распределении,для прогноза уровня паводка: работа,представленная на португальско-бразильском симпозиуме по моделированию в области гидравлики и водных ресурсов Рез.на англ.и порт.яз.Библиогр.: с.30-31


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Henriques A.G Заглавие : Aplicacao de modelos baseados na distribuicao lambda generalizada a previsao de caudais de cheia : Trabalho apresentado no Simposio Luso-Brasileiro sobre simulacao e modelacao em hidraulica e recursos hidricos,Blumenau,Brasil,Nov.1983 Выходные данные : Lisboa, 1984 Колич.характеристики :31 с Серия: Memoria/Lab.nac.de engenharia civil; N 626 Примечания : ; Рез.на англ.и порт.яз.Библиогр.: с.30-31 Цена : Б.ц. ГРНТИ : ; 70.03.07 УДК : Перейти к источнику в Интернете: Aplicacao de modelos baseados na distribuicao lambda generalizada a previsao de caudais de cheia LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)

165

Another semantics for typed lambda calculus Pr.IPI PAN 0 ^aОтличие семантики типизированных лямбда вычислений.Простой пример функционального языка Inst.podstaw informatyki PAN 0 ; функциональный язык Рез.пол.-Библиогр.:с.15 0 ; функциональный язык


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Ambroszkiewicz S. Заглавие : Another semantics for typed lambda calculus : A simple example of function language Выходные данные : Warsaw: Inst.podstaw informatyki PAN, 1990 Колич.характеристики :15 c: ил Серия: Pr.IPI PAN, ISSN 0138-0648;N689 Примечания : ; Рез.пол.-Библиогр.:с.15 Цена : Б.ц. ГРНТИ : ; 50.05.09 Ключевые слова (''Своб.индексиров.''): 0 ; функциональный язык Перейти к источнику в Интернете: Another semantics for typed lambda calculus, Перейти к источнику в Интернете:  LAMBDA$

The Russian Union Catalog of Scientific Literature (Russian)