Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming technology » programming technologies, programming methodology, programme biotechnology
functionality testing » functionality setting, functional testing, functionality using
https functionality » its functionality, bags functionality, cross functionality
technology https » ecology https, psychology https, sociology https
testing https » teaching https, being https, writing https
programming technology » programming technologies, programming methodology, programme biotechnology
functionality testing » functionality setting, functional testing, functionality using
https functionality » its functionality, bags functionality, cross functionality
technology https » ecology https, psychology https, sociology https
testing https » teaching https, being https, writing https
1
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
2
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“... Microprocessor Testing. -- ioneering the Future of Verification: A Spiral of Technological and Business...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...1. Invited Talks -- The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“..., USA).- 22: Technological Pedagogical Content Knowledge and the Teaching of Programming (Schulte, Freie...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level...”View full text
Electronic
eBook
9
Table of Contents:
“...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...”
View full text
View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... and Decision Tree -- RDFa Ontology-Based Architecture for String-Based Web Attacks: Testing and Evaluation...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“..., and Computation -- Testing Concurrent Systems: An Interpretation of Intuitionistic Logic -- Proofs of Termination...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... -- Multi-modal Functional Test Execution -- Social Network Analysis of Communication in Open Source...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... with Different Species -- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions -- Some...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... technology and disease research: issues to be resolved -- ES and iPS cells as tools for modeling human aging...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... Accelerated Degradation Test to Evaluate Power Fade of Batteries for Electric Vehicles -- The Development...”View full text
Electronic
eBook