Вы здесь

Главная

динамический

Связанные издания:

Graph Drawing and Network Visualization: Revised Selected Papers/24th International Symposium, GD 2016, Athens, Greece, September 2016
Graph-Theoretic Concepts in Computer Science: Proc./19th Intern. Workshop, WG 93. Utrecht, The Netherlands, June 1993
GSAT and Dynamic Backtracking
Handling Interaction in Software Specification
Hardware and Software: Verification and Testing: Proc./10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 2014
Hiding Memory Latency using Dynamic Scheduling in Shared-Memory Multiprocessor
High-Level Dynamic Memory Management for Object-Oriented Real-Time Systems
How Does Knowledge Discovery Cooperative with Active Database Techniques in Controlling Dynamic Environment?
Human-Centered Software Engineering: Proc./5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, Septemver 2014
Hybrid Optimizations: Which Optimization Algorithm to Use?
Hybrid Systems Biology: Revised Selected Papers/2nd International Workshop, HSB 2013, Taormina, Italy, September 2013 and 3rd International Workshop, HSB 2014, Vienna, Austria, July 2014
Implementation of B-Trees Using Dynamic Address Computation
Implementation of Data Structures in an Imperative Framework
Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm
Implicit State Approach for Formalization of Sequential Java-like Programs
Improved Upper Bounds for Propositional Dynamic Logic Variants
Improving the Accuracy of Dynamic Branch Prediction Using Branch Correlation
Improving the Cache Locality of Memory Allocation
Infinite (Almost Periodic) Words, Formal Languages and Dynamical Systems
Infinite State Model-Checking of Propositional Dynamic Logics
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation: Proc./21st International Workshop, PATMOS 2011, Madrid, Spain, September 2011
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: Revised Selected Papers/22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 2012
Integrating Dynamic Aspects into Deductive Object-Oriented Database
Integrating Dynamic Models for CMM-Based Software Process Improvement
Integrating Static and Dynamic Sort Checking in Logic Programming
Intelligent Robotics and Applications, Part I: Proc./10th International Conference, ICIRA 2017, Wuhan, China, August 2017
Intelligent Virtual Agents: Proc./16th International Conference, IVA 2016, Los Angeles,CA,USA, September 2016
Interpretability of First-Order Dynamic Logic in a Relational Calculus
Interprocedural Dynamic Slicing
Introducing Dynamic Constraints in B
Job Scheduling Strategies for Parallel Processing: Revised Selected Papers/11th International Workshop, JSSPP 2005. Cambridge, MA, USA, June 2005
KI 2009: Advances in Artificial Intelligence: Proc./32nd Annual German Conference on AI, Paderborn, Germany, September 2009
Knowledge Acquisition in Dynamic Systems: How Can Logicism and Situatedness Go Together?
Languages and Compilers for Parallel Computing: Revised Papers/29th International Workshop, LCPC 2016, Rochester,NY,USA, September 2016
Languages and Compilers for Parallel Computing: Revised Selected Papers/22nd International Workshop, LCPC 2009, Newark,DE,USA, October 2009
Layered Development with (Unix) Dynamic Libraries
Learning and Intelligent Optimization: Revised Selected Papers/6th International Conference, LION 6, Paris, France, January 2012
Learning and Intelligent Optimization: Revised Selected Papers/9th International Conference, LION 9, Lille, France, January 2015
Learning to Control Dynamic Systems with Automatic Quantization
Linear Spiral Hashing for Expansible Files
Linking Algebraic High Level Nets and Dynamic Abstract Data Types
Load Balancing with Migrant Lightweight Threads
Logical Aspects of Computational Linguistic: Proc./6th International Conference, LACL 2011, Montpellier, France, June/July 2011
Logical Reorganization of DAI Systems
Logic, Language, Information and Computation: Proc./19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, Septeber 2012
Logic, Rationality, and Interaction: Proc./2nd International Workshop, LORI 2009. Chongqing, China, October 2009
LPDA: Another Look at Tabulation in Logic Programming
Ludics, Dialogue and Interaction: Revised Selected Papers/ PRELUDE Project - 2006-2009
Machine and Language Design for Dynamic Microprogramming
Managing the Evolution of .NET Programs