Wyniki wyszukiwania:
wyszukanych pozycji: 2
 |
A Pipelined Multi-Core MIPS Machine: Hardware Implementation and Correctness Proof
ISBN: 9783319139050 / Angielski / Miękka / 2014 / 352 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This monograph is based on the third author's lectures on computer architecture, given in the summer semester 2013 at Saarland University, Germany. It contains a gate level construction of a multi-core machine with pipelined MIPS processor cores and a sequentially consistent shared memory. The book contains the first correctness proofs for both the gate level implementation of a multi-core processor and also of a cache based sequentially consistent shared memory. This opens the way to the formal verification of synthesizable hardware for multi-core processors in the... This monograph is based on the third author's lectures on computer architecture, given in the summer semester 2013 at Saarland University, Germany.... |
cena:
195,42 zł |
 |
Nauchnyy byt russkikh istorikov-emigrantov v Prage v 1920 - 1930-e gody
ISBN: 9783843306584 / Rosyjski / Miękka / 2011 / 472 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Sobytiya revolyutsii 1917 goda i Grazhdanskoy voyny priveli k massovomu iskhodu iz Rossii nauchnykh i kulturnykh deyateley, rasselivshikhsya po vsemu miru i sozdavshikh za rubezhom svoi intellektualnye tsentry. Odnim iz nikh v 1920 - 1930-e gody byla Praga, v kotoroy blagodarya podderzhke chekhoslovatskikh vlastey slozhilas razvitaya set raznoobraznykh emigrantskikh organizatsiy. Osobogo vnimaniya zasluzhivaet soobshchestvo russkikh istorikov, issledovaniyu kotorogo i posvyashchena dannaya kniga. Ona predstavlyaet soboy pervuyu popytku istoriko- antropologicheskogo izucheniya lokalnogo...
Sobytiya revolyutsii 1917 goda i Grazhdanskoy voyny priveli k massovomu iskhodu iz Rossii nauchnykh i kulturnykh deyateley, rasselivshikhsya po vsemu ...
|
cena:
363,32 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
