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...
Theoretical Aspects of Computing - ICTAC 2005
TaschenbuchBezug 11-15This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on...
Specification Case Studies in RAISE
TaschenbuchBezug 11-15This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Softwar...
Automated Technology for Verification and Analysis
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 11th International Symposium on Automated T...
Knowledge and Systems Engineering
TaschenbuchBezug 11-15The field of Knowledge and Systems Engineering (KSE) has experienced rapid development and ins...
- 1
- 2