1
Cyhoeddwyd 2005
Tabl Cynhwysion: ... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...
Cael y testun llawn
Electronig eLyfr
2
gan Draheim, Dirk., Draheim, Dirk.
Cyhoeddwyd 2010
Tabl Cynhwysion: ...Business Process Excellence -- Research Opportunities in Business Process Technology -- Semantics...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2006
Tabl Cynhwysion: ... on Communication and Collaboration-Viability in Pair Programming – An Empirical Study -- The Collaborative Nature...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2006
Tabl Cynhwysion: ... on Unrestricted Text -- Improving Inter-level Communication in Cascaded Finite-State Partial Parsers -- Pivotal...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2015
Tabl Cynhwysion: ... Product Space -- An Analysis of Indoor Power Line Network as a Communication Medium Using ABCD Matrices...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2008
Tabl Cynhwysion: ... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Nets -- Stochastic Process Algebras -- A Survey of Markovian Behavioral Equivalences -- Stochastic...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2010
Tabl Cynhwysion: ... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Mobile P2P Systems -- A New Image Enhancement Method Based on Nonsubsampled Contourlet Transform...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2008
Tabl Cynhwysion: ... -- Simulation Methods in Systems Biology -- Membrane Computing as a Modeling Framework. Cellular Systems Case...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2013
Tabl Cynhwysion: ... in Verification Tools of Concurrent Systems -- A UTP Semantics for Communicating Processes with Shared Variables...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2014
Tabl Cynhwysion: ... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2010
Tabl Cynhwysion: ...-Fielding Projects -- A Repository of Agile Method Fragments -- OAP: Toward a Process for an Open World...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2012
Tabl Cynhwysion: ...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...
Cael y testun llawn
Electronig eLyfr
17
gan Katayama, Tohru., Katayama, Tohru.
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Processes -- Kalman Filter -- Realization Theory -- Realization of Deterministic Systems -- Stochastic...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Negatives -- Behavioural Specifications from Class Models -- Inheriting Laws for Processes with States...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2005
Tabl Cynhwysion: ... and Algorithms for the Logic and Stochastic Analysis of Discrete–State Systems -- PiDuce: A Process Calculus...
Cael y testun llawn
Electronig eLyfr
20
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Method -- Comparison of SPIHT, Classical and Adaptive Lifting Scheme for Compression of Satellite...
Cael y testun llawn
Electronig eLyfr