檢索結果 - ((functions computation) or (function computing)) programming testing theory coding*

1

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

出版 2005

書本目錄: “... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”
獲取全文

電子電子書

2

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

出版 2007

書本目錄: “... Evaluation of Different Approaches -- Modeling, Analysis and Testing of Safety Issues - An Event-Based...”
獲取全文

電子電子書

3

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

出版 2008

書本目錄: “... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”
獲取全文

電子電子書

4

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

出版 2007

書本目錄: “... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”
獲取全文

電子電子書

5

Innovations in Computing Sciences and Software Engineering

出版 2010

書本目錄: “... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”
獲取全文

電子電子書

6

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

出版 2007

書本目錄: “...Multiobjective Evolutionary Optimization -- A New Evolutionary Decision Theory for Many-Objective...”
獲取全文

電子電子書

7

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

出版 2008

書本目錄: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
獲取全文

電子電子書

8

Advanced Techniques in Computing Sciences and Software Engineering

出版 2010

書本目錄: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
獲取全文

電子電子書

9

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

出版 2014

書本目錄: “... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”
獲取全文

電子電子書

10

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

出版 2014

書本目錄: “... Performance Development -- A Test-Driven Approach for Model-Based Development of Powertrain Functions -- Part...”
獲取全文

電子電子書

11

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

出版 2014

書本目錄: “... Network Coding -- Improved Halftone Visual Cryptography by Random Grids -- Statistical Tests for Combined...”
獲取全文

電子電子書

12

An Integrated Approach to Software Engineering

由 Jalote, Pankaj., Jalote, Pankaj.
出版 2005

書本目錄: “... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
獲取全文

電子電子書

13

Information and Communications Security 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012, Proceedings /

出版 2012

書本目錄: “... Filtering Optimization Using Statistical Traffic Awareness Test -- Group Behavior Metrics for P2P Botnet...”
獲取全文

電子電子書

14

Information Security and Privacy 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings /

出版 2006

書本目錄: “... Signature -- Theory -- A Novel Range Test -- Efficient Primitives from Exponentiation in ? p -- PA...”
獲取全文

電子電子書

15

Information Hiding 7th International Workshop, IH 2005, Barcelona, Spain, June 6-8, 2005, Revised Selected Papers /

出版 2005

書本目錄: “... Software Watermarking -- Data Hiding in Compiled Program Binaries for Enhancing Computer System Performance...”
獲取全文

電子電子書

16

Bioinformatics Research and Applications Third International Symposium,ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007, Proceedings /

出版 2007

書本目錄: “... of Time-Course Gene Expression Profiles -- Data-Driven Smoothness Enhanced Variance Ratio Test to Unearth...”
獲取全文

電子電子書

17

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

出版 2015

書本目錄: “... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”
獲取全文

電子電子書

18

Brain, Vision, and Artificial Intelligence First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings /

出版 2005

書本目錄: “... Retinal Circuitry in Health and Disease -- Does a Plane Imitate a Bird? Does Computer Vision Have...”
獲取全文

電子電子書

19

Proceedings of the Second International Conference on Mechatronics and Automatic Control

出版 2015

書本目錄: “... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...”
獲取全文

電子電子書

縮小搜索