Вы здесь

Главная

синтез

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

Synthesis of ENI-systems Using Minimal Regions
Synthesis of Large Concurrent Programs via Pairwise Composition
Synthesis of Models for Multiprocessor System Evaluation
Synthesis of Net Systems
Synthesis of O(lg n) Testable Trees
Synthesis of Optimal Throughput for Packet Communication Networks
Synthesis of Programs in Abstract Data Types
Synthesis of Programs in Computational Logic
Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model
Synthesis of Web Sites from High Level Descriptions
Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems
Synthesizing Non-Speech Sound to Support Blind and Visually Impaired Computer Users
Synthesizing Object-Oriented and Functional Design to Promote Re-use
Synthetic Topiary
System Test Synthesis from UML Models of Distributed Software
Test-Case Calculation through Abstraction
Text, Speech, and Dialogue: Proc./17th International Conference, TSD 2014, Brno, Czech Republic, September 2014
Text-to-Speech Synthesis
The Deductive Syntesis of Database Transactions
The Halting Problem for Deductive Synthesis of Logic Programs
The Problem of Knowledge Synthesis in Distributed Information Environment
The Synthesis of Algorithmic Systems
The Synthesis Problem of Petri Nets
Tools and Algorithms for the Construction and Analysis of Systems: Proc./22nd International Conference, TACAS 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016
Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs
Towards Automatic Synthesis of High-Performance Codes for Electronic Structure Calculations: Data Locality Optimization
Towards Logic Program Synthesis from a Small Example Set
Transactions on Computational Science XXIV
Transition Systems of Elementary Net Systems with Localities
Type Synthesis for Logic Programs
Unbiased Sampling Techniques for Image Synthesis
Un Langage D Analyse et de Synthese Ayant la Capacite D Apprendre
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems
Using Spatial Audio for the Enhanced Presentation of Synthesis Speech within Screen-Readers for Blind Computer Users
Using Type Theory to Synthesise Database Functions
VARICELL. A Flexible Polycell Concept for CMOS/VLSI
Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction: Revised Papers/COST Action 2102 International Conference. Patras, Greece, October 2007
Verification and Synthesis of Concurrent Programs using Petri Nets and Temporal Logic
Verification, Modal Checking, and Abstract Interpretation: Proc./14th International Conference, VMCAI 2013, Rome, Italy, January, 2013
Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification
Virtual Storytelling: Using Virtual Reality Technologies for Storytelling: Proc./4th International Conference, ICVC 2007. Saint-Malo, France, December 2007
Vision Algorithms: Theory and Practice: Proc./Intern. Workshop on Vision Algorithms, Corfu, Greece, September 1999
Voice Response Systems
Voice Response Systems: Technologies and Applications
XVII. Deductive Synthesis
XVIII. Symbolic Timing Diagrams
Z-Buffer on a transputer-based machine
Автоматический синтез правил коррекции текстовых документов формата LATEX
Автоматический синтез программ с циклами и рекурсиями
Автоматический синтез расчетных программ на основе анализа семантики показателей