COMPUTER NUMBER SYSTEMS AND ARITHMETIC
NORMAN R.SCOTT2222 年出版254 页ISBN:0131642111
ARTIFICIAL INTELLIGENCE AND MATHEMATICAL THEORY OF COMPUTATION PAPERS IN HONOR OF JOHN MCCARTHY
2222 年出版475 页ISBN:0124500102
ADVANCED SYSTEM MODELLING AND SIMULATION WITH BLOCK DIAGRAM LANGUAGES
2222 年出版350 页ISBN:0849394791
FORMAL MODELS AND PRACTICAL TOOLS FOR INFORMATION SYSTEMS DESIGN
1979 年出版297 页ISBN:0444853944
Technological innovations in adaptive and dependable systems : advancing models and concepts
Vincenzo De Florio2012 年出版399 页ISBN:1466602554
COMPUTER PROGRAMMING AND FORMAL SYSTEMS
P. BRAFFORT AND D. HIRSCHBERG1963 年出版161 页ISBN:
Lecture Notes in Artificial Intelligence 3464 Engineering Self-Organising Systems Methodologies and
2005 年出版299 页ISBN:354026180X