diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/biblatex-gost/biblatex-gost-examples.bib')
-rw-r--r-- | Master/texmf-dist/doc/latex/biblatex-gost/biblatex-gost-examples.bib | 97 |
1 files changed, 66 insertions, 31 deletions
diff --git a/Master/texmf-dist/doc/latex/biblatex-gost/biblatex-gost-examples.bib b/Master/texmf-dist/doc/latex/biblatex-gost/biblatex-gost-examples.bib index 0ffeecc074a..bacd275fe02 100644 --- a/Master/texmf-dist/doc/latex/biblatex-gost/biblatex-gost-examples.bib +++ b/Master/texmf-dist/doc/latex/biblatex-gost/biblatex-gost-examples.bib @@ -7033,7 +7033,7 @@ origyear = 1904, origlanguage = {english}, language = {russian}, - langid = {russian}, + langid = {russian}, } @Book{dewey:oep, @@ -8034,15 +8034,15 @@ title = {Религиозная политика Золотой Орды на Руси в XIII—XIV вв.\isdot}, media = {text}, type = {phdthesis}, - major = {ист.}, - majorcode = {07.00.02}, + science = {ист. наук}, + number = {07.00.02}, titleaddon = {защищена 22.01.02~: утв. 15.07.02}, location = {М.}, date = 2002, pagetotal = 215, addendum = {Библиогр.: с. 202---213.~--- 04200201565}, language = {russian}, - langid = {russian}, + langid = {russian}, } @Thesis{vishnyakov:thesis, @@ -8051,15 +8051,15 @@ title = {Модели и методы оценки коммерческих банков в условиях неопределенности}, media = {text}, type = {phdthesis}, - major = {экон.}, - majorcode = {08.00.13}, + science = {экон. наук}, + specialitycode ={08.00.13}, titleaddon = {защищена 12.02.02~: утв. 24.06.02}, location = {М.}, date = 2002, pagetotal = 234, addendum = {Библиогр.: с. 220---230.~--- 04200204433}, language = {russian}, - langid = {russian}, + langid = {russian}, } @Thesis{Skvortsov:2008, @@ -8070,12 +8070,12 @@ institution = {ИТФ им. Л.\,Д.~Ландау}, year = 2008, type = {docthesis}, - major = {физ.-мат.}, - majorcode = {01.04.02}, + science = {физ.-мат. наук}, + specialitycode ={01.04.02}, pagetotal = 224, location = {Черноголовка}, language = {russian}, - langid = {russian}, + langid = {russian}, } @Thesis{Skvortsov:2008autoref, @@ -8085,6 +8085,23 @@ langid = {russian}, } +@Thesis{domanovdi, + author = {Доманов, Дмитрий Иванович}, + title = {Вероятностный анализ риска возникновения катастрофического состояния + применяемых в мостостроении косо опертых плитно-балочных систем из + железобетона при воздействии подвижной нагрузки}, + type = {phdthesis}, + science = {технических наук}, + _institution = {Воронеж. гос. архитектур.-строит. ун-т}, + credits = {[Место защиты: Воронеж. гос. архитектур.-строит. ун-т]}, + year = 2016, + number = {05.23.17}, + language = {russian}, + langid = {russian}, + location = {Воронеж}, + pagetotal = {159 с. : ил.}, +} + @Patent{patent1h, heading = {Пат. 2187888 Рос. федерация, МПК\ensuremath{^7} H 04 B 1/38, H 04 J}, author = {Чугаева, В. И.}, @@ -8101,7 +8118,7 @@ publdate = {2002-08-20}, pagetotal = {2 с.~: ил.}, language = {russian}, - langid = {russian}, + langid = {russian}, } @Patent{patent2h, @@ -8125,7 +8142,7 @@ prcountry = {countryus}, pagetotal = {5 с.~: ил.}, language = {russian}, - langid = {russian}, + langid = {russian}, } @Patent{patent3h, @@ -8144,7 +8161,7 @@ publdate = {1983-03-30}, pagetotal = {2 с.~: ил.}, language = {russian}, - langid = {russian}, + langid = {russian}, } @Patent{patent1, @@ -8163,7 +8180,7 @@ publdate = {2002-08-20}, pagetotal = {2 с.~: ил.}, language = {russian}, - langid = {russian}, + langid = {russian}, } @Patent{patent2, @@ -8187,7 +8204,7 @@ prioritycountry ={countryus}, pagetotal = {5 с.~: ил.}, language = {russian}, - langid = {russian}, + langid = {russian}, } @Patent{patent3, @@ -8206,7 +8223,7 @@ publdate = {1983-03-30}, pagetotal = {2 с.~: ил.}, language = {russian}, - langid = {russian}, + langid = {russian}, } @Reference{standard1h, @@ -8220,7 +8237,7 @@ publisher = {Госстандарт России~: Изд-во стандартов}, year = 2001, pagetotal = {IV, 27 с. : ил.; 29 см.}, - langid = {russian}, + langid = {russian}, } @Reference{standard2h, @@ -8235,7 +8252,7 @@ year = {cop. 2002}, pagetotal = 3, series = {Система стандартов по информации, библиотечному и издательскому делу}, - langid = {russian}, + langid = {russian}, } @Reference{standard3h, @@ -8250,7 +8267,7 @@ year = 2006, pagetotal = 18, series = {Межгосударственный стандарт}, - langid = {russian}, + langid = {russian}, } @Reference{standard1, @@ -8264,7 +8281,7 @@ publisher = {Госстандарт России~: Изд-во стандартов}, year = 2001, pagetotal = {IV, 27 с. : ил.; 29 см.}, - langid = {russian}, + langid = {russian}, } @Reference{standard2, @@ -8279,7 +8296,7 @@ year = {cop. 2002}, pagetotal = 3, series = {Система стандартов по информации, библиотечному и издательскому делу}, - langid = {russian}, + langid = {russian}, } @Reference{standard3, @@ -8294,7 +8311,7 @@ year = 2006, pagetotal = 18, series = {Межгосударственный стандарт}, - langid = {russian}, + langid = {russian}, } @Article{guriev2012russia, @@ -9026,7 +9043,7 @@ series = {Universitext}, pagetotal = 630, language = {english}, - langid = {english}, + langid = {english}, } @Book{fitting:ilmtf, @@ -9040,7 +9057,7 @@ location = {Amsterdam and London}, pagetotal = 191, language = {english}, - langid = {english}, + langid = {english}, } @Book{moens:fskj, @@ -10009,13 +10026,13 @@ note = "Towards Computer Aided Mathematics", issn = "1570-8683", doi = "http://dx.doi.org/10.1016/j.jal.2005.10.011", - abstract = "This paper presents Automath encodings (which are also valid in LF/lambdaP) - of various kinds of foundations of mathematics. Then it compares these - encodings according to their size, to find out which foundation is the - simplest. The systems analyzed in this way are two kinds of set theory - (ZFC and NF), two systems based on Church's higher order logic - (Isabelle/Pure and HOL), three kinds of type theory (the calculus of - constructions, Luo's extended calculus of constructions, and + abstract = "This paper presents Automath encodings (which are also valid in + LF/lambdaP) of various kinds of foundations of mathematics. Then it + compares these encodings according to their size, to find out which + foundation is the simplest. The systems analyzed in this way are two + kinds of set theory (ZFC and NF), two systems based on Church's higher + order logic (Isabelle/Pure and HOL), three kinds of type theory (the + calculus of constructions, Luo's extended calculus of constructions, and Martin-Löf's predicative type theory) and one foundation based on category theory. The conclusions of this paper are that the simplest system is type theory (the calculus of constructions), but that type @@ -10369,3 +10386,21 @@ location = {London}, } +@Thesis{talashkin, + author = {Г. Н. Талашкин}, + title = {Методы преодоления кризисных ситуаций в функционировании + инвестиционно-строительного комплекса России}, + type = {phdthesis}, + science = {экон. наук}, + specialitycode ={08.00.05}, + speciality = {Экономика и упр. нар. хоз-вом (экон. безопасность; экономика, орг. и + упр. предприятиями, отраслями, комплексами)}, + titleaddon = {TITLEADDON}, + credits = {С.-Петерб. гос. ун-т экономики и финансов}, + _institution = {С.-Петерб. гос. ун-т экономики и финансов}, + year = 2011, + language = {russian}, + langid = {russian}, + location = {СПб.}, + pagetotal = 159, +} |