检索结果 - interaction simulation program problem ((coverage https) OR (coverage rates))

搜索替代词:
interaction simulation » interactive simulation , interactive simulations , international simulation
simulation program » education program
program problem » programs problem , programs problems , program program
coverage https » coverage status , coverage holes , coverage sets
coverage rates » coverage status , coverage based , average rate

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

出版 2014

书本目录: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
获取全文

电子电子书

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

出版 2008

书本目录: “... Facility Location Problem -- Fourier Series Chaotic Neural Networks -- Numerical Simulation...”
获取全文

电子电子书

Network and Parallel Computing IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007, Proceedings /

出版 2007

书本目录: “... Based and ABC Supported QoS Unicast Routing Scheme -- Algorithms for the m-Coverage Problem and k...”
获取全文

电子电子书

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

出版 2013

书本目录: “... Routing Problem -- Implementation of Fractional Order PID Controller for Three Interacting Tank Process...”
获取全文

电子电子书

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

出版 2014

书本目录: “...-objective Optimization Approach for Lifetime and Coverage Problem in Wireless Sensor Network -- Evaluation...”
获取全文

电子电子书

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

出版 2010

书本目录: “... on Effectiveness of Simulation Results for Wireless Sensor Networks -- A Novel Multipath Routing Scheme in Mobile...”
获取全文

电子电子书

Dynamical Systems with Applications using Maple™

由 Lynch, Stephen., Lynch, Stephen.
出版 2010

书本目录: “...A Tutorial Introduction to Maple -- Differential Equations -- Planar Systems -- Interacting Species...”
获取全文

电子电子书

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

由 Spear, Chris., Spear, Chris.
出版 2008

书本目录: “... Connecting It All Together -- 4.6 Top-Level Scope -- 4.7 Program — Module Interactions -- 4.8 SystemVerilog...”
获取全文

电子电子书

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part II /

出版 2010

书本目录: “... Interactions among Users in Urban Computing Environments -- Multi-criteria Retrieval in Cultural Heritage...”
获取全文

电子电子书

Close Binaries in the 21st Century: New Opportunities and Challenges

出版 2006

书本目录: “... University Observatory -- The W UMa-type Stars Program: First Results, Current Status and Perspectives -- A...”
获取全文

电子电子书

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

出版 2015

书本目录: “... in Uncertain Environments -- Biodiesel Production in Stirred Tank Chemical Reactors: A Numerical Simulation...”
获取全文

电子电子书

Air Pollution Modeling and Its Application XIX

出版 2008

书本目录: “... Interactions between Air Quality and Climate Change -- 6.1 Linking Global and Regional Models to Simulate U.S...”
获取全文

电子电子书

缩小搜索