2005

Computationally intelligent hybrid systems : the fusion of soft computing and hard computing

 

2001

Effective business intelligence systems

Thierauf, Robert J



 

2005

The elements of computing systems : building a modern computer from first principles

Nisan, Noam



 

1995

Evolving the high performance computing and communications initiative to support the nation's information infrastructure

 

1988

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

Berlin ; New York : Springer-Verlag, ©1988

 

2004

The grid : blueprint for a new computing infrastructure

2nd ed


 

2006

Grid computing : the savvy manager's guide

Plaszczak, Pawel.



 

2001

Mechanizing proof : computing, risk, and trust

MacKenzie, Donald A



 

1998

Melodic similarity : concepts, procedures, and applications

 

1991

Methodologies for intelligent systems : 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991 : proceedings

International Symposium on Methodologies for Intelligent Systems (6th : 1991 : Charlotte, N.C.)



 

1993

Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings

Berlin ; New York : Springer-Verlag, ©1993

 

1999

Model checking

Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020, author



 

2003

Molecular computing

 

2011

Seductive interaction design : creating playful, fun, and effective user experiences

Anderson, Stephen P



 

2009

Systems thinking for health systems strengthening

©2009