Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
библиотека
Связанные издания:
FedeRaL: A Tool for Federating Reuse Libraries over the Internet
Finding Implicit Contracts in .NET Components
Freeing the Essence of a Computation
From Algorithm to Program to Software Library
Garbage Collection in Generic Libraries
Generative Programming and Active Libraries
Going Digital: A Look at Assumptions Underlying Digital Libraries
G/OSS: Text-Source Discovery over the Internet
Harp: A Distributed Query System for Legacy Public Libraries and Structured Databases
High-Level Optimization via Automated Statistical Modeling
High-Performance Library Software for QR Factorization
How to Make Intelligent Digital Libraries
Implementation of a Parallel and Distributed Mapping Kernel for PARIX
Incorporation of Test Functionality into Software Components
Integrating Information Retrieval and Domain Specific Approaches for Browsing and Retrieval in Object-Oriented Class Libraries
Intelligent Computer Mathematics: Proc./11th International Conference, CICM 2018, Hagenberg, Austria, August 2018
Interprocedural Dataflow Analysis in the Presence of Large Libraries
Interval Domain Library for ECLiPSe and Its Application
IP-OORT: A Parallel Remeshing Toolkit
Issues in the Design and Specification of Class Libraries
ITIL - основа концепции управления ИТ-службами
Java s Integral Types in PVS
jContractor: A Reflective Java Library to Support Design by Contract
JEWL: A GUI Libary for Educational Use
Knowledge-based Editing and Visualization for Hypermedia Encyclopedias
Knowledge Management for Health Care Procedures: Revised Selected Papers/ ECAI 2008 Workshop, K4HelP 2008, Patras, Greece, July 2008
Knowledge Navigation in Networked Digital Libraries
LaGO - An Object Oriented Library for Solving MINLPs
LAMPBADA: Logiciel d Aide a la Mise au Point de Bibliotheques Ada (Ada Libraries Validation Tool)
Language and Library Support for Practical PRAM Programming
Language Independent Container Specification
LAPACK is Now Avialable
Layered Development with (Unix) Dynamic Libraries
LEDA - A Library of Efficient Data Types and Algorithms
LEDA: A Platform for Combinatorial and Geometric Computing
Library of Congress Digital Library Effort
LICO: A Multi-platform Channel-Based Communication Library
Maintaining the Consistency of Class Libraries During Their Evolution
Mathematical Knowledge Management: Proc./Third International Conference, MKM 2004. Bialowieza, Poland, September 2004
Mathematical Knowledge Management: Revised Selected Papers/4th International Conference, MKM 2005. Bremen, Germany, July 2005
Mathematics of Program Construction: Proc./12th International Conference, MPC 2015, Konigswinter, Germany, June 2015
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries
Metadata for a Digital Library of Historical Documents
MI - an Object Oriented Environment for Integration of Scientific Applications
Microsoft C for the MS-DOS Operating System
Microsoft Excel Extensions for Interval Computations
Microsoft Visual 6.0 Run-Time Library Reference
Microsoft Visual Basic for Applications and Shared Libraries References
Microsoft Visual C++ 6.0 MFC Library Reference, Part 1
Microsoft Visual C++ 6.0 MFC Library Reference, Part 2
« первая
‹ предыдущая
1
2
3
4
5
6
7
следующая ›
последняя »