Specification and Verification" href="https://understandingcontext.com/aceto-2007-reactive-systems/">Aceto |
2007 |
Reactive Systems: Modelling Specification and Verification |
ANSI/IEEE |
1984 |
IEEE Standard Dictionary of Electrical and Electronics Terms |
Carrico |
1989 |
Building Knowledge Systems |
Desrochers |
1987 |
Principles of Parallel and Multiprocessing |
Fiammante |
2010 |
Dynamic SOA and BPM: Best Processes for Business Process Management and SOA Agility |
Fukushima |
1988 |
A Neural Network for Visual Pattern Recognition |
Haynes |
1982 |
A Survey of Highly Parallel Computing |
Hewitt |
1986 |
Design Issues in Parallel Architectures for Artificial Intelligence |
Macaulay |
1988 |
The Way Things Work |
O'Leary |
1987 |
From Determinacy to Systaltic Arrays |
Roshen |
2009 |
SOA-Based Enterprise Integration: A Step-by-Step Guide to Service-Based Integration |
Van Brunt |
1985 |
Biochips: The Ultimate Computer |
Weiss |
1984 |
A Practical Guide to Designing Expert Systems |
Wysocki |
1997 |
Managing Information Across the Enterprise |