检索结果 - Automatic Computing Engine

Fundamental research in electrical engineering the selected papers of the first international conference on fundamental research in electrical engineering

Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy

Automatic methods for the refinement of system models from the specification to the implementation 由 Seiter, Julia, Wille, Rober, Drechsler, Rolf

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Efficient solving of large arithmetic constraint systems with complex boolean structure proof engines for the analysis of hybrid discrete-continuous systems 由 Herde, Christian

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Control system design guide using your computer to understand and diagnose feedback controllers 由 Ellis, George

Available for University of the Philippines System via ScienceDirect. Click here to access
Also available remotely for University of the Philippines System via ScienceDirect. Click here to access thru EZproxy

Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink.Click here to access

Computational intelligence for pattern recognition

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Diagnosis and fault-tolerant control 由 Blanke, Mogens, Kinnaert, Michel, Lunze, Jan 1942-, Staroswiecki, M.

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Embedded Systems Design Based on Formal Models of Computation 由 Radojevic, Ivan, Salcic, Zoran

Available for University of the Philippines Diliman via SpringerLink. Click here to access

An introduction to control and measurement with microcomputers 由 Dalglish, Robert Louis 1936-

Human factors and voice interactive systems