1
Publicado 2015
Table of Contents: ... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...
Ligazón do recurso
Electrónico eBook
2
Publicado 2013
Table of Contents: ... and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm...
Ligazón do recurso
Electrónico eBook
3
Publicado 2013
Table of Contents: ...) -- Aggregating CL-Signatures Revisited: Extended Functionality and Better Efficiency -- Accumulators and U-Prove...
Ligazón do recurso
Electrónico eBook
4
Publicado 2014
Table of Contents: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Ligazón do recurso
Electrónico eBook
5
Publicado 2008
Table of Contents: ...-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse...
Ligazón do recurso
Electrónico eBook
6
Publicado 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Ligazón do recurso
Electrónico eBook
7
Publicado 2013
Table of Contents: ... Classifiers to Data Stream Classification -- Efficacy of Some Primary Discriminant Functions in Diagnosing...
Ligazón do recurso
Electrónico eBook
8
Publicado 2014
Table of Contents: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
Ligazón do recurso
Electrónico eBook