檢索結果 - ((functions computational) OR (introduction conventional)) programming using array via*

1

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

出版 2007

書本目錄: “... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”
獲取全文

電子電子書

2

Introduction to Programming with Fortran with coverage of Fortran 90, 95, 2003 and 77 /

由 Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
出版 2006

書本目錄: “...Overview -- to Computer Systems -- to Operating Systems -- to Using a Computer System -- to Problem...”
獲取全文

電子電子書

3

A Primer on Scientific Programming with Python

由 Langtangen, Hans Petter., Langtangen, Hans Petter.
出版 2014

書本目錄: “... and Error Handling -- Array Computing and Curve Plotting -- Dictionaries and Strings -- Introduction...”
獲取全文

電子電子書

4

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

出版 2010

書本目錄: “... Concurrent Programs Using Linear Interfaces -- Dynamic Cutoff Detection in Parameterized Concurrent Programs...”
獲取全文

電子電子書

5

VEE Pro: Practical Graphical Programming

由 Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
出版 2005

書本目錄: “... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...”
獲取全文

電子電子書

6

Low power multicarrier- code division multiple access receiver on field programmable gate array

由 Mohd Hassan, Siti Lailatul, Sulaiman, Nasri, Saparon, Azilah, Mohd Yussoff, Yusnani, Jaafar, Haslina
出版 2019

“... on field-programable gate array (FPGA). Most of the wireless application nowadays such as wireless sensor...”
獲取全文

Article

7

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

出版 2005

書本目錄: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
獲取全文

電子電子書

8

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN...

出版 2010

書本目錄: “...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...”
獲取全文

電子電子書

9

Computer Vision -- ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II /

出版 2013

書本目錄: “... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”
獲取全文

電子電子書

10

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

出版 2013

書本目錄: “... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”
獲取全文

電子電子書

11

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

出版 2005

書本目錄: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
獲取全文

電子電子書

12

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

出版 2006

書本目錄: “... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”
獲取全文

電子電子書

13

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

出版 2007

書本目錄: “... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...”
獲取全文

電子電子書

14

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

出版 2015

書本目錄: “... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”
獲取全文

電子電子書

15

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

出版 2010

書本目錄: “...Continuous and Discrete Methods in Computer Science -- Colorful Strips -- The Mono- and Bichromatic...”
獲取全文

電子電子書

16

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings /

出版 2007

書本目錄: “... and Computing Optimum RMSD for Gapped Multiple Structure Alignment -- Using Protein Domains to Improve...”
獲取全文

電子電子書

17

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2013 /

出版 2014

書本目錄: “... Performance Using NK Simulation Method -- 9 Computing Implied Volatilities For Exchange-Traded Options...”
獲取全文

電子電子書

18

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

出版 2013

書本目錄: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
獲取全文

電子電子書

19

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

出版 2015

書本目錄: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
獲取全文

電子電子書

20

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

出版 2010

書本目錄: “...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”
獲取全文

電子電子書

縮小搜索