1
Gepubliceerd in 2006
Inhoudsopgave: ... -- Business Integration -- An Overview of Agents in Knowledge Management -- ubiCMS – A Prolog Based Content...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2014
Inhoudsopgave: ... -- Integrating Software and Hardware Verification -- Code Generation for Event-B -- Verifying Linearizability...
Volledige tekst
Elektronisch E-boek
3
door Simon, Axel., Simon, Axel.
Gepubliceerd in 2008
Inhoudsopgave: ...From the Contents: Preface -- Introduction.-Value Range Analysis -- Analysing C -- A Semantics...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2014
Inhoudsopgave: ... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...
Volledige tekst
Elektronisch E-boek
5
door Alagar, V.S., Alagar, V.S., Periyasamy, K.
Gepubliceerd in 2011
Onderwerpen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2007
Inhoudsopgave: ... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2007
Inhoudsopgave: ... Tree in Peer to Peer Systems -- Efficient Race Verification for Debugging Programs with OpenMP...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2008
Inhoudsopgave: ... Dependencies in Transaction Level Models -- An Integrated SystemC Debugging Environment -- Measuring...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2005
Inhoudsopgave: ...-the-Shelf Component Usage in Industrial Projects -- A Rendezvous of Content Adaptable Service and Product...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2014
Inhoudsopgave: ... Routing in MANETs -- Integration of Eco-friendly POF Based Splitter and Optical Filter for Low-cost WDM...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2010
Inhoudsopgave: ... and Wireless Communication: A Real Time Study -- IMM-I46: Inter Mobility Management for an Integrated IPv4...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2008
Inhoudsopgave: ...-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes -- Integrated Security Context...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2007
Inhoudsopgave: ... for Scalable Content Repurposing -- Community Tools for Repurposing Learning Objects -- Building Domain...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2006
Inhoudsopgave: ... of Digital Movies -- TIVA: Trusted Integrity Verification Architecture -- Legal and Related Issues...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2008
Inhoudsopgave: ... Transducers -- Knowledge Processing for Web Search — An Integrated Model -- Applying Social Behaviours...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2015
Inhoudsopgave: ... Systems with Heterogeneous Resources -- Novel Data Integrity Verification Schemes in Cloud Storage...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2013
Inhoudsopgave: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2007
Inhoudsopgave: ... with Content-Modification Operations -- Metamodeling the Quality of the Web Development Process’ Intermediate...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2006
Inhoudsopgave: ... by Query Tail Absorption -- Checking Violation Tolerance of Approaches to Database Integrity -- A Metadata...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2012
Inhoudsopgave: ... by Adding a Backward Step -- Memory Resident Parallel Inverted Index Construction -- Dynamic Programming...
Volledige tekst
Elektronisch E-boek