topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 2
 |
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
ISBN: 9789811236471 / Angielski / Twarda / 2021 / 380 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
658,50 |
 |
Distributed, High-Performance and Grid Computing in Computational Biology: International Workshop, GCCB 2006, International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007, Proceedings
ISBN: 9783540698418 / Angielski / Miękka / 2007 / 192 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) The book constitutes the refereed proceedings of the International Workshop on Distributed, High-Performance and Grid Computing in Computational Biology, GCCB 2006, held in Eilat, Israel in January 2007 in conjunction with the 5th European Conference on Computational Biology, ECCB 2006. The 13 revised full papers presented were carefully reviewed and selected from many high quality submissions. The book constitutes the refereed proceedings of the International Workshop on Distributed, High-Performance and Grid Computing in Computational Bi... |
cena:
201,72 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
