Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
computing processing » computing proceeding, computing proceedings, computer processing
integrals computing » integrated computing, interval computing, integration computing
processing programs » processing programmed, processing problems, processing products
counseling https » modeling https
compiling https » computing https, consulting https
computing processing » computing proceeding, computing proceedings, computer processing
integrals computing » integrated computing, interval computing, integration computing
processing programs » processing programmed, processing problems, processing products
counseling https » modeling https
compiling https » computing https, consulting https
1
Matèries:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
2
Publicat 2007
Taula de continguts:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Obtenir text complet
Electrònic
eBook
3
Publicat 2005
Taula de continguts:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”Obtenir text complet
Electrònic
eBook
4
Publicat 2007
Taula de continguts:
“... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...”Obtenir text complet
Electrònic
eBook
5
Publicat 2006
Taula de continguts:
“... Development Teams -- Effects of Pair Programming -- Investigating the Impact of Personality Types...”Obtenir text complet
Electrònic
eBook
6
Publicat 2005
Taula de continguts:
“... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”Obtenir text complet
Electrònic
eBook
7
Publicat 2005
Taula de continguts:
“... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...”Obtenir text complet
Electrònic
eBook
8
Publicat 2008
Taula de continguts:
“...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...”Obtenir text complet
Electrònic
eBook
9
Publicat 2014
Taula de continguts:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”Obtenir text complet
Electrònic
eBook
10
Taula de continguts:
“...Software Engineering Challenges -- Software Processes and Process Models -- Project Management...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
11
Publicat 2010
Taula de continguts:
“... -- An Automatic Approach to Aid Process Integration within a Secure Software Processes Family -- Engineering...”Obtenir text complet
Electrònic
eBook
12
Publicat 2013
Taula de continguts:
“... Implementation Selection in the SkePU Skeleton Programming Library -- Automatic Skeleton-Based Compilation...”Obtenir text complet
Electrònic
eBook
13
Publicat 2010
Taula de continguts:
“... Process Improvement: A Discussion and Strengthening Using the SPI Manifesto -- Integrated Design – A Set...”Obtenir text complet
Electrònic
eBook
14
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicat 2013
Taula de continguts:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”Obtenir text complet
Electrònic
eBook
15
Publicat 2006
Taula de continguts:
“... by Action Languages Via Answer Set Programming -- Using Answer Set Programming for the Automatic Compilation...”Obtenir text complet
Electrònic
eBook
16
Publicat 2005
Taula de continguts:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Obtenir text complet
Electrònic
eBook
17
Publicat 2014
Taula de continguts:
“... Carlo Automatic Integration with Dynamic Parallelism in CUDA -- GPU-Accelerated computation routines...”Obtenir text complet
Electrònic
eBook
18
Publicat 2007
Taula de continguts:
“... -- Sensoria Process Calculi for Service-Oriented Computing -- Global Grids – Making a Case for Self...”Obtenir text complet
Electrònic
eBook
19
Publicat 2006
Taula de continguts:
“... Logic Programming Language with Persistence and Contexts -- On a Rough Sets Based Data Mining Tool...”Obtenir text complet
Electrònic
eBook
20
Publicat 2010
Taula de continguts:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”Obtenir text complet
Electrònic
eBook