Suchergebnisse - constructability method programs function java https

1

Java Methods for Financial Engineering Applications in Finance and Investment /

von Barker, Philip., Barker, Philip.
Veröffentlicht 2007

Inhaltsangabe: “... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
Volltext

Elektronisch E-Book

2

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

von Hunt, John., Hunt, John.
Veröffentlicht 2014

Inhaltsangabe: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Volltext

Elektronisch E-Book

3

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

Veröffentlicht 2010

Schlagworte: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volltext

Elektronisch E-Book

4

Polyadenylation in Plants Methods and Protocols /

Veröffentlicht 2015

Inhaltsangabe: “... Processing To Extract poly(A) Sites -- Analysis of poly(A) Site Choice Using A Java-Based Clustering...”
Volltext

Elektronisch E-Book

5

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

Veröffentlicht 2005

Inhaltsangabe: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Volltext

Elektronisch E-Book

6

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

Veröffentlicht 2014

Inhaltsangabe: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Volltext

Elektronisch E-Book

7

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...

Veröffentlicht 2007

Inhaltsangabe: “...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”
Volltext

Elektronisch E-Book

8

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

Veröffentlicht 2008

Inhaltsangabe: “... for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve...”
Volltext

Elektronisch E-Book

9

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Volltext

Elektronisch E-Book

10

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Volltext

Elektronisch E-Book

11

Advanced Techniques in Computing Sciences and Software Engineering

Veröffentlicht 2010

Inhaltsangabe: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Volltext

Elektronisch E-Book

12

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Veröffentlicht 2007

Inhaltsangabe: “... -- Text Classification with Support Vector Machine and Back Propagation Neural Network -- Construction...”
Volltext

Elektronisch E-Book

13

Applications of Evolutionary Computing 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”
Volltext

Elektronisch E-Book

14

Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks /

Veröffentlicht 2014

Inhaltsangabe: “... with multiplicity structures -- Signature-based Method of Deciding Program Termination -- High-precision eigenvalue...”
Volltext

Elektronisch E-Book

15

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...”
Volltext

Elektronisch E-Book

16

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”
Volltext

Elektronisch E-Book

17

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

Veröffentlicht 2007

Inhaltsangabe: “... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...”
Volltext

Elektronisch E-Book

18

Advanced Data Mining and Applications 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Groups and Its Application to Acronym-Expansion Extraction -- A Genetic-Based Feature Construction Method...”
Volltext

Elektronisch E-Book

19

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... in Heterogeneous Data Federations -- On Optimising Data Access Via Materialised Methods in Object-Oriented Systems...”
Volltext

Elektronisch E-Book

20

Web Engineering 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... -- Practical Methods for Adapting Services Using Enterprise Service Bus -- On the Quality of Navigation Models...”
Volltext

Elektronisch E-Book

Suche einschränken