Search Results - program methods program testing array https

1

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

Published 2015

Table of Contents: “... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”
View full text

Electronic eBook

2

Multimedia Introduction to Programming Using Java

by Gries, David., Gries, David., Gries, Paul.
Published 2005

Table of Contents: “... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...”
View full text

Electronic eBook

3

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Published 2010

Table of Contents: “... Encoding of Unification in -- Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable...”
View full text

Electronic eBook

4

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
View full text

Electronic eBook

5

Pro PHP Patterns, Frameworks, Testing and More /

by McArthur, Kevin., McArthur, Kevin.
Published 2008

Table of Contents: “..., Members, and Methods -- Singleton and Factory Patterns -- Exceptions -- What’s New in PHP 6 -- Testing...”
View full text

Electronic eBook

6

A Beginner's Guide to Scala, Object Orientation and Functional Programming

by Hunt, John., Hunt, John.
Published 2014

Table of Contents: “... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...”
View full text

Electronic eBook

7

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Published 2010

Table of Contents: “... Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable...”
View full text

Electronic eBook

8

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Published 2008

Table of Contents: “... in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming...”
View full text

Electronic eBook

9

Beginning Python From Novice to Professional /

by Lie Hetland, Magnus., Lie Hetland, Magnus.
Published 2008

Table of Contents: “... User Interfaces -- Database Support -- Network Programming -- Python and the Web -- Testing, 1-2-3...”
View full text

Electronic eBook

10

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Published 2010

Table of Contents: “... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...”
View full text

Electronic eBook

11

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”
View full text

Electronic eBook

12

Data Production and Analysis in Population Genomics Methods and Protocols /

Published 2012

Table of Contents: “... Arrays Technology (DArT) – A Generic Genome Profiling Technology on Open Platforms -- Two Methods...”
View full text

Electronic eBook

13

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Published 2012

Table of Contents: “... with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling...”
View full text

Electronic eBook

14

Introducing Visual C# 2010

by Freeman, Adam., Freeman, Adam.
Published 2010

Table of Contents: “... -- Networking & WCF -- Time & Dates -- Serialization -- Parallel Programming -- Asynchronous Methods...”
View full text

Electronic eBook

15

How to Code .NET Tips and Tricks for Coding .NET 1.1 and .NET 2.0 Applications Effectively /

by Gross, Christian., Gross, Christian.
Published 2007

Table of Contents: “... -- Figuring Out What Generic Methods Do -- Why For .NET Generics Do You Need the New and Class Keyword?- Text...”
View full text

Electronic eBook

16

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Published 2005

Table of Contents: “...: Reliability and Testing -- Reliability of VLSI Linear Arrays with Redundant Links -- A Technique to Ensure...”
View full text

Electronic eBook

17

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

Published 2007

Table of Contents: “... the Accuracy of Ab Initio Gene Finding -- Genomic Signatures in De Bruijn Chains -- Fast Kernel Methods for SVM...”
View full text

Electronic eBook

18

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Published 2010

Table of Contents: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
View full text

Electronic eBook

19

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “... Data on Multiple Client Platforms -- GridBench: A Workbench for Grid Benchmarking -- A Method...”
View full text

Electronic eBook

20

Python Scripting for Computational Science

by Langtangen, Hans Petter., Langtangen, Hans Petter.
Published 2006

Table of Contents: “... Python -- Fortran Programming with Numerical Python Arrays -- C and C++ Programming with Numerical Python...”
View full text

Electronic eBook

Narrow Search