1
... in residential aged care homes. Methods A quasi-experimental study was conducted with 30 pairs of buddies...
獲取全文
Article
2
出版 2013
書本目錄: ... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...
獲取全文
電子 電子書
3
出版 2008
書本目錄: ... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...
獲取全文
電子 電子書
4
出版 2007
書本目錄: ... Care -- System Analysis and Methodologies for Design and Development -- Nurses’ Working Practices: What...
獲取全文
電子 電子書
5
出版 2013
書本目錄: ... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...
獲取全文
電子 電子書
6
出版 2010
書本目錄: ... on Functional System-Level Design and Modeling -- Design Automation Model for Application-Specific Processors...
獲取全文
電子 電子書
7
出版 2014
書本目錄: ... Element Method -- 4 Towards Replacing Lyapunov’s “Direct” Method in Adaptive Control of Nonlinear Systems...
獲取全文
電子 電子書
8
出版 2014
書本目錄: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
獲取全文
電子 電子書
9
出版 2015
書本目錄: ... -- Drill & Join: A method for inductive program synthesis -- Program Derivation -- Functional Kleene...
獲取全文
電子 電子書
10
...Guidance and counseling supervision aims to provide self-development facilities, and school...
Article
11
出版 2013
書本目錄: ...Manufacturing Innovation and Horizon -- IT Support for Product and Process Development in Japan...
獲取全文
電子 電子書
12
書本目錄: .... Claude Shannon’s Postulates -- Basic AI Methods and Tools -- State of the Art -- II: CI Methods in Mind...
獲取全文
電子 電子書
13
出版 2005
書本目錄: ... the Economics of Agroforestry Systems Using a Production Function Approach -- Analyzing Risk in Agroforestry...
獲取全文
電子 電子書
14
出版 2012
書本目錄: ... for Evaluating Hunting and Contraception as Feral Hog Population Control Methods -- Spatially Explicit Modeling...
獲取全文
電子 電子書
15
出版 2011
書本目錄: ... the Early Xenopus laevis Embryo -- Manipulation of Gene Function in Xenopus laevis -- Developmental Genetics...
獲取全文
電子 電子書
16
出版 2010
書本目錄: ... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...
獲取全文
電子 電子書
17
出版 2010
書本目錄: ... from the Health Care Domain -- Decision-Making Ontology for Information System Engineering -- Reasoning...
獲取全文
電子 電子書
18
出版 2008
書本目錄: ... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...
獲取全文
電子 電子書
19
出版 2010
書本目錄: ... Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi...
獲取全文
電子 電子書
20
出版 2013
書本目錄: ... and Designs for Modelling Invariant Functions: From Group Invariance to Additivity -- Optimal Design for Count...
獲取全文
電子 電子書