1
Được phát hành 2015
Mục lục: ... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...
lấy văn bản
Điện tử eBook
2
Bằng Paluszek, Michael., Paluszek, Michael., Thomas, Stephanie.
Được phát hành 2015
Mục lục: .... Interactive Graphics -- 5. Testing and Debugging -- Part II: Applications -- 6. The Double Integrator -- 7...
lấy văn bản
Điện tử eBook
3
Được phát hành 2008
Mục lục: ...Foundation -- Computational Intelligence in Multimedia Processing: Foundation and Trends...
lấy văn bản
Điện tử eBook
4
Bằng Draheim, Dirk., Draheim, Dirk.
Được phát hành 2010
Mục lục: ... -- Workflow Technology and Human-Computer Interaction -- Service-Oriented Architecture -- Conclusion....
lấy văn bản
Điện tử eBook
5
Được phát hành 2014
Mục lục: ... of Dynamic Process Models under Uncertainty -- Steps towards Web Ubiquitous Computing -- Estimation...
lấy văn bản
Điện tử eBook
6
Được phát hành 2010
Mục lục: ... -- The Two-Variable Fragment with Counting Revisited -- Intuitionistic Logic and Computability Theory...
lấy văn bản
Điện tử eBook
7
Được phát hành 2010
Mục lục: ... Computational Ability of Problem-Solving in an Amoeba -- Two Molecular Information Processing Systems Based...
lấy văn bản
Điện tử eBook
8
Được phát hành 2005
Mục lục: ... in Curriculum Construction to Computer Science -- Teaching in the Hardware Design Area -- An Interactive Systemc...
lấy văn bản
Điện tử eBook
9
Được phát hành 2010
Mục lục: ... Evidences Based on Natural Language to Drive the Process of Fusing Multimodal Sources -- An Experimental...
lấy văn bản
Điện tử eBook
10
Được phát hành 2005
Mục lục: ... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...
lấy văn bản
Điện tử eBook
11
Được phát hành 2010
Mục lục: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
lấy văn bản
Điện tử eBook
12
Được phát hành 2005
Mục lục: ... Processing on Conventional MIMD Computers -- Parallel Implementation of Back-Propagation Neural Network...
lấy văn bản
Điện tử eBook
13
Được phát hành 2008
Mục lục: ... -- Automatically Defined Groups for Knowledge Acquisition from Computer Logs and Its Extension for Adaptive Agent...
lấy văn bản
Điện tử eBook
14
Được phát hành 2014
Mục lục: ... of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes -- Maximal Cost...
lấy văn bản
Điện tử eBook
15
Được phát hành 2005
Mục lục: ... Multidisciplinary Computational Software for Modeling a Modern Manufacturing Process -- Automatically Tuned FFTs...
lấy văn bản
Điện tử eBook
16
Được phát hành 2014
Mục lục: ... -- Archive Management in Interactive Evolutionary Computation with Minimum Requirement for Human User’s...
lấy văn bản
Điện tử eBook
17
Được phát hành 2010
Mục lục: ... Interaction Using Concept Hierarchies -- Estimating Top-k Destinations in Data Streams -- A Data Mining...
lấy văn bản
Điện tử eBook
18
Được phát hành 2005
Mục lục: ...Keynote Addresses -- Rethinking Computer Architecture Research -- Event Servers for Crisis...
lấy văn bản
Điện tử eBook
19
Bằng Brooks, David R., Brooks, David R.
Được phát hành 2011
Những chủ đề: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
lấy văn bản
Điện tử eBook
20
Được phát hành 2010
Mục lục: ... Landau–Zener Problem to Quenching Through a Quantum Critical Point -- Quench Dynamics of Quantum...
lấy văn bản
Điện tử eBook