Filter
Søkt på: leila ribeiro
Filter
totalt 3 treff
Formal Methods: Foundations and Applications
e-bok,
2016,
Engelsk,
ISBN 9783319498157
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers …
Graph Transformations
e-bok,
2006,
Engelsk,
ISBN 9783540388722
ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops …
Designing cdma2000 Systems
e-bok,
2005,
Engelsk,
ISBN 9780470020098
CDMA is the second most widely deployed technology in the world with more than 100 million subscribers worldwide and is projected to reach 280 million subscribers by 2006. CDMA …