Automated ReasoningPublisher: Springer Nature Year: 30/08/2008 Edition: First ISBN: 9783540710707 Publication form: eBook: Fixed Page eTextbook (PDF)
|
707.52 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Frontiers of Combining SystemsPublisher: Springer Nature Year: 01/08/2003 Edition: First ISBN: 9783540459880 Publication form: eBook: Fixed Page eTextbook (PDF)
|
488.13 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, ProceedingsPublisher: Springer, Berlin ISBN: 9783540710691 Publication form: paperback
|
Ask about the product
|
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. ProceedingsPublisher: Springer, Berlin ISBN: 9783540433811 Publication form: paperback
|
Ask about the product
|
Performance of Metals and Ceramics in Total Hip ArthroplastyPublisher: Springer, Berlin ISBN: 9783031254192 Publication form: hardback
|
Ask about the product
|
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected PapersPublisher: Springer, Berlin ISBN: 9783642160738 Publication form: paperback
|
Ask about the product
|