Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive computing » interactive computer
computing process » computing processor, composting process, computing progress
program compiling » programs compiling, program comparing, problem compiling
process program » progress program, process programmed, processing program
compiling https » computing https, counseling https, consulting https
interactive computing » interactive computer
computing process » computing processor, composting process, computing progress
program compiling » programs compiling, program comparing, problem compiling
process program » progress program, process programmed, processing program
compiling https » computing https, counseling https, consulting https
1
Published 2007
Table of Contents:
“... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...) -- Posters and Demonstrations -- Storytelling in Interaction: Agility in Practice -- Towards an Agile Process...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...”View full text
Electronic
eBook
4
Table of Contents:
“... -- Workflow Technology and Human-Computer Interaction -- Service-Oriented Architecture -- Conclusion....”
View full text
View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... -- Sensoria Process Calculi for Service-Oriented Computing -- Global Grids – Making a Case for Self...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...Tutorials -- Learning Finite State Machines -- Special Theme Tutorials -- Developing Computational...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”View full text
Electronic
eBook
13
Table of Contents:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text
View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“...Invited Papers -- Decentralized Business Process Modeling and Enactment: ICT Architecture...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“...Research Papers -- Modeling and Analysis of Mobile Service Processes by Example of the Housing...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...”View full text
Electronic
eBook
18
Natural Language Processing and Information Systems 14th International Conference on Applications...
Published 2010
Table of Contents:
“... Evidences Based on Natural Language to Drive the Process of Fusing Multimodal Sources -- An Experimental...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... of ECAs Interactions Using CRFs -- Automatic Distractor Generation for Domain Specific Texts...”View full text
Electronic
eBook
20
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook