1
Baskı/Yayın Bilgisi 2015
İçindekiler: ... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...
Tam Metin Erişim
Elektronik Ekitap
2
Yazar: Carsetti, A., Carsetti, A.
Baskı/Yayın Bilgisi 2013
İçindekiler: .... Entropy and the “intermediate state” -- 2. Algorithmic complexity and self-referentiality -- 3. Cellular...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2008
İçindekiler: ... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2005
İçindekiler: ... -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm...
Tam Metin Erişim
Elektronik Ekitap
5
Yazar: Atan, Rodziah
Baskı/Yayın Bilgisi 2005
Konular: ...Programming languages (Electronic computers)...
Tam Metin Erişim
Tez
6
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Time/State Model -- Volatility Timing and Portfolio Construction Using Realized Volatility for the S&P...
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Learning Services on PDA -- Construction of Virtual Learning Environments of Lushan Mountain -- A...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Communication of Spatial Concepts -- Risk-Based Neuro-Grid Architecture for Multimodal Biometrics -- A SQL...
Tam Metin Erişim
Elektronik Ekitap
9
Yazar: Gamatié, Abdoulaye., Gamatié, Abdoulaye.
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Programming: Overview -- Elementary concepts and notations of SIGNAL -- Basics: Signals and Relations...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2005
İçindekiler: .... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...
Tam Metin Erişim
Elektronik Ekitap
11
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...
Tam Metin Erişim
Elektronik Ekitap
12
İçindekiler: ... - Introduction to Core Concepts and Key Examples of HIA -- HIA: A Methodological Overview -- U.S. Case Studies...
Tam Metin Erişim
Elektronik Ekitap
13
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Impulse Responses -- Reversers-A programming language construct for reversing out of code -- Hand-written...
Tam Metin Erişim
Elektronik Ekitap
14
Yazar: Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Baskı/Yayın Bilgisi 2008
İçindekiler: ...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...
Tam Metin Erişim
Elektronik Ekitap
15
Baskı/Yayın Bilgisi 2005
İçindekiler: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Tam Metin Erişim
Elektronik Ekitap
16
Baskı/Yayın Bilgisi 2010
İçindekiler: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
Tam Metin Erişim
Elektronik Ekitap
17
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Modeling – AConstructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...
Tam Metin Erişim
Elektronik Ekitap
18
Baskı/Yayın Bilgisi 2006
İçindekiler: ... on BE-Vector Clustering -- Deriving Event Relevance from the Ontology Constructed with Formal Concept Analysis...
Tam Metin Erişim
Elektronik Ekitap
19
Baskı/Yayın Bilgisi 2010
İçindekiler: ... -- A New Adaptive B-spline VFC Snake for Object Contour Extraction -- Algorithm for Computational...
Tam Metin Erişim
Elektronik Ekitap
20
Baskı/Yayın Bilgisi 2008
İçindekiler: ... -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A...
Tam Metin Erişim
Elektronik Ekitap