检索结果 - ((functions computation) or (function computation)) programming using theory coding*

1

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /

由 O’Regan, Gerard., O’Regan, Gerard.
出版 2013

书本目录: “... -- Language Theory and Semantics -- Computability and Decidability -- Probability, Statistics and Software...”
获取全文

电子电子书

2

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /

出版 2005

书本目录: “... Event Trees Using Bayesian Networks with a Case Study of Train Derailment -- Control and Data Flow...”
获取全文

电子电子书

3

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

出版 2007

书本目录: “.../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...”
获取全文

电子电子书

4

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

出版 2008

书本目录: “... in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security...”
获取全文

电子电子书

5

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

出版 2007

书本目录: “... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...”
获取全文

电子电子书

6

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

出版 2005

书本目录: “... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”
获取全文

电子电子书

7

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

出版 2007

书本目录: “... IEEE1394 -- Efficient Measurement of the Eye Blinking by Using Decision Function for Intelligent...”
获取全文

电子电子书

8

Innovations in Computing Sciences and Software Engineering

出版 2010

书本目录: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
获取全文

电子电子书

9

Advances in Computation and Intelligence Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings /

出版 2007

书本目录: “... in Evolutionary Programming -- A Comparison of GAs Using Penalizing Infeasible Solutions and Repairing Infeasible...”
获取全文

电子电子书

10

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

出版 2008

书本目录: “...Keynote Addresses -- Extreme Computing on the Distributed European Infrastructure...”
获取全文

电子电子书

11

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II /

出版 2014

书本目录: “...Visual Dictionary Pruning Using Mutual Information and Information Gain -- Mining Telecommunication...”
获取全文

电子电子书

12

Advanced Techniques in Computing Sciences and Software Engineering

出版 2010

书本目录: “... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...”
获取全文

电子电子书

13

Recent Advances in Matrix and Operator Theory

出版 2008

书本目录: “... Semidefinite Programming -- Ranks of Hadamard Matrices and Equivalence of Sylvester—Hadamard and Pseudo-Noise...”
获取全文

电子电子书

14

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings /

出版 2008

书本目录: “... Transmitter: A Fast Design Cycle Using OFDM Framework in Bluespec -- SoC -- A Real-Time Programming Model...”
获取全文

电子电子书

15

Critical Infrastructure Protection IV Fourth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2010, Washington, DC, USA, March 15-17, 2010...

出版 2010

书本目录: “... Breakdowns -- Modeling Inoperability Propagation Using Bayesian Networks -- Risk Management -- Resilience...”
获取全文

电子电子书

16

Cryptology and Network Security 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010, Proceedings /

出版 2010

书本目录: “... Cryptosystems Using Mixed Coordinates Strategy and Direct Computations -- Invited Talk II -- Cryptography Meets...”
获取全文

电子电子书

17

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

出版 2014

书本目录: “...-organized Learning in Software Factory: Experiences and Lessons Learned -- Part Methods and Metrics -- Using...”
获取全文

电子电子书

18

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

出版 2014

书本目录: “... Grid -- Network Selection Mechanism for Future Generation Network Using Game Theory Model -- Research...”
获取全文

电子电子书

19

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /

出版 2008

书本目录: “... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”
获取全文

电子电子书

20

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings /

出版 2008

书本目录: “... Requirements -- Cryptanalysis -- Key Recovery Attack on Stream Cipher Mir-1 Using a Key-Dependent S-Box...”
获取全文

电子电子书

缩小搜索