1
יצא לאור 2007
תוכן הענינים: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
מאת Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
יצא לאור 2006
תוכן הענינים: ...Overview -- to Computer Systems -- to Operating Systems -- to Using a Computer System -- to Problem...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
מאת Langtangen, Hans Petter., Langtangen, Hans Petter.
יצא לאור 2014
תוכן הענינים: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים: ... Concurrent Programs Using Linear Interfaces -- Dynamic Cutoff Detection in Parameterized Concurrent Programs...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
מאת Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
יצא לאור 2005
תוכן הענינים: ... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
... on field-programable gate array (FPGA). Most of the wireless application nowadays such as wireless sensor...
קבל טקסט מלא
Article
7
יצא לאור 2005
תוכן הענינים: ... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים: ...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2013
תוכן הענינים: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2013
תוכן הענינים: ... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2005
תוכן הענינים: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2006
תוכן הענינים: ... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2007
תוכן הענינים: ... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2015
תוכן הענינים: ... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2010
תוכן הענינים: ...Continuous and Discrete Methods in Computer Science -- Colorful Strips -- The Mono- and Bichromatic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2007
תוכן הענינים: ... and Computing Optimum RMSD for Gapped Multiple Structure Alignment -- Using Protein Domains to Improve...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2014
תוכן הענינים: ... Performance Using NK Simulation Method -- 9 Computing Implied Volatilities For Exchange-Traded Options...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2013
תוכן הענינים: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2015
תוכן הענינים: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים: ...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני