Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
developing microsoft » exploring microsoft, designing microsoft
program developing » programs developing, programme developing, programmes developing
microsoft https » microscopy https, microsoft htc
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
developing microsoft » exploring microsoft, designing microsoft
program developing » programs developing, programme developing, programmes developing
microsoft https » microscopy https, microsoft htc
1
Published 2007
Table of Contents:
“...Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... -- Validating the Microsoft Hypervisor -- Formal Modelling of Systems -- Interface Input/Output Automata...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... Approach Towards Combining Aspect-Oriented and Component-Based Software Development -- Designing Software...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Tutorials -- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite -- Model Driven...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Network Modelling Tool Using the Reuseware Composition Framework -- Model-Based Development of Automotive...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“...An Open Source Domain-Specific Tools Framework to Support Model Driven Development of OSS...”View full text
Electronic
eBook
8
Subjects:
“...Information Systems Applications (incl. Internet). https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...: Multidimensional Scaling vs. Semidefinite Programming Approach -- On the Complexity of the Greedy Construction...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Composition -- A Speech-Controlled User Interface for a CAFM-Based Disaster Management System -- Private Data...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Accelerated Degradation Test to Evaluate Power Fade of Batteries for Electric Vehicles -- The Development...”View full text
Electronic
eBook