Search Results - program testing https functionality maps https

1

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

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

Table of Contents: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text

Electronic eBook

2

Principles of Neurophysiological Assessment, Mapping, and Monitoring

Published 2014

Table of Contents: “... -- 18. Intraoperative Cortical Mapping: Basic Concepts, Indications, and Anesthesia Considerations -- 19...”
View full text

Electronic eBook

3

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
View full text

Electronic eBook

4

Mathematics of Program Construction 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings /

Published 2008

Table of Contents: “... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”
View full text

Electronic eBook

5

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Published 2010

Table of Contents: “... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”
View full text

Electronic eBook

6

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... for Testing Asynchronous Creol Components -- Compositional Strategy Mapping -- A Sound Analysis for Secure...”
View full text

Electronic eBook

7

Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers /

Published 2007

Table of Contents: “... and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM) -- Improving Functional Testing...”
View full text

Electronic eBook

8

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Verification, Least-Fixpoint Checking, Abstraction -- Combining Tests and Proofs -- Logics -- Propositional...”
View full text

Electronic eBook

9

The Definitive Guide to Jython Python for the Java Platform /

by Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Published 2010

Table of Contents: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
View full text

Electronic eBook

10

Spring Persistence with Hibernate

by Fisher, Paul., Fisher, Paul., Murphy, Brian D.
Published 2010

Table of Contents: “... -- Transaction Management -- Effective Testing -- Best Practices and Advanced Techniques -- Integration...”
View full text

Electronic eBook

11

Pro NetBeans IDE 5.5 Enterprise Edition

by Myatt, Adam., Myatt, Adam.
Published 2007

Table of Contents: “... -- JUnit Testing -- Using Code Coverage Tools -- Working with NetBeans Developer Collaboration Tools...”
View full text

Electronic eBook

12

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
View full text

Electronic eBook

13

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”
View full text

Electronic eBook

14

Technological Pedagogical Content Knowledge Exploring, Developing, and Assessing TPCK /

Published 2015

Table of Contents: “...-representing TPCK: Addressing the complexity of teaching with technology.- 3. Mapping TPACK and the Teacher...”
View full text

Electronic eBook

15

Linking and Aligning Scores and Scales

Published 2007

Table of Contents: “... -- Practical Problems in Equating Test Scores: A Practitioner’s Perspective -- Potential Solutions to Practical...”
View full text

Electronic eBook

16

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Identification, Collection and Distribution -- Testing Distributed ABS System with Fault Injection -- Learning...”
View full text

Electronic eBook

17

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Published 2006

Table of Contents: “...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...”
View full text

Electronic eBook

18

Python For ArcGIS

by Tateosian, Laura., Tateosian, Laura.
Published 2015

Table of Contents: “... geoprocessing -- Additional looping functions -- Debugging -- Error handling -- User-defined functions -- User...”
View full text

Electronic eBook

19

Research in Computational Molecular Biology 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010, Proceedings /

Published 2010

Table of Contents: “...An Algorithmic Framework for Predicting Side-Effects of Drugs -- SubMAP: Aligning Metabolic...”
View full text

Electronic eBook

20

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

Published 2007

Table of Contents: “... for Large Scale Protein 3D Reconstruction from Contact Maps -- Bringing Folding Pathways into Strand Pairing...”
View full text

Electronic eBook

Narrow Search