Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
integration session » integration series, integration solutions, integration services
session programming » revision programming, design programming, session programme
based https » based http
programming programming » programming programmed, programming program
integration session » integration series, integration solutions, integration services
session programming » revision programming, design programming, session programme
based https » based http
1
Published 2008
Table of Contents:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... in Embedded Systems: A Comparative Study -- Session: State/Event-Based Verification -- State/Event Software...”View full text
Electronic
eBook
3
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Systems -- Session-Based Distributed Programming in Java -- Session VIII -- ReCrash: Making Software...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... with Language-Based Security Policies -- Termination Analysis of Java Bytecode -- Sessions and Pipelines...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... for the Assignment Problem -- Integral Boundary Points of Convex Polyhedra -- Outline of an Algorithm for Integer...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”View full text
Electronic
eBook
11
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation 19th...
Published 2010
Table of Contents:
“...-Power Applications -- Special Session -- SystemC AMS Extensions: New Language – New Methods – New...”View full text
Electronic
eBook
12
by Lee, Wan Ling, Jayaveloo, Vimala Devi, Chai, Sen Tyng, Ibrahim, Rahimah, Abdul Mulud, Zamzaliza
Published 2024
“... increments in self-efficacy (∆13.2; p =.002) and attitude (∆5.2; p =.045). Integrating synchronous sessions...”Published 2024
Article
13
Published 2010
Table of Contents:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”View full text
Electronic
eBook
15
Table of Contents:
“... -- Generating Non-HTML Content -- Sessions, Users, and Registration -- Caching -- Other Contributed...”
View full text
View full text
Electronic
eBook
16
Table of Contents:
“... -- Handling File Uploads -- Networking -- PHP and LDAP -- Session Handlers -- Templating with Smarty -- Web...”
View full text
View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“...Mobile Service Oriented Architectures (MOSOA) -- A Spatial Programming Model for Real Global Smart...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... for MPI Programs -- Ensemble-2: Dynamic Composition of MPMD Programs -- New User-Guided and ckpt-Based...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... by Integrating Event- and Time-triggered Techniques -- Short Papers -- A Scala DSL for Rete-based Runtime...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“...Invited Session I -- Protocol System Integration, Interface and Interoperability -- Session I...”View full text
Electronic
eBook