- Computer Aided Systems Theory - EUROCAST '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, ... (Lecture Notes in Computer Science)
- Qualitative Representation of Spatial Knowledge (Lecture Notes in Computer Science) by Daniel Hernandez, 1994-08-05
- Sequential Logic Synthesis (The International Series in Engineering and Computer Science) by Ashar Djaloeis, S. Devadas, et all 1991-11-30
- Applied Parallel Computing. Computations in Physics, Chemistry and Engineering Science: Second International Workshop, PARA '95, Lyngby, Denmark, August ... (Lecture Notes in Computer Science)
- Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract (Ifip ... a, Computer Science and Technology, a-10) by IFIP TC10, Practice, and Experience (1992 : Nijmegen, Netherlands) WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, et all 1992-06
- High-Level VLSI Synthesis (The International Series in Engineering and Computer Science)
- Computer Aided Geometric Design (Lecture Notes in Mathematics & Computer Science, 1)
- Robotic Grasping and Fine Manipulation (The International Series in Engineering and Computer Science) by M. R. Cutkosky, 1985-08-31
- Simulated Annealing for VLSI Design (The International Series in Engineering and Computer Science) by D.F. Wong, H.W. Leong, et all 1988-03-31
- Parallel Methods for VLSI Layout Design: (Computer Engineering and Computer Science) by C. P. Ravikumar, 1995-01-01
- Mixed-Mode Simulation (The International Series in Engineering and Computer Science) by Resve A. Saleh, A. Richard Newton, 1990-06-30
- Numerical Methods and Applications: 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006, Revised Papers (Lecture Notes in Computer Science)
- Computer-Aided Cooperative Product Development: Mit-Jsme Workshop, Mit, Cambridge, Usa, November 20/21, 1989 Proceedings (Lecture Notes in Computer Science) by D. Sriram, R. Logcher, 1991-07
- Assessing Fault Model and Test Quality (The Springer International Series in Engineering and Computer Science) by Kenneth M. Butler, M. Ray Mercer, 1991-10-31
|