Výsledky vyhledávání - program java case developing complex https

1

Learn Java for Web Development Modern Java Web Development /

Autor Layka, Vishal., Layka, Vishal.
Vydáno 2014

Témata: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Získat plný text

Elektronický zdroj E-kniha

2

Beginning NetBeans IDE For Java Developers /

Autor Wielenga, Geertjan., Wielenga, Geertjan.
Vydáno 2015

Témata: “...Java (Computer program language)....”
Získat plný text

Elektronický zdroj E-kniha

3

Java Methods for Financial Engineering Applications in Finance and Investment /

Autor Barker, Philip., Barker, Philip.
Vydáno 2007

Obsah: “... Derivatives -- Conditional Options -- Complex Conditional Options -- Barrier Type Options -- Double Barrier...”
Získat plný text

Elektronický zdroj E-kniha

4

Windows 8 MVVM Patterns Revealed covers both C# and JavaScript /

Autor Ghoda, Ashish., Ghoda, Ashish.
Vydáno 2012

Témata: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Získat plný text

Elektronický zdroj E-kniha

5

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Vydáno 2013

Obsah: “... for the Java Virtual Machine -- Averroes: Whole-Program Analysis without the Whole Program -- QUIC Graphs...”
Získat plný text

Elektronický zdroj E-kniha

6

Adobe ColdFusion Anthology The Best of The Fusion Authority /

Autor Dinowitz, Michael., Dinowitz, Michael., Dinowitz, Judith.
Vydáno 2010

Obsah: “... Your Java Virtual Machine: Finding Your Ideal JVM Settings Through Metrics Log Analysis...”
Získat plný text

Elektronický zdroj E-kniha

7

Technological Developments in Networking, Education and Automation

Vydáno 2010

Obsah: “... Linear Algebra, Computer Programming and Biochemistry Curriculum -- Adaptive Assessments using Open...”
Získat plný text

Elektronický zdroj E-kniha

8

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /

Vydáno 2010

Obsah: “... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”
Získat plný text

Elektronický zdroj E-kniha

9

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Vydáno 2006

Obsah: “...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”
Získat plný text

Elektronický zdroj E-kniha

10

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Vydáno 2008

Obsah: “... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”
Získat plný text

Elektronický zdroj E-kniha

11

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Vydáno 2012

Obsah: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
Získat plný text

Elektronický zdroj E-kniha

12

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Vydáno 2010

Obsah: “... Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi...”
Získat plný text

Elektronický zdroj E-kniha

13

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Vydáno 2007

Obsah: “... Representation Invariants of Structurally Complex Data -- Probabilistic Model Checking and Markov Chains -- Multi...”
Získat plný text

Elektronický zdroj E-kniha

14

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /

Vydáno 2010

Obsah: “...Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity...”
Získat plný text

Elektronický zdroj E-kniha

15

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Vydáno 2010

Obsah: “... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...”
Získat plný text

Elektronický zdroj E-kniha

16

Research into Practice - Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings /

Vydáno 2010

Obsah: “... the Potential for Modularisation of Java Programs -- Evaluating Maintainability with Code Metrics for Model...”
Získat plný text

Elektronický zdroj E-kniha

17

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

Vydáno 2008

Obsah: “... -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A...”
Získat plný text

Elektronický zdroj E-kniha

18

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Vydáno 2008

Obsah: “... for Problem Frames -- Visualization of Use Cases through Automatically Generated Activity Diagrams...”
Získat plný text

Elektronický zdroj E-kniha

19

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

Vydáno 2014

Obsah: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Získat plný text

Elektronický zdroj E-kniha

20

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings /

Vydáno 2010

Obsah: “... Proof -- AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps -- Bârun: A Scripting...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání