Search Results

Search again

Search within results

Found: 4 Titles

Order by : Show: Per Page

Select Page | Deselect Page | Export saved(0) | Clear saved(0)

save

An introduction to constraint-based temporal reasoning / Roman Bart�ak, Robert A. Morris, K. Brent Venable.

Author

Bart�ak, Roman.,

Call Number

Q340 .B275 2014,006.3 23,MoCl 6813742 IEEE

Book Loading...

save

Link reversal algorithms Jennifer L. Welch, Jennifer E. Walter.

Author

Welch, Jennifer.

Published

San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2012.

Call Number

QA76.9.D5 W455 2012,004.36 22

Book Loading...

save

Optimization and mathematical modeling in computer architecture / Tony Nowatzki, Michael Ferris, Karthikeyan Sankaralingam, Cristian Estan, Nilay Vaish, David Wood.

Author

Nowatzki, Tony.,

Call Number

QA76.9.A73 N686 2014,004.22 23,MoCl 6812998 IEEE

Book Loading...

save

Shared-memory synchronization Michael L. Scott.

Author

Scott, Michael Lee,

Published

San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2013.

Call Number

QA76.9.M45 S367 2013,005.43 23,MoCl 6813491 IEEE

Book Loading...

Search Tools: Get RSS Feed

Search again

Author

Subject

Publish year

Source Types

Location

Call no LC

Call no DC

Illustrations

Target audience

Form of item

Nature of contents

Conference publication

Found: 4 Titles

An introduction to constraint-based temporal reasoning / Roman Bart�ak, Robert A. Morris, K. Brent Venable.

Link reversal algorithms Jennifer L. Welch, Jennifer E. Walter.

Optimization and mathematical modeling in computer architecture / Tony Nowatzki, Michael Ferris, Karthikeyan Sankaralingam, Cristian Estan, Nilay Vaish, David Wood.

Shared-memory synchronization Michael L. Scott.

About us

Statistics

Recent News

Useful Links

Contact Us