Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
метод
Связанные издания:
KARO: An Integrated Environment for Reusing Ontologies
KBSE and Ada: Object and Enabling Technology
Knowledge Acquisition and the Interpretative Paradigm
Knowledge Engineering and Knowledge Management: Methods, Models, and Tools: Proc./12th Intern. Conf., EKAW 2000, Juan-Ies-Pins, France, October 2000
Knowledge Science, Engineering and Management: Proc./8th International Conference, KSEM 2015, Chongqing, China, October 2015
Korrecturlose Fehlerbehandlung von Programmiersprachen. Zur Performanz automatisch generierbarer Syntaxchecker auf der Basis von Token-Nachbarschaftsrelationen
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Kriterien zur Auswahl maschineller Lernverfahren
Language-free mathematical methods for software design. Extended abstract
Language Independent Container Specification
Languages, Tools and Methods for Conceptual Modelling
Large-Sale Scientific Computing: Proc./4th Intern. Conf., LSSC 2003, Sozopol, Bulgaria, June 2003
Large-Scale Scientific Computing: Revised Selected Papers/10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 2015
Large-Scale Scientific Computing: Revised Selected Papers/8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 2011
Late Adaptation of Method Invocation Semantics
Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines
LDM: A Logical Computing Systems Development Method
Leapfrogging: A Portable Technique for Implementing Efficient Futures
Learn Cuisine: No Sauces, No Courses!
Learning Methods for Odor Recognition Modeling
Learning Theory: Proc./ 20th Annual Conference on Learning Theory, COLT 2007. San Diego, CA, USA, June 2007
Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space
Lectures on Formal Methods and Performance Analysis/ First EEF/Euro Summer School on Trends in Computer Science, Berd en Dal,The Netherlands, July 3-7,2000
Liberating Object-Oriented Modeling from Programming-Level Abstractions
LILEANNA: A Parameterized Programming Language
Linear Spiral Hashing for Expansible Files
Linking DC Together with TRSL
Living Hypertext - Web Retrieval Techniques
Load control and load balancing in a shared database management system
Load/Store Range Analysis for Global Register Allocation
Local and Global Methods in Data Mining: Basic Techniques and Open Problems
Logging in Main Memory Databases
Logic Programming for Non-Monotonic Reasoning
Logic Programming: Proc./20th International Conference, ICLP 2004. Saint Malo, France, September 2004
Lookhead Scheduling
Looking Back to the Future
LSD: Logical Systems Development
M2Z: A Tool for Translating a Natural Language Software Specification into Z
Machine Learning and Data Mining in Pattern Recognition: Proc./12th International Conference, MLDM 2016, New York,NY,USA, July 2016
Machine Learning and Data Mining in Pattern Recognition: Proc./7th International Conference, MLDM 2011, New York,NY,USA, August 2011
Machine Learning and Knowledge Discovery in Databases. Part II: Proc./European Conference, ECML PKDD 2008. Antwerp, Belgium, September 2008
Machine Learning and Knowledge Discovery in Databases. Part I: Proc./European Conference, ECML PKDD 2008. Antwerp, Belgium, September 2008
Machine Learning and Knowledge Discovery in Databases, Part I: Proc./European Conference, ECML PKDD 2013, Prague, Czech Republic, September 2013
Machine Learning: ECML 2004: Proc./15th European Conference on Machine Learning. Pisa, Italy, September 2004
Maintaining Consistency Under Changes to Formal Specifications
Maintaining Views Incrementally
Making Patterns Explicit with Metaprogramming
Making the Future Safe for the Past: Adding Genericity to the JavaTM Programming Language
Managing Conflicts in Goal-Driven Requirements Engineering
Mapping Expert Behavior onto Task-Level Frameworks: The Need for "Eco-Pragmatic" Approaches to Knowledge Engineering
« первая
‹ предыдущая
…
9
10
11
12
13
14
15
16
17
…
следующая ›
последняя »