Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
specifications programming » specification programming, specifications program, verification programming
lighting specifications » buildings specifications
programming programming » programming programmed, programming program
programming control » programming contract, programming contest, programming context
https » http
specifications programming » specification programming, specifications program, verification programming
lighting specifications » buildings specifications
programming programming » programming programmed, programming program
programming control » programming contract, programming contest, programming context
https » http
1
Опубликовано 2010
Оглавление:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2008
Оглавление:
“...Respiratory control disorders: from genes to patients and back -- Hereditary aspects of respiratory...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2010
Оглавление:
“...-Database Based Meta-CASE System and its Query Subsystem -- An Intelligent Control System Based on Non...”Полный текст
Электронный ресурс
eКнига
4
Оглавление:
“... Mapping -- Lighting -- Getting Started with Lights -- Basic Lighting -- Photometric Lighting -- Global...”
Полный текст
Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2010
Оглавление:
“... Evolution Strategy to Light Configuration Optimization of Photometric Stereo -- Solving Multi Objective...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2010
Оглавление:
“... -- Application of Indirect Field Oriented Control with Optimum Flux for Induction Machines Drives -- Urban...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2013
Оглавление:
“... Database Schemas -- Pareto Front Investigation of Multivariable Control Systems -- Multi-objective...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2010
Оглавление:
“... Control on Traffic Light Networks -- Performance Measurement of a Dual-Channel Intersection Switch...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2006
Оглавление:
“... Motion Search in Large Motion Capture Databases -- Real-Time Rendering of Light Shafts on GPU -- Learning...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2006
Оглавление:
“... Checker for Linear Order-Sorted Specifications Modulo Axioms -- Extending the TPTP Language to Higher...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2006
Оглавление:
“... -- The atmospheric and vacuum crude distillation units -- The distillation of the ‘Light Ends’ from crude oil...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2005
Оглавление:
“...Semantic Web Services -- Automatic Location of Services -- Feta: A Light-Weight Architecture...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2013
Оглавление:
“... Average Models: Model Specification and Invertibility (Marcella Niglio, Cosimo Damiano Vitale) -- A...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2006
Оглавление:
“... for Embedded Control Systems -- MDE Benefits for Distributed, Real Time and Embedded Systems -- Reifying...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2007
Оглавление:
“... Refactoring -- Scenarios and Techniques for Choreography Design -- Web Service-Based Specification...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2005
Оглавление:
“... Object Placement in Video for Augmented Reality -- Realtime Control for Motion Creation of 3D Avatars...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2006
Оглавление:
“...-Based Lighting Engineering Education -- The Database Model and the System Architecture of a National...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2010
Оглавление:
“... Linear Algebra, Computer Programming and Biochemistry Curriculum -- Adaptive Assessments using Open...”Полный текст
Электронный ресурс
eКнига