Ved at vælge "Accepter alle", giver du Rakuten Kobo og deres partnere tilladelse til at bruge cookies, sporing og lignende teknologier til at indsamle dine personlige data og behandle dem til følgende formål: at drive hjemmesiden og Kobos tjenester og sikre, at de fungerer korrekt, at levere personligt tilpasset indhold til dig på Kobo og annoncere for Kobo på andre platforme, og at måle analyser og analysere, hvordan vores hjemmeside og tjenester bliver brugt. Ellers skal du klikke på "Afvis" nedenfor for at afvise alle ikke-væsentlige formål eller se "Databeskyttelsesindstillinger" for at administrere dine præferencer for hvert formål. Læs vores Databeskyttelsespolitik.
Verifying Floating-point Algorithms with the Coq System
Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Amit Sheth, Roland R. Wagner
467,14 kr.
Michael Krivelevich, Konstantinos Panagiotou, Mathew Penrose, Colin McDiarmid, Nikolaos Fountoulakis, Dan Hefetz
475,74 kr.
Anna-Lena Lamprecht
467,14 kr.
Xiaoying Han, Peter E. Kloeden
1.214,72 kr.
Ching-Hsien Hsu, Xingang Liu, Shangguang Wang, Xia Feng
467,14 kr.
Alexander Dudin, Alexander Gortsev, Anatoly Nazarov, Rafael Yakupov
467,14 kr.
Jun Sun, Yuan-Fang Li, Yang Liu, Grigoris Antoniou, Zhe Wang, Jin Song Dong, Wei Hu
467,14 kr.
Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres
1.401,61 kr.
Vær den første til at bedømme og anmelde denne bog!
