Results
|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
Достоверные вычисления базовые численные методы У. Кулиш, Д. Рац, Р. Хаммер, М. Хокс ; пер. под ред. В. Я. Крейновича, А. Н. Соболевского, А. Г. Яковлева by Кулиш, У | Рац, Д | Хаммер, Р | Хокс, М | Крейнович, В. Я [edt] | Соболевский, А. Н [edt] | Яковлев, А. Г [edt]. Series: Компьютерные математические вычисленияMaterial type: Text; Format:
print
; Literary form:
Not fiction
Publication details: М. [и др.] Регулярная и хаотическая динамика 2005Other title: Numerical toolbox for verified computing I.Availability: No items available :
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
|
|
11.
|
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
|
|
16.
|
|
|
17.
|
|
|
18.
|
|
|
19.
|
Interactive systems design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers edited by Philippe Palanque, Fabio Paternò by Palanque, Philippe [edt] | Paternò, Fabio [edt]. Series: Lecture notes in computer science / ed. by G. Goos, J. Hartmanis and J. van LeeuwenMaterial type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Berlin [a. o.] Springer 2001Availability: No items available :
|
|
20.
|
|
|
21.
|
|
|
22.
|
|
|
23.
|
|
|
24.
|
|
|
25.
|
|
|
26.
|
|
|
27.
|
|
|
28.
|
|
|
29.
|
|
|
30.
|
|
|
31.
|
|
|
32.
|
|
|
33.
|
|
|
34.
|
|
|
35.
|
|
|
36.
|
|
|
37.
|
|
|
38.
|
|
|
39.
|
|
|
40.
|
|
|
41.
|
|
|
42.
|
|
|
43.
|
|
|
44.
|
|
|
45.
|
|
|
46.
|
|
|
47.
|
Риск-анализ в экономике Н. П. Тихомиров, Т. М. Тихомирова by Тихомиров, Николай Петрович | Тихомирова, Татьяна Михайловна. Material type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Language: Russian Publication details: Москва Экономика 2010Availability: No items available :
|
|
48.
|
|
|
49.
|
|
|
50.
|
|