Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https function » its function, sites function, ups function
function java » function jane, function jason, function james
programs b » programs _, programs a, programs 4
https function » its function, sites function, ups function
function java » function jane, function jason, function james
programs b » programs _, programs a, programs 4
1
Table of Contents:
“...to Bioinformatics and Java -- to Basic Local Alignment Search Tool -- Running BLAST using...”
View full text
View full text
Electronic
eBook
2
3
Published 2008
Table of Contents:
“... for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve...”View full text
Electronic
eBook
4
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”View full text
Electronic
eBook
5
Table of Contents:
“... -- The Objective Part of Caml -- Digression: OCaml Is Not Pure -- Digression: Functional Programming -- Practical...”
View full text
View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Processing To Extract poly(A) Sites -- Analysis of poly(A) Site Choice Using A Java-Based Clustering...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise Java...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”View full text
Electronic
eBook
12
Table of Contents:
“... process -- Appendix B: Functional Javascript -- Appendix C: ES6 Primer....”
View full text
View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking...”View full text
Electronic
eBook
14
by Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Published 2005
Table of Contents:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”Published 2005
View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Random Boolean Function -- Concurrent Constraint-Based Memory Machines: A Framework for Java Memory...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... for Symbiotic Computing -- B-Dash: Agent Platform for Mutual Cognition between Human and Agents -- An Extraction...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... -- Injecting Communication Faults to Experimentally Validate Java Distributed Applications -- Implementing...”View full text
Electronic
eBook