Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programming programming » programming programmed, programming program
integration session » integration series, integration solutions, integration services
session programming » revision programming, design programming, session programme
programming cases » programming case, programming based, programming courses
cases https » atlases https, spaces https, nurses https
programming programming » programming programmed, programming program
integration session » integration series, integration solutions, integration services
session programming » revision programming, design programming, session programme
programming cases » programming case, programming based, programming courses
cases https » atlases https, spaces https, nurses https
1
Publicat 2008
Taula de continguts:
“...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”Obtenir text complet
Electrònic
eBook
2
Publicat 2006
Taula de continguts:
“... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...”Obtenir text complet
Electrònic
eBook
3
Publicat 2010
Taula de continguts:
“... -- Extending SDP Integrality Gaps to Sherali-Adams with Applications to Quadratic Programming and MaxCutGain...”Obtenir text complet
Electrònic
eBook
4
Publicat 2010
Taula de continguts:
“... for the Assignment Problem -- Integral Boundary Points of Convex Polyhedra -- Outline of an Algorithm for Integer...”Obtenir text complet
Electrònic
eBook
5
Publicat 2005
Taula de continguts:
“... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”Obtenir text complet
Electrònic
eBook
6
Publicat 2007
Taula de continguts:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”Obtenir text complet
Electrònic
eBook
7
Publicat 2011
Taula de continguts:
“... for the SENSORIA Approach: A White Paper -- Introduction to the SENSORIA Case Studies -- UML Extensions for Service...”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”Obtenir text complet
Electrònic
eBook
9
Publicat 2005
Taula de continguts:
“... Overhead in Open MPI -- A Case for New MPI Fortran Bindings -- Design Alternatives and Performance Trade...”Obtenir text complet
Electrònic
eBook
10
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th...
Publicat 2005
Taula de continguts:
“...Session 1: Low-Power Processors -- Session 2: Code Optimization for Low-Power -- Session 3: High...”Obtenir text complet
Electrònic
eBook
11
Publicat 2007
Taula de continguts:
“...Plenary Talks -- Supporting Participative Joint Decisions in Integrated Design and Manufacturing...”Obtenir text complet
Electrònic
eBook
12
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th...
Publicat 2006
Taula de continguts:
“...Session 1 – High-Level Design -- Session 2 – Power Estimation / Modeling -- Session 3 – Memory...”Obtenir text complet
Electrònic
eBook
13
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Publicat 2007
Taula de continguts:
“...Session 1 - High-Level Design (1) -- System-Level Application-Specific NoC Design for Network...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“... for Dynamic Reconfiguration in Service-Oriented Architectures -- Integrating Requirements and Design Decisions...”Obtenir text complet
Electrònic
eBook
15
Taula de continguts:
“... the Work Environment Ready -- Getting Ready for the Case Study -- Integrating PHP Into Your Site -- Getting...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
16
Publicat 2007
Taula de continguts:
“...Session 1: Decentralized and Peer-to-Peer Management -- Botnets for Scalable Management -- Self...”Obtenir text complet
Electrònic
eBook
17
Publicat 2008
Taula de continguts:
“... by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration...”Obtenir text complet
Electrònic
eBook
18
Publicat 2010
Taula de continguts:
“... - Satellite Communications: Multimedia Integration -- Comparative Analysis of Image Compression Algorithms...”Obtenir text complet
Electrònic
eBook
19
Publicat 2014
Taula de continguts:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Obtenir text complet
Electrònic
eBook
20
Publicat 2014
Taula de continguts:
“... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...”Obtenir text complet
Electrònic
eBook