Перейти к основной навигации
Перейти к поиску
Перейти к основному содержанию
Сортировать по:
INIS
modeling
100%
computer codes
96%
humans
87%
learning
66%
computers
52%
data
48%
interactions
42%
communities
38%
verification
37%
algebra
37%
tools
33%
environment
30%
information
30%
mining
27%
applications
22%
education
19%
simulation
19%
levels
19%
performance
17%
design
17%
specifications
15%
psychology
14%
management
14%
control
13%
engineering
13%
dynamics
12%
security
12%
stochastic processes
12%
e-learning
11%
psychological behavior
11%
constraints
10%
certification
9%
cancer
9%
processing
9%
teaching
9%
symposia
9%
business
8%
errors
8%
interfaces
8%
grids
8%
universities
8%
mathematical models
8%
developers
8%
sustainability
8%
reviews
7%
classification
7%
detection
7%
mutations
7%
emergencies
7%
comparative evaluations
7%
Computer Science
Open Source Software
67%
Process Algebra
44%
Interactive System
37%
Case Study
33%
Model Checking
29%
Human Computer Interaction
25%
open source software project
25%
Rewriting Logic
23%
Learning Process
18%
Ontology
16%
Correctness
14%
formal modeling
14%
Computer Scientist
13%
Process Mining
12%
Formal Framework
12%
Concurrent System
11%
Computer Science
11%
Silico Experiment
11%
Process Mining Technique
9%
modeling language
9%
Alternative Theory
9%
Proof
9%
Electronic Learning
8%
Formal Verification
8%
Software Quality
8%
Mailing List
8%
Social Scientists
7%
Cognitive Architecture
7%
Conceptual Model
7%
Knowledge Management
7%
Data Representation
7%
Grid Computing
7%
Business Process Management
7%
Integrating Data
7%
Sensor Network
7%
Collaboration
7%
Learning Experiences
7%
Data Structure
7%
Software Development
7%
Software Developer
6%
Memory Model
6%
User Behavior
6%
Behavioral Pattern
5%
Temporal Logic
5%
Process Model
5%
Cognitive Science
5%
Mobile Application
5%
Concurrency
5%
Higher Education
5%
Language Modeling
5%
Keyphrases
Free Software
23%
Process Algebra
21%
Formal Analysis
20%
Open Source Software Projects
17%
Open Source Community
17%
Description Language
16%
Maude
15%
Interactive Systems
14%
Real-Time Maude
14%
Human Behavior
13%
Formal Methods
12%
Human-computer Interaction
11%
Rewriting Logic
10%
Language-based
9%
Software Quality
9%
Verification Method
9%
Human Reasoning
9%
Process Mining
8%
Concurrent Systems
7%
Semantic Memory
7%
Behavioral Patterns
7%
Data Integration
7%
Data Representation
7%
Timing Properties
7%
Computer Science
7%
Learning Process
6%
Alternative Theories
6%
Human Component
6%
Motivation
5%
Formal Framework
5%
Sift
5%
Cognitive Architecture
5%
Term Memory
5%
Correctness Properties
5%
Micropipeline
5%
Performance Properties
5%
Modeling Management
5%
Open Source Software Developers
5%
Verification Strategy
5%
Event Log
5%
Rewriting System
5%
Semantic Base
5%
Learning Environment
5%
Ontology
5%
Software Product
5%
Human Activities
5%
Formal Verification
5%
Cognitive Psychology
5%
Memory Models
5%
