1
Vydáno 2006
Obsah: ... and References -- Proof Abstraction for Imperative Languages -- Reading, Writing and Relations -- Session 3 -- A...
Získat plný text
Elektronický zdroj E-kniha
2
Obsah: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
Získat plný text
Elektronický zdroj E-kniha
3
Témata: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2014
Obsah: ... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...
Získat plný text
Elektronický zdroj E-kniha
5
Obsah: ... -- Shifter for Load -- Writing to the General Purpose Register File -- Pipelining.-MIPS ISA and Basic...
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2010
Obsah: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2006
Obsah: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2010
Obsah: ... Programming of ?-Cell Failure -- Nutrient Regulation of Insulin Secretion and ?-Cell Functional Integrity...
Získat plný text
Elektronický zdroj E-kniha
9
Vydáno 2006
Obsah: ... for Level-1 Caches -- A Case for Dual-Mapping One-Way Caches -- Cache Write-Back Schemes for Embedded...
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2012
Obsah: ... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...
Získat plný text
Elektronický zdroj E-kniha
11
Vydáno 2014
Obsah: ... Selection -- A Sociology Based Reputation Model for Cloud Service -- Comparative Analysis and Simulation...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání