Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs foundations » program foundations, program foundation, programming foundations
foundations https » equations https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
programs foundations » program foundations, program foundation, programming foundations
foundations https » equations https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
2
Table of Contents:
“...Introducing Ajax -- Atlas: Taking Ajax to the Next Level -- Atlas: Making Client-Side Java...”
View full text
View full text
Electronic
eBook
3
4
Table of Contents:
“...Introducing Ajax -- What Is Ajax? -- Development Tools -- Libraries and Toolkits -- Java-Agnostic...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“... JavaScript Easier -- ASP.NET AJAX Client Libraries -- Introducing Server Controls in ASP.NET AJAX -- Using...”
View full text
View full text
Electronic
eBook
6
Table of Contents:
“...Jython, Java and jHepWork -- to Jython -- Mathematical Functions -- One-dimensional Data -- Two...”
View full text
View full text
Electronic
eBook
7
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
8
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”View full text
Electronic
eBook
10
Table of Contents:
“...Numbers -- Real-Valued Functions -- Trigonometry -- Complex Numbers -- Sequences and Series...”
View full text
View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise Java...”View full text
Electronic
eBook
12
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
13
Published 2008
Table of Contents:
“... Foundation for Security -- Combining Domain-Specific and Foundational Logics to Verify Complete Software...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... to SAT-Based Approaches for Bit-Vectors -- Satisfiability Modulo the Theory of Costs: Foundations...”View full text
Electronic
eBook
16
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
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 2008
Table of Contents:
“... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Templates for Information Systems: Foundations and Perspectives -- Reduction Based Symbolic Value Partition...”View full text
Electronic
eBook