Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
метод
Связанные издания:
From Formal Techniques to Well-Founded Software Development Methods
From Informal Requirements to COOP: A Concurrent Automata Approach
From Object-Orientation to Formal Methods
Frontiers of Combining Systems: Proc./10th International Symposium, FroCoS 2015, Wroclaw, Poland. September 2015
FSM Based Interoperability Testing Methods for Multi Simuli Model
Functionally Modeled User Interfaces
Functional Programming and the Fragile Base Class Problem
Game Playing as a Technique for Teaching Parallel Computing Concepts
Games and Learning Alliance: Revised Selected Papers/2nd International Conference, GALA 2013, Paris, France, October 2013
Gauss Frame Offsets
GB-Ordering: A Dynamic & Efficient 2-d Spatial Access Method
Generalising Deforestation for All First-Order Functional Programs
Generalization of Linear Object-Oriented Slicing
Generalized Boxings, Congruences and Partial Inlining
General Purpose Optimization Technology
Generation Automatique de Code OCCAM a Partiir d un Reseau de Petri
Generative and Transformational Techniques in Software Engineering II: Revised Papers/International Summer School, GTTSE 2007. Braga, Portugal, July 2007
Genetic Programming: Proc./14th European Conference, EuroGP 2011, Torino, Italy, April 2011
Genetic Programming: Proc./19th European Conference, EuroGP 2016, Porto, Portugal, March 2016
Genetic Programming: Proc./20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 2017
Geometric Science of Information: Proc./1st International Conference, GSI 2013, Paris, France, August 2013
Gestaltung eines benutzerfreundlichen Interfaces fur ein Datenbanksystem durch Anwendung von Methoden der Kunstlichen Intelligenz
Global Optimization and Constraint Satisfaction: The Branch-and-Reduce Approach
GPMB - Software Pipelining Branch-Intensive Loops
Graphical Analysis of Computer Log Files
Graphics Programming Using the Core System
Graph-theoretical Methods to Construct Entity-Relationship Databases
Graph-Theoretic Concepts in Computer Science: Revised Papers/35th International Workshop, WG 2009, Montpellier, France, June 2009
Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler
Guidelines for Formalizing Fusion Object-Oriented Analysis Models
Hana Tree: A Dynamic and Robust Access Method for Spatial Data Handling
Handling Missing Data by Using Stored Truth Values
Handling Partial Matches in Semistructured Data with Cooperative Query Answering Techniques
HAZard Identification in Programmable Systems: A Methodology and Case Study
HCI and the Inadequacies of Direct Manipulation Systems
Heuristic Control Knowledge
Hierarchical ER Diagrams (HERD) - The Method and Experimental Evaluation
Hierarchical Splatting: A progressive Refinement Algorithm for Volume Rendering
High-Performance Computing and Networking: Proc./Intern. Conf. and Exhibition. Milan, Italy, May 1995
HOOD and Parallelism in the Softpar Project
How to Adapt OO Development Methods in a Software Development Organization - A Case Study
Human Centered Design: Proc./First International Conference, HCD 2009 Held as Part of HCI International 2009. San Diego, CA, USA, July 2009
Human-Computer Interaction: Design and Evaluation, Part I: Proc./17th International Conference, HCI Internatonal 2015, Los Angeles,CA,USA, August 2015
Human-Computer Interaction: New Trends: Part I: Proc./13th International Conference, HCI International 2009. San Diego, CA, USA, July 2009
IFM 99: Proc./1st International Conference on Integrated Formal Methods, York,28-29 June 1999
Image Analysis and Recognition. Part I: Proc./International Conference, ICIAR 2004. Porto, Portugal, September/October 2004
Impact of the Supported Coordination Levels on Process Modelling Techniques
Implementation and Development Issues for the Linear Logic Programming Language Lygon
Implementation and Performance Evaluation of Compressed Bit-Sliced Signature Files
Implementation of GTS
« первая
‹ предыдущая
…
7
8
9
10
11
12
13
14
15
…
следующая ›
последняя »