Home / Publishers / University of California, Santa Barbara, College of Engineering, Dept. of Computer Science

Books by Publisher: University of California, Santa Barbara, College of Engineering, Dept. of Computer Science

All books from this publisher

4 books found
Converting affine recurrence equations to quasi-uniform recurrence equations (Technical report. University of California, Santa Barbara. College of Engineering. Dept. of Computer Science)
Converting affine recurrence equations to quasi-uniform rec…
By: Yoav Yaacoby
View Details
Hadamard square roots (Technical report. University of California, Santa Barbara. College of Engineering. Dept. of Computer Science)
Hadamard square roots (Technical report. University of Cali…
By: Marvin Marcus
View Details
An experience with two symbolic execution-based approaches to formal verification of Ada tasking programs (Technical report. University of California, ... of Engineering. Dept. of Computer Science)
An experience with two symbolic execution-based approaches …
By: Laura K Dillon
View Details
Oriented aligned rectangle packing problem (Technical report. University of California, Santa Barbara. College of Engineering. Dept. of Computer Science)
Oriented aligned rectangle packing problem (Technical repor…
By: Pankaj K Agarwal
View Details