Search Results - computer program ((aid https) OR (part http)) processing.

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Published 2021

The computer-aided Analytic Process Model : ... /

by Shapiro, Ronald G., Bloom, Richard F., Oates, John F., Jr
Published 1986

Computer-aided power systems analysis /

by Kusic, George
Published 2009

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

Published 2019

Computer-Aided Reasoning : An Approach /

by Kaufmann, Matt
Published 2000

Programming for electrical engineers /

by Squire, James C., Brown, Julie Phillips
Published 2021

Computer aided innovation of new materials II : proceedings of the second International Conference and Exhibition on Computer Applications to Materials and Molecular Science and En...

Published 1993

Computer-aided decision making for Medical Device Reporting /

by Chen, Jih-Horn
Published 1987

Computer aided design : a conceptual approach /

by Sarkar, Jayanta (Mechanical engineer)
Published 2015

Computer-aided fraud prevention and detection : a step-by-step guide /

by Coderre, David G.
Published 2009

Computational Biology - : Unix/Linux, Data Processing and Programming /

by Wünschiers, Röbbe
Published 2004

CAD, 3D modeling, engineering analysis, and prototype experimentation : industrial and research applications /

by Zheng Li, Jeremy
Published 2015

20th European Symposium on Computer Aided Process Engineering : ESCAPE-20 /

Published 2010

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings /

Published 1992

Computer-aided design/engineering (CAD/CAE) techniques and their applications.

Published 1993

Introduction to visual computing : core concepts in computer vision, graphics, and image processing /

by Majumder, Aditi, Gopi, M.
Published 2018

Numerical computer methods.

Published 1992

An interface model for building energy performance simulation in an integrated computer-aided design environment /

by Kim, Byungseon Sean
Published 1992

European Symposium on Computer Aided Process Engineering--10 : ESCAPE--10, 7-10 May, 2000, Florence, Italy : 33rd European symposium of the Working Party on Computer Aided Process...

Published 2000

Computer-aided analysis of difference schemes for partial differential equations /

by Ganzha, V. G. (Victor Grigorʹevich), 1956-
Published 1996