Search Results - program construction https function java https

1

Pro JavaScript Techniques Second Edition /

by Paxton, John., Paxton, John., Resig, John., Ferguson, Russ.
Published 2015

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

2

Java Methods for Financial Engineering Applications in Finance and Investment /

by Barker, Philip., Barker, Philip.
Published 2007

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

3

A Beginner's Guide to Scala, Object Orientation and Functional Programming

by Hunt, John., Hunt, John.
Published 2014

Table of Contents: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text

Electronic eBook

4

Beginning JavaScript with DOM Scripting and Ajax Second Editon /

by Ferguson, Russ., Ferguson, Russ., Heilmann, Christian.
Published 2013

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

5

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference...

Published 2010

Table of Contents: “... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”
View full text

Electronic eBook

6

Dynamic Programming A Computational Tool /

by Lew, Art., Lew, Art., Mauch, Holger.
Published 2007

Table of Contents: “...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text

Electronic eBook

7

Beginning Scala

by Layka, Vishal., Layka, Vishal., Pollak, David.
Published 2015

Subjects: “...Java (Computer program language)....”
View full text

Electronic eBook

8

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Published 2007

Table of Contents: “... -- On the Implementation of Construction Functions for Non-free Concrete Data Types -- Anti-pattern Matching -- Language...”
View full text

Electronic eBook

9

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Published 2013

Table of Contents: “...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”
View full text

Electronic eBook

10

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Published 2014

Table of Contents: “... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”
View full text

Electronic eBook

11

Programming Language Concepts

by Sestoft, Peter., Sestoft, Peter.
Published 2012

Table of Contents: “... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...”
View full text

Electronic eBook

12

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
View full text

Electronic eBook

13

Polyadenylation in Plants Methods and Protocols /

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

14

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Published 2014

Table of Contents: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
View full text

Electronic eBook

15

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Published 2010

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

16

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”
View full text

Electronic eBook

17

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /

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

18

Beginning Google Web Toolkit From Novice to Professional /

by Smeets, Bram., Smeets, Bram., Boness, Uri., Bankras, Roald.
Published 2008

Table of Contents: “... -- Component Based UI construction -- Widgets.-Panels -- GWT Events -- Summary -- Building Advance UI...”
View full text

Electronic eBook

19

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

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

20

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

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

Narrow Search