1
2
Publicerad 2013
Innehållsförteckning: ... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2008
Innehållsförteckning: ... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2007
Innehållsförteckning: ... Care -- System Analysis and Methodologies for Design and Development -- Nurses’ Working Practices: What...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2013
Innehållsförteckning: ... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2010
Innehållsförteckning: ... on Functional System-Level Design and Modeling -- Design Automation Model for Application-Specific Processors...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2014
Innehållsförteckning: ... Element Method -- 4 Towards Replacing Lyapunov’s “Direct” Method in Adaptive Control of Nonlinear Systems...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2014
Innehållsförteckning: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2015
Innehållsförteckning: ... -- Drill & Join: A method for inductive program synthesis -- Program Derivation -- Functional Kleene...
Hämta fulltext
Elektronisk E-bok
10
...Guidance and counseling supervision aims to provide self-development facilities, and school...
Artikel
11
Publicerad 2013
Innehållsförteckning: ...Manufacturing Innovation and Horizon -- IT Support for Product and Process Development in Japan...
Hämta fulltext
Elektronisk E-bok
12
av Mandziuk, Jacek., Mandziuk, Jacek.
Publicerad 2010
Innehållsförteckning: .... Claude Shannon’s Postulates -- Basic AI Methods and Tools -- State of the Art -- II: CI Methods in Mind...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2005
Innehållsförteckning: ... the Economics of Agroforestry Systems Using a Production Function Approach -- Analyzing Risk in Agroforestry...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2012
Innehållsförteckning: ... for Evaluating Hunting and Contraception as Feral Hog Population Control Methods -- Spatially Explicit Modeling...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2011
Innehållsförteckning: ... the Early Xenopus laevis Embryo -- Manipulation of Gene Function in Xenopus laevis -- Developmental Genetics...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2010
Innehållsförteckning: ... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2010
Innehållsförteckning: ... from the Health Care Domain -- Decision-Making Ontology for Information System Engineering -- Reasoning...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2008
Innehållsförteckning: ... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2008
Innehållsförteckning: ... References in a Dynamic Service Platform -- Methods of Design and Development -- Towards a Systematic Method...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2010
Innehållsförteckning: ... Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi...
Hämta fulltext
Elektronisk E-bok