Search Results

Search again

Search within results

Found: 3 Titles

Order by : Show: Per Page

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

save

Algorithms and computation 18th international symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007 : proceedings / Takeshi Tokuyama, (ed.).

Author

ISAAC (Conference)

Published

Berlin : Springer, c2007.

Call Number

Ebook

Book Loading...

save

Combinatorial pattern matching 18th annual symposium, CPM 2007, London, Canada, July 9-11, 2007 : proceedings / Bin Ma, Kaizhong Zhang, (eds.).

Author

Symposium on Combinatorial Pattern Matching

Published

Berlin : Springer, c2007.

Call Number

Ebook

Book Loading...

save

Theory and applications of satisfiability testing--SAT 2007 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings / Joao Marques-Silva, Karem A. Sakallah, (eds.).

Author

SAT (Conference)

Published

Berlin : Springer, c2007.

Call Number

Ebook

Book Loading...

Search Tools: Get RSS Feed

Search again

Author

Subject

Publish year

Source Types

Location

Illustrations

Form of item

Conference publication

Found: 3 Titles

Algorithms and computation 18th international symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007 : proceedings / Takeshi Tokuyama, (ed.).

Combinatorial pattern matching 18th annual symposium, CPM 2007, London, Canada, July 9-11, 2007 : proceedings / Bin Ma, Kaizhong Zhang, (eds.).

Theory and applications of satisfiability testing--SAT 2007 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings / Joao Marques-Silva, Karem A. Sakallah, (eds.).

About us

Statistics

Recent News

Useful Links

Contact Us