Rekommenderade teman
Rekommenderade teman
Menade du:
programming validation » programming validating, programming evaluation, programming animation
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
validation process » oxidation process
process case » processes case, processing case, process cheese
programming validation » programming validating, programming evaluation, programming animation
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
validation process » oxidation process
process case » processes case, processing case, process cheese
1
Publicerad 2008
Innehållsförteckning:
“... Tutorial) -- Abstract Interpretation with Applications to Timing Validation -- Session 1: Concurrency...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2008
Innehållsförteckning:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2014
Innehållsförteckning:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2014
Innehållsförteckning:
“... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2010
Innehållsförteckning:
“... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2010
Innehållsförteckning:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2005
Innehållsförteckning:
“... Validation -- Discrete Hierarchical Geometry -- Hierarchical Watersheds Within the Combinatorial Pyramid...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2012
Innehållsförteckning:
“...Introduction to Sassur 2012 -- AdvoCATE: An Assurance Case Automation Toolset -- Towards a Case...”Hämta fulltext
Elektronisk
E-bok
9
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
10
Publicerad 2005
Innehållsförteckning:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2007
Innehållsförteckning:
“... and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2006
Innehållsförteckning:
“... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2008
Innehållsförteckning:
“...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2008
Innehållsförteckning:
“... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2006
Innehållsförteckning:
“... with Different Species -- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions -- Some...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2006
Innehållsförteckning:
“...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2005
Innehållsförteckning:
“... for Requirements Engineering in System Family Context for Software Process Improvement Using CMMI -- Functional...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2013
Innehållsförteckning:
“... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...”Hämta fulltext
Elektronisk
E-bok
19
av Houshyar, Afsaneh Nouri
Publicerad 2014
Ämnen:
“...Machine parts - Computer program...”Publicerad 2014
Hämta fulltext
Lärdomsprov
20
Publicerad 2005
Innehållsförteckning:
“... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...”Hämta fulltext
Elektronisk
E-bok