Suggested Topics within your search.
Suggested Topics within your search.
201
Published 2008
Table of Contents:
“... and Their Computing Culture -- Hardware Transactional Memory with Operating System Support, HTMOS -- Auto...”View full text
Electronic
eBook
202
Published 2008
Table of Contents:
“... Properties -- Using Dynamic Symbolic Execution to Improve Deductive Verification -- Regular Papers...”View full text
Electronic
eBook
203
Published 2005
Table of Contents:
“... -- Contextual Factors and Adaptative Multimodal Human-Computer Interaction: Multi-level Specification of Emotion...”View full text
Electronic
eBook
204
Published 2006
Table of Contents:
“...Plenary of Submitted Papers -- The Devil is still in the Data: Persistent Spatial Data Handling...”View full text
Electronic
eBook
205
Published 2005
Table of Contents:
“... and Configuration Engine -- Adaptability, Customisation and Format Aware Deployment -- Improving Availability...”View full text
Electronic
eBook
206
Published 2010
Table of Contents:
“... Computing in Computer Vision -- Intelligent Computing in Brain Imaging and Bio-medical Engineering...”View full text
Electronic
eBook
207
Published 2007
Subjects:
“...Data structures (Computer science)....”View full text
Electronic
eBook
208
209
210
Published 2011
Table of Contents:
“... PAPERS: Modelling Clinical Decay Data Using Exponential Functions -- Towards Calculating the Basin...”View full text
Electronic
eBook
211
212
Published 2015
Table of Contents:
“...: Contributed Papers/Chapters -- Investigation of the synchronous response in a back-back centrifugal compressor...”View full text
Electronic
eBook
213
Published 2000
Subjects:
“...High performance computing....”
Book
214
Published 2010
Table of Contents:
“... skewed GARCH-type model for multivariate financial time series -- Financial time series and neural...”View full text
Electronic
eBook
215
Published 2006
Table of Contents:
“...Invited Talks -- E-Voting and the Need for Rigourous Software Engineering – The Past, Present...”View full text
Electronic
eBook
216
Published 2005
Table of Contents:
“...Computational Intelligence -- An Approach for Conceptual Modeling and Extracting Expressive...”View full text
Electronic
eBook
217
Published 2015
Subjects:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
218
Published 2013
Table of Contents:
“...Clustering and change detection of multiple streaming time series -- Layer-based Scheduling...”View full text
Electronic
eBook
219
Published 2013
Table of Contents:
“...Clustering and change detection of multiple streaming time series -- Layer-based Scheduling...”View full text
Electronic
eBook
220
Published 2010
Table of Contents:
“... for XML Using g-String -- Linear Computation of the Maximum Simultaneous Forward and Backward Bisimulation...”View full text
Electronic
eBook