Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
computing processing » computing proceeding, computer processing, computing profession
programs compiling » programs combining, programs compiler, programs containing
compiling https » computing https, counseling https, consulting https
computing processing » computing proceeding, computer processing, computing profession
programs compiling » programs combining, programs compiler, programs containing
compiling https » computing https, counseling https, consulting https
1
Veröffentlicht 2007
Inhaltsangabe:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Volltext
Elektronisch
E-Book
2
Veröffentlicht 2006
Inhaltsangabe:
“... Development Teams -- Effects of Pair Programming -- Investigating the Impact of Personality Types...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2005
Inhaltsangabe:
“... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2007
Inhaltsangabe:
“... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...”Volltext
Elektronisch
E-Book
5
Veröffentlicht 2007
Inhaltsangabe:
“...Keynote I -- Compilation Techniques for Partitioned Global Address Space Languages -- Session 1...”Volltext
Elektronisch
E-Book
6
Veröffentlicht 2005
Inhaltsangabe:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”Volltext
Elektronisch
E-Book
7
Veröffentlicht 2013
Inhaltsangabe:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”Volltext
Elektronisch
E-Book
8
Veröffentlicht 2012
Inhaltsangabe:
“...An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing...”Volltext
Elektronisch
E-Book
9
Veröffentlicht 2008
Inhaltsangabe:
“...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...”Volltext
Elektronisch
E-Book
10
Veröffentlicht 2014
Inhaltsangabe:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”Volltext
Elektronisch
E-Book
11
Veröffentlicht 2010
Inhaltsangabe:
“... to Image Interpretation -- A New Adaptive Consensus Reaching Process Based on the Experts’ Importance...”Volltext
Elektronisch
E-Book
12
Veröffentlicht 2010
Inhaltsangabe:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”Volltext
Elektronisch
E-Book
13
Schlagworte:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volltext
Volltext
Elektronisch
E-Book
14
Veröffentlicht 2010
Inhaltsangabe:
“... -- An Automatic Approach to Aid Process Integration within a Secure Software Processes Family -- Engineering...”Volltext
Elektronisch
E-Book
15
Veröffentlicht 2005
Inhaltsangabe:
“... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”Volltext
Elektronisch
E-Book
16
Veröffentlicht 2010
Inhaltsangabe:
“... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...”Volltext
Elektronisch
E-Book
17
Veröffentlicht 2005
Inhaltsangabe:
“... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...”Volltext
Elektronisch
E-Book
18
Veröffentlicht 2013
Schlagworte:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Volltext
Elektronisch
E-Book
19
Veröffentlicht 2012
Schlagworte:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Volltext
Elektronisch
E-Book
20
Veröffentlicht 2010
Inhaltsangabe:
“... Integrated Services Networks -- Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks...”Volltext
Elektronisch
E-Book