Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing mathematics » programming mathematics
https function » its function, sites function, ups function
function java » function jane, function jason, function james
processing mathematics » programming mathematics
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
Published 2010
Table of Contents:
“... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”View full text
Electronic
eBook
2
Table of Contents:
“... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“...Jython, Java and jHepWork -- to Jython -- Mathematical Functions -- One-dimensional Data -- Two...”
View full text
View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Processing Unit -- Artificial Immune System for Collaborative Spam Filtering -- MP Systems and Hybrid Petri...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... -- Function Based Requirements Engineering and Design – Towards Efficient and Transparent Plant Engineering...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... -- Streams with a Bottom in Functional Languages -- Bottom-Up ?-Reduction: Uplinks and ?-DAGs -- BI...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... -- Abstract Interpretation Plugins for Type Systems -- Separation Logic Contracts for a Java-Like Language...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Polymorphically Typed Functional Languages -- Lattice Automata: A Representation for Languages on Infinite...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- The nomore?+?+ Approach to Answer Set Solving -- Optimizing the Runtime Processing of Types in Polymorphic...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
19
Published 2011
Table of Contents:
“...From the content: Patterns improving the Common Criteria compliant IT security development process...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Processes with Input Saturation and Unknown Disturbance -- Analysis of Priority Rule-Based Scheduling...”View full text
Electronic
eBook