Вы здесь

Главная

Lecture Notes in Computer Science

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

User-Defined Aggregates in Database Languages
User-Level Workflow Design: A Bioinformatics Perspective
User Modeling, Adaptation, and Personaliation: Proc./22nd International Conference, UMAP 2014, Aalborg, Denmark, July 2014
User Modeling, Adaptation, and Personalization: Proc./17th International Conference, UMAP 2009, formerly UM and AH. Trento, Italy, June 2009
User Modeling, Adaptation, and Personalization: Proc./18th International Conference, UMAP 2010, Big Island,HI,USA, June 2010
User Modeling, Adaptation, and Personalization: Proc./21th International Conference, UMAP 2013, Rome, Italy, June 2013
User Modeling, Adaptation and Personalization: Proc./23rd International Conference, UMAP 2015, Dulin, Ireland, June 2015
User Modeling, Adaption, and Personalization: Proc./19th International Conference, UMAP 2011, Girona, Spain, July 2011
Using a Conceptual Data Language to Describe a Database and its Interface
Using and Improving OpenMP for Devices, Tasks, and More: Proc./10th International Workshop on OpenMP, IWOMP 2014, Salvadr, Brazil, September 2014
Using Architectural Model at Runtime: Research Challenges
Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models
Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report
Using Coloured Petri Nets to Model and Verity Telecommunications Systems
Using Conceptual Graphs in a Multifaceted Logical Model for Information Retrieval
Using Delta Relations to Optimize Condition Evaluation in Active Databases
Using Interface Refinement to Integrate Formal Verification into the Design Cycle
Using Knowledge-Based Techniques for Parallelization on Parallelizing Compilers
Using Korba in the Web Operating System
Using Message-oriented Middleware for Reliable Web Services Messaging
Using MetaML: A Staged Programming Language
Using Metaobject Protocols to Implement Atomic Data Types
Using Model Checking for Reducing the Cost of Test Generation
Using Modes to Ensure Subject Reduction for Typed Logic Progranms with Subtyping
Using Mozart for Visualizing Agent-Based Simulations
Using Multiversion Object-Oriented Databases in CAD/CIM Systems
Using Preference Based Heuristics to Control Abductive Reasoning
Using Queue Time Predictions for Processor Allocation
Using RDF to Query Spatial XML
Using Simulation to Visualise andd Analyse Product-Process Dependencies in Software Development Projects
Using Z to Rigorously Review a Specification of a Network Management System
Utility Computing: Proc./15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004. Davis, CA, USA, November 2004
UUXML: A Type-Preserving XML Schema-Haskell Data Binding
Validating Quality of Service for Reusable Software Via Model-Integrated Distributed Continuous Quality Assurance
Validation of Stochastic Systems. A Guide to Current Research
Variability and Component Composition
Variable Neighborhood Search: Proc./8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 2021
Variable Neighborhood Search: Revised Selected Papers/6th International Conference, ICVNS 2018, Sithonia, Greece, October 2018
Variable Neighborhood Search: Revised Selected Papers/7th International Conference, ICVNS 2019, Rabat, Morocco, October 2019
Variational, Geometric, and Level Set Methods on Computer Vision: Proc./Third International Workshop, VLSM 2005. Beijing, China, October 2005
Variations on Constants: Flow Analysis of Sequential and Parallel Programs
Varoability Dependencies in Product Family Engineering
Vector and Parallel Processing - VECPAR 2000: Proc./4th Intern. Conf., Porto, Portugal, June 2000
Vector and Parallel Processing - VECPAR 96: Proc./Second Intern. Conf. on Vector and Parallel Processing - Systems and Applications. Porto, Portugal, September 1996
Vector and Parallel Processing - VECPAR 98: Selected Papers and Invited Talks/ Third International Conference, Porto, Portugal, June 1998
Vector Processing in Ada
Verification and Evaluation of Computer and Communication Systems: Proc./12th International Conference, VECoS 2018, Grenoble, France, September 2018
Verification and Evaluation of Computer and Communication Systems: Proc./14th International Conference, VECoS 2020, Xi'an, China, October 2020
Verification by Testing for Recursive Program Schemes
Verification Constraint Problem with Strengthening