Selbstverifizierende mathematische Softwarewerkzeuge im High Performance Computing - Konzeption, Entwicklung und Analyse am Beispiel der parallelen verifizierten L√∂sung linearer Fredholmscher Integralgleichungen zweiter Art. | D2R Server publishing the DBLP Bibliography Database, hosted at L3S Research Center

Property	Value
dcterms:bibliographicCitation	<http://dblp.uni-trier.de/rec/bibtex/books/daglib/0018814>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Markus_Grimmer>
dc:identifier	DBLP books/daglib/0018814 (xsd:string)
dcterms:issued	2007 (xsd:gYear)
rdfs:label	Selbstverifizierende mathematische Softwarewerkzeuge im High Performance Computing - Konzeption, Entwicklung und Analyse am Beispiel der parallelen verifizierten L√∂sung linearer Fredholmscher Integralgleichungen zweiter Art. (xsd:string)
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Markus_Grimmer>
swrc:pages	I-X, 1-256 (xsd:string)
dc:publisher	Logos (xsd:string)
owl:sameAs	<http://bibsonomy.org/uri/bibtexkey/books/daglib/0018814/dblp>
owl:sameAs	<http://dblp.rkbexplorer.com/id/books/daglib/0018814>
dc:title	Selbstverifizierende mathematische Softwarewerkzeuge im High Performance Computing - Konzeption, Entwicklung und Analyse am Beispiel der parallelen verifizierten L√∂sung linearer Fredholmscher Integralgleichungen zweiter Art. (xsd:string)
dc:type	<http://purl.org/dc/dcmitype/Text>
rdf:type	swrc:Book
rdf:type	foaf:Document