Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN978-3-642-28756-5> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- books?vid=ISBN978-3-642-28756-5 author "Pavel Shved, Mikhail Mandrykin, Vadim Mutilin".
- books?vid=ISBN978-3-642-28756-5 chapter "Predicate Analysis with BLAST 2.7.".
- books?vid=ISBN978-3-642-28756-5 editor1First "Cormac".
- books?vid=ISBN978-3-642-28756-5 editor1Last "Flanagan".
- books?vid=ISBN978-3-642-28756-5 editor2First "Barbara".
- books?vid=ISBN978-3-642-28756-5 editor2Last "König".
- books?vid=ISBN978-3-642-28756-5 isCitedBy BLAST_model_checker.
- books?vid=ISBN978-3-642-28756-5 isbn "978-3-642-28756-5".
- books?vid=ISBN978-3-642-28756-5 pages "525–527".
- books?vid=ISBN978-3-642-28756-5 publisher "Springer-Verlag".
- books?vid=ISBN978-3-642-28756-5 series "Lecture Notes in Computer Science".
- books?vid=ISBN978-3-642-28756-5 title "Tools and Algorithms for the Construction and Analysis of Systems".
- books?vid=ISBN978-3-642-28756-5 volume "7214".
- books?vid=ISBN978-3-642-28756-5 year "2012".