検索結果 - ((functions computation) or (functions computational)) programming testing theory coding*

提案スペルによる検索:
functions computational » function computation , directions computational , section computational
functions computation » function computation , functions composition , function composition
programming testing » programming designing , programming reasoning , programming extending
theory coding » theory colin , theory choosing

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...”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

Innovations in Computing Sciences and Software Engineering

出版事項 2010

目次: “... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

Advanced Techniques in Computing Sciences and Software Engineering

出版事項 2010

目次: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

An Integrated Approach to Software Engineering

著者: Jalote, Pankaj., Jalote, Pankaj.
出版事項 2005

目次: “... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

Proceedings of the Second International Conference on Mechatronics and Automatic Control

出版事項 2015

目次: “... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...”
全文の入手

電子媒体 eBook

絞込み検索