1
by Wu, Chaur., Wu, Chaur.
Published 2010
Table of Contents: ... and Interoperability -- Dynamic Objects -- DLR Hosting API -- Applying the DLR -- DLR and Aspect-Oriented Programming...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
View full text
Electronic eBook
4
Table of Contents: ...Introducing C++/CLI -- A Quick Tour of the C++/CLI Language Features -- Building C++/CLI Programs...
View full text
Electronic eBook
5
by Heege, Marcus., Heege, Marcus.
Published 2007
Table of Contents: ...Why C++/CLI? -- Managed Types, Instances, and Memory -- Writing Simple .NET Applications...
View full text
Electronic eBook
6
Table of Contents: ...Introducing C++/CLI -- A Quick Tour of the C++/CLI Language Features -- Building C++/CLI Programs...
View full text
Electronic eBook
7
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
8
by Myatt, Adam., Myatt, Adam.
Published 2007
Table of Contents: ... NetBeans -- Creating a Java Project -- Creating a Web Application Project -- Creating Visual Web...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...
View full text
Electronic eBook
12
Table of Contents: ...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...
View full text
Electronic eBook
13
Table of Contents: ... Library -- Mapping with Atlas -- Building a Sample Application with ASP.NET and Atlas....
View full text
Electronic eBook
14
Subjects: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... Compiler from ?-Protocol to 2-Move Deniable Zero-Knowledge -- New Extensions of Pairing-Based Signatures...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
View full text
Electronic eBook
17
by Hermes, Dan., Hermes, Dan.
Published 2015
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ...On a Logical Foundation for Explicit Substitutions -- From Proof-Nets to Linear Logic Type Systems...
View full text
Electronic eBook