|
М |
Система имитационного моделирования дискретных процессов (ДИСМ) |
1900 |
|
Мановицкий В. И., Сурков Е. М. |
|
|
|
11.11.1994 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Сравнение точных и приближенных методов расчета коэффициентов пропускания и отражения света для плоских светорассеиваю их слоев с учетом показателя преломления |
1900 |
42 |
Бажин Н. М., Кузнецов С. В. |
|
|
Журнал прикладной спектроскопии |
18.10.2004 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Office and Data Based Systems Research 89 |
1900 |
|
|
- Lochovsky F.
|
Univ.Toronto |
|
18.10.1991 |
Доступно
1 из 1
Выдать |
|
|
М |
Нет названия |
1900 |
|
|
|
|
|
12.10.1994 |
Доступно
1 из 1
Выдать |
|
|
А |
Математическое и программное обеспечение системы анализа динамики земной поверхности по данным дистанционного зондирования Земли |
1900 |
|
Замятин А. В. |
|
|
|
25.02.2005 |
Доступно
1 из 1
Выдать |
|
|
М |
Система DATAEASE. Версия 2.5. Редакция 3 R |
1900 |
|
|
|
|
Справочное руководство |
09.10.1991 |
Доступно
1 из 1
Выдать |
|
|
М |
"Кронос-2.6 WS": 32-разрядная профессиональная рабочая станция |
1900 |
|
|
|
|
проспект |
13.06.1991 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Synchronous versus asynchronous cellular automata for simulating nano-systems kinetics |
1900 |
|
Bandman O. L. |
|
|
Bulletin of the Novosibirsk Computing Center |
02.03.2007 |
Доступно
1 из 1
Выдать |
|
|
СТ |
On Power Series, Bell Polynomials, Hardy-Ramanujan-Rademacher Problem and Its Statistical Applications |
1900 |
|
Voinov V., Nikulin M. |
|
|
|
09.10.1993 |
Доступно
1 из 1
Выдать |
|
|
П |
Algorithms for Spline Curves and Surfaces |
1900 |
|
Cox M. |
|
National Physical Lab. |
|
02.03.1991 |
Доступно
1 из 1
Выдать |
|
|
СТ |
За пределами возможностей Excel |
1900 |
|
Готтесман Б. З. |
|
|
PC Magazine/Russian Edition |
01.12.2005 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Символьный отладчик для языка модула-2 в системе структурного конструирования программ |
1900 |
|
Мучник Т. Г. |
|
|
Программно-инструментальные средства задач информатики |
05.03.1992 |
Доступно
1 из 1
Выдать |
|
|
П |
Designing a Workstation-Based Conferencing System Using the Real-Time Producer/Consumer Paradigm |
1900 |
|
Jeffay K., Smith D. |
|
Univ.North Carolina at Chapel Hill |
|
15.10.1991 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Нет названия |
1900 |
|
|
|
|
|
14.05.1992 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Epigrams on Programming |
1900 |
|
Perlis A. J. |
|
|
SIGPLAN Notices |
20.06.1992 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Россия: прикладное ПО 2005 |
1900 |
|
Лебедев О., Морозов А., Рябцев А. |
|
|
PC Magazine/Russian Edition |
01.12.2005 |
Доступно
1 из 1
Выдать |
|
|
П |
An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases |
1900 |
|
Jamoussi A., Bastani F. B. |
|
|
|
01.11.1995 |
Доступно
1 из 1
Выдать |
|
|
П |
From Transactions to Transactional Workflows |
1900 |
|
Rusinkiewicz M. |
|
|
|
03.11.1995 |
Доступно
1 из 1
Выдать |
|
|
П |
Член-корреспондент АН СССР Исаак Семенович Брук и связанные с ним школы |
1900 |
19 |
|
|
|
Informatik Spektrum |
31.07.1996 |
Доступно
1 из 1
Выдать |
|
|
О |
Годовой отчет фонда Сороса - Россия |
1900 |
|
|
|
Институт "Открытое общество" |
|
08.10.2001 |
Доступно
1 из 1
Выдать |
|
|
П |
A Petri-Net-Based Process Engine |
1900 |
|
Burbach H., Gruhn V. |
|
|
|
03.11.1995 |
Доступно
1 из 1
Выдать |
|
|
П |
Object-Oriented Extentions for Petri Nets |
1900 |
|
Bruno G., Pescarmona M., Agarwal R. |
|
|
|
03.11.1995 |
Доступно
1 из 1
Выдать |
|
|
П |
On the Number of Term Order |
1900 |
|
Ritter G., Orders T. |
|
Univ.Passau |
|
09.01.1992 |
Доступно
1 из 1
Выдать |
|
|
П |
Enaction of Software Process Description in a Petri Net Model with Registers |
1900 |
|
Yamaguchi H., Okano K., Higashino T., Taniguchi K. |
|
|
|
01.11.1995 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Сравнение точных и приближенных методов расчета коэффициентов пропускания и отражения света для плоских светорассеиваю их слоев с учетом показателя преломления |
1900 |
42 |
Бажин Н. М., Кузнецов С. В. |
|
|
Журнал прикладной спектроскопии |
19.10.2004 |
Доступно
1 из 1
Выдать |
|
|
П |
Scheduling Sporadic Tasks with Shared Resources in Hard-Real-Time Systems |
1900 |
|
Jeffay K. |
|
Univ.North Carolina at Chapel Hill |
|
15.10.1991 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Verifying Randomized Byzantine Agreement |
1900 |
2529 |
Kwiatkowska M., Norman G. |
|
|
Lecture Notes in Computer Science |
29.11.2002 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Observational Logics and Concurrency Models |
1900 |
472 |
De Nikola R., Ferrari G. |
|
|
Lecture Notes in Computer Science |
05.03.1991 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Twig Abbreviated User Manual |
1900 |
|
Tjiang S. |
|
|
|
24.10.1991 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Visual Specifications for Modular Reasoning about Asynchronous Systems |
1900 |
2529 |
Amla N., Emerson E. A., Namjoshi K. S., Trefler R. J. |
|
|
Lecture Notes in Computer Science |
29.11.2002 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Defining Process Fairness for Non-Interleaving Concurrency |
1900 |
472 |
Kwiatkowska M. |
|
|
Lecture Notes in Computer Science |
05.03.1991 |
Доступно
1 из 1
Выдать |
|
|
СТ |
A New Method for Proving Termination of AC-Rewrite Systems |
1900 |
472 |
Kapur D., Sivakumar G., Zhang H. |
|
|
Lecture Notes in Computer Science |
05.03.1991 |
Доступно
1 из 1
Выдать |
|
|
М |
Optimization of SQL Queries for Parallel Machines |
1900 |
1182 |
Hasan W. |
|
|
|
20.12.1996 |
Доступно
1 из 1
Выдать |
|
|
М |
Multiprocessors and Parallel Processing |
1900 |
|
|
- Enstow Ph. H.
|
|
|
18.08.2004 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Towards Constructive Program Derivation in VDM |
1900 |
472 |
Lewington C. |
|
|
Lecture Notes in Computer Science |
05.03.1991 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Введение в программирование для Word |
1900 |
|
Орлов А. А. |
|
|
МИР ПК |
14.11.2000 |
Доступно
1 из 1
Выдать |
|
|
СТ |
The Tailor-Made Web |
1900 |
19 |
Metz C. |
|
|
PC Magazine |
14.09.2000 |
Доступно
1 из 1
Выдать |
|
|
СТ |
On the Refinement and Simulation of Data Types and Processes |
1900 |
|
Bolton Ch., Davies J., Woodcock J. |
|
|
IFM 99 |
31.01.2001 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets |
1900 |
2529 |
Tynjala T., Leppanen S., Luukkala V. |
|
|
Lecture Notes in Computer Science |
29.11.2002 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning |
1900 |
2529 |
Armando A., Compagna L. |
|
|
Lecture Notes in Computer Science |
29.11.2002 |
Доступно
1 из 1
Выдать |
|
|
СТ |
System Test Synthesis from UML Models of Distributed Software |
1900 |
2529 |
Pickin S., Jard C., Le Traon Y., Jeron T., Jezequel J. -M., Le Guennec A. |
|
|
Lecture Notes in Computer Science |
29.11.2002 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Formal Test Purposes and the Validity of Test Cases |
1900 |
2529 |
Deussen P. H., Tobies S. |
|
|
Lecture Notes in Computer Science |
29.11.2002 |
Доступно
1 из 1
Выдать |
|
|
СТ |
A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction |
1900 |
2529 |
Bosnacki D. |
|
|
Lecture Notes in Computer Science |
29.11.2002 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Congruent Weak Conformance, a Partial Order among Processes |
1900 |
2529 |
Brower R. W., Stevens K. S. |
|
|
Lecture Notes in Computer Science |
29.11.2002 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Encoding PAMR into (Timed) EFSMs |
1900 |
2529 |
Nunez M., Rodriguez I. |
|
|
Lecture Notes in Computer Science |
29.11.2002 |
Доступно
1 из 1
Выдать |
|
|
СТ |
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures |
1900 |
2529 |
Wang F., Schmidt K. |
|
|
Lecture Notes in Computer Science |
29.11.2002 |
Доступно
1 из 1
Выдать |
|
|
М |
Лекции о приближенных вычислениях |
1950 |
|
Крылов А. Н. |
|
|
|
21.09.2004 |
Доступно
1 из 1
Выдать |
|
|
М |
Лекции по теории обыкновенных дифференциальных уравнений |
1952 |
|
Петровский И.Г. |
|
|
|
18.01.2022 |
Доступно
0 из 1
|
Книги, списанные У. Ч.
Принять |
|
А |
Метод сеток для одной системы уравнений в частных производных |
1957 |
|
Лебедев В. Н. |
|
|
|
08.09.1957 |
Доступно
1 из 1
Выдать |
|
|
А |
О некоторых задачах динамики полёта к Луне |
1957 |
|
Егоров В.А. |
|
|
|
09.06.1957 |
Доступно
1 из 1
Выдать |
|
