1
Publicado 2007
Tabla de Contenidos: ... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...
Enlace del recurso
Electrónico eBook
2
Publicado 2006
Tabla de Contenidos: ...) -- Posters and Demonstrations -- Storytelling in Interaction: Agility in Practice -- Towards an Agile Process...
Enlace del recurso
Electrónico eBook
3
Publicado 2005
Tabla de Contenidos: ...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...
Enlace del recurso
Electrónico eBook
4
por Draheim, Dirk., Draheim, Dirk.
Publicado 2010
Tabla de Contenidos: ... -- Workflow Technology and Human-Computer Interaction -- Service-Oriented Architecture -- Conclusion....
Enlace del recurso
Electrónico eBook
5
Publicado 2005
Tabla de Contenidos: ...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...
Enlace del recurso
Electrónico eBook
6
Publicado 2010
Tabla de Contenidos: ... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...
Enlace del recurso
Electrónico eBook
7
Publicado 2005
Tabla de Contenidos: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Enlace del recurso
Electrónico eBook
8
Publicado 2007
Tabla de Contenidos: ... -- Sensoria Process Calculi for Service-Oriented Computing -- Global Grids – Making a Case for Self...
Enlace del recurso
Electrónico eBook
9
Publicado 2010
Tabla de Contenidos: ...Tutorials -- Learning Finite State Machines -- Special Theme Tutorials -- Developing Computational...
Enlace del recurso
Electrónico eBook
10
Publicado 2005
Tabla de Contenidos: ... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...
Enlace del recurso
Electrónico eBook
11
Tabla de Contenidos: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
Enlace del recurso
Electrónico eBook
12
Publicado 2010
Tabla de Contenidos: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
Enlace del recurso
Electrónico eBook
13
Publicado 2015
Tabla de Contenidos: ... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...
Enlace del recurso
Electrónico eBook
14
Publicado 2010
Tabla de Contenidos: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
Enlace del recurso
Electrónico eBook
15
Publicado 2008
Tabla de Contenidos: ...Invited Papers -- Decentralized Business Process Modeling and Enactment: ICT Architecture...
Enlace del recurso
Electrónico eBook
16
Publicado 2008
Tabla de Contenidos: ...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...
Enlace del recurso
Electrónico eBook
17
por Brooks, David R., Brooks, David R.
Publicado 2011
Materias: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Enlace del recurso
Electrónico eBook
18
Publicado 2005
Tabla de Contenidos: ...Research Papers -- Modeling and Analysis of Mobile Service Processes by Example of the Housing...
Enlace del recurso
Electrónico eBook
19
Publicado 2010
Tabla de Contenidos: ... of ECAs Interactions Using CRFs -- Automatic Distractor Generation for Domain Specific Texts...
Enlace del recurso
Electrónico eBook
20
Publicado 2010
Tabla de Contenidos: ... Evidences Based on Natural Language to Drive the Process of Fusing Multimodal Sources -- An Experimental...
Enlace del recurso
Electrónico eBook