Title: Piton: A Mechanically Verified Assembly-Level Language, Author: J Strother Moore
Title: VHDL for Simulation, Synthesis and Formal Proofs of Hardware, Author: Jean Mermet
Title: Fuzzy Algorithms for Control, Author: H. B. Verbruggen
Title: Spatial Representation and Motion Planning, Author: Angel P. del Pobil
Title: Independent Component Analysis and Signal Separation: 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009, Proceedings, Author: Tulay Adali
Title: Digital Computer Arithmetic Datapath Design Using Verilog HDL, Author: James E. Stine
Title: Multidimensional Filter Banks and Wavelets: Research Developments and Applications, Author: Sankar Basu
Title: Intelligent Energy Field Manufacturing: Interdisciplinary Process Innovations, Author: Wenwu Zhang
Title: iOS Sensor Apps with Arduino: Wiring the iPhone and iPad into the Internet of Things, Author: Alasdair Allan
Title: Real-Time Control of Walking, Author: M.D. Donner
Title: PID Trajectory Tracking Control for Mechanical Systems, Author: Youngjin Choi
Title: Hybrid Systems II, Author: Panos Antsaklis
Title: Computer Intensive Methods in Control and Signal Processing: The Curse of Dimensionality, Author: Kevin Warwick
Title: Principles of Experimental Frequency Analysis, Author: J. T. Broch
Title: Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach, Author: Wojciech Penczek
Title: Microprocessors in Signal Processing, Measurement and Control, Author: S.G. Tzafestas
Title: Digital Identity Management: Technological, Business and Social Implications, Author: David Birch
Title: Parsing the Turing Test: Philosophical and Methodological Issues in the Quest for the Thinking Computer, Author: Robert Epstein
Title: Hardware Verification with System Verilog: An Object-Oriented Framework, Author: Mike Mintz
Title: PDA Robotics, Author: Doug Williams

Pagination Links