Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
programmed controller » programmable controller, programme controlling, microprogrammed controller
methods processing » methods preprocessing, methods proceedings, methods processes
internal methods » integral methods, general methods
controller https » controller states, control https, controller type
programmed controller » programmable controller, programme controlling, microprogrammed controller
methods processing » methods preprocessing, methods proceedings, methods processes
internal methods » integral methods, general methods
controller https » controller states, control https, controller type
1
Baskı/Yayın Bilgisi 2015
İçindekiler:
“...-type Generating Units based on Latin Hypercube Sampling Method and Mean Lower Semi-absolute Deviation...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... -- Introducing Programmers to Pair Programming: A Controlled Experiment -- Team Performance in Agile Development...”Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... Negatives -- Behavioural Specifications from Class Models -- Inheriting Laws for Processes with States...”Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... -- On Mobility of Software Processes -- Software Process Fusion: Uniting Pair Programming and Solo Programming...”Tam Metin Erişim
Elektronik
Ekitap
5
Baskı/Yayın Bilgisi 2014
İçindekiler:
“... Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems via CEGAR...”Tam Metin Erişim
Elektronik
Ekitap
6
Baskı/Yayın Bilgisi 2007
İçindekiler:
“...Invited Talks -- A System Development Process with Event-B and the Rodin Platform -- Challenges...”Tam Metin Erişim
Elektronik
Ekitap
7
Baskı/Yayın Bilgisi 2005
İçindekiler:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”Tam Metin Erişim
Elektronik
Ekitap
8
Baskı/Yayın Bilgisi 2006
İçindekiler:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”Tam Metin Erişim
Elektronik
Ekitap
9
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... Methods to Industrial Control Software -- The Informal Nature of Systems Engineering....”Tam Metin Erişim
Elektronik
Ekitap
10
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Images -- Biomedical Applications -- Digital Signal Processing Techniques for Gene Finding in Eukaryotes...”Tam Metin Erişim
Elektronik
Ekitap
11
İçindekiler:
“... -- to Bayesian Inference -- Bayesian Methods for Process Optimization -- to Optimization of Simulation...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
12
Baskı/Yayın Bilgisi 2012
İçindekiler:
“...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...”Tam Metin Erişim
Elektronik
Ekitap
13
Baskı/Yayın Bilgisi 2006
İçindekiler:
“...++ Programs -- Algebraic Methods -- Beyond Bisimulation: The “up-to” Techniques -- Separation Results Via...”Tam Metin Erişim
Elektronik
Ekitap
14
Baskı/Yayın Bilgisi 2014
İçindekiler:
“... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...”Tam Metin Erişim
Elektronik
Ekitap
15
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... to Control Language for Oral Communication -- Robust Semi-supervised and Ensemble-Based Methods in Word Sense...”Tam Metin Erişim
Elektronik
Ekitap
16
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Analysis of the Accuracy in Control Systems: Principles and Experiments -- Application of Static Analyses...”Tam Metin Erişim
Elektronik
Ekitap
17
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Scheme for Wireless Process Control on Traffic Light Networks -- A Note-Based Randomized and Distributed...”Tam Metin Erişim
Elektronik
Ekitap
18
Baskı/Yayın Bilgisi 2015
İçindekiler:
“... and Internal Layers -- The Finite Difference Method for Boundary Value Problem with Singularity...”Tam Metin Erişim
Elektronik
Ekitap
19
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”Tam Metin Erişim
Elektronik
Ekitap
20
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Consolidated Evaluation Framework to Analyze Test Process Improvement Approaches -- Using Controlled...”Tam Metin Erişim
Elektronik
Ekitap