Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
processing implementation » processing implementations, process implementation, processes implementation
implementation https » instrumentation https, implementation _
system processing » systems processing, system proceedings, systems proceeding
program system » program systems, program sistem, programs systems
processing implementation » processing implementations, process implementation, processes implementation
implementation https » instrumentation https, implementation _
system processing » systems processing, system proceedings, systems proceeding
program system » program systems, program sistem, programs systems
1
Indholdsfortegnelse:
“... -- Alternatives for Designing IDL Interfaces -- Inheritance and Polymorphism -- Implementing Distributed Callbacks...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
2
Udgivet 2008
Indholdsfortegnelse:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”Få fuldtekst
Electronisk
eBog
3
Indholdsfortegnelse:
“... System Kernel -- User Mode and System Calls -- Process Synchronization -- Memory Management -- Interrupt...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
4
Udgivet 2010
Indholdsfortegnelse:
“... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”Få fuldtekst
Electronisk
eBog
5
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Udgivet 2005
Indholdsfortegnelse:
“... System Equivalent to a Model Checker -- Instant Polymorphic Type Systems for Mobile Process Calculi: Just...”Få fuldtekst
Electronisk
eBog
6
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Udgivet 2007
Indholdsfortegnelse:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2014
Indholdsfortegnelse:
“... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2006
Indholdsfortegnelse:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2011
Fag:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2010
Indholdsfortegnelse:
“... Approaches in System Engineering Projects -- Software Process Improvement Initiatives Based on Quality...”Få fuldtekst
Electronisk
eBog
11
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Udgivet 2013
Indholdsfortegnelse:
“... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2012
Indholdsfortegnelse:
“... -- Part II: Multi-Agent Oriented Programming -- Developing a Knowledge Management Multi-Agent System Using...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2008
Indholdsfortegnelse:
“... and Practice -- Misfit or Misuse? Lessons from Implementation of Scrum in Radical Product Innovation...”Få fuldtekst
Electronisk
eBog
14
Indholdsfortegnelse:
“...An Overview of Language Processing -- Corpus Processing Tools -- Encoding and Annotation Scheme...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
15
Udgivet 2008
Indholdsfortegnelse:
“... -- Problems Encountered When Implementing Agile Methods in a Very Small Company -- A Process Asset Library...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2007
Indholdsfortegnelse:
“... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2005
Indholdsfortegnelse:
“... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”Få fuldtekst
Electronisk
eBog
18
Indholdsfortegnelse:
“...: Management of Tasks (a.k.a. Processes) -- Threads: Management and Scheduling of Threads -- Memory: Virtual...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
19
Udgivet 2008
Indholdsfortegnelse:
“... Communication -- SESA Application and Compatible Systems -- SESA Application -- Compatible and Related Systems...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2010
Indholdsfortegnelse:
“...Topic 9: Parallel and Distributed Programming -- Parallel and Distributed Programming...”Få fuldtekst
Electronisk
eBog