hung dang van
Knowledge and Systems Engineering
EbookSofort lieferbarThe field of Knowledge and Systems Engineering (KSE) has experienced rapid development and inspir...
Knowledge and Systems Engineering
EbookSofort lieferbarThe field of Knowledge and Systems Engineering (KSE) has experienced rapid development and inspir...
Automated Technology for Verification and Analysis
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 11th International Symposium on Automated T...
Theoretical Aspects of Computing - ICTAC 2005
EbookSofort lieferbarThis volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on...
Theoretical Aspects of Computing - ICTAC 2017
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 14th International Colloquium on Theoretica...
Distributed Computing and Internet Technology
EbookSofort lieferbarThis book constitutes the proceedings of the 16th International Conference on Distributed Computi...
Integrated Uncertainty in Knowledge Modelling and Decision Making
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 6th International Symposium on Integrated U...
Automated Technology for Verification and Analysis
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 18th International Symposium on Automated T...
Specification Case Studies in RAISE
TaschenbuchBezug 11-15This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Softwar...
Theoretical Aspects of Computing - ICTAC 2005
TaschenbuchPrint on DemandThis volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on...
Knowledge and Systems Engineering
TaschenbuchPrint on DemandThe field of Knowledge and Systems Engineering (KSE) has experienced rapid development and ins...
Knowledge and Systems Engineering
TaschenbuchPrint on DemandThe field of Knowledge and Systems Engineering (KSE) has experienced rapid development and ins...
- 1
- 2