Kết quả tìm kiếm - general composition ((program program) OR (programs program)) java https

1

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings /

Được phát hành 2014

Mục lục: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
lấy văn bản

Điện tử eBook

2

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Được phát hành 2010

Mục lục: “... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”
lấy văn bản

Điện tử eBook

3

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Được phát hành 2013

Mục lục: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
lấy văn bản

Điện tử eBook

4

Pro React

Bằng de Sousa Antonio, Cassio., de Sousa Antonio, Cassio.
Được phát hành 2015

Mục lục: “...Chapter 1: Getting Started -- Chapter 2: The DOM Abstraction -- Chapter 3: Component Composition...”
lấy văn bản

Điện tử eBook

5

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Được phát hành 2010

Mục lục: “... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”
lấy văn bản

Điện tử eBook

6

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /

Được phát hành 2006

Mục lục: “... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”
lấy văn bản

Điện tử eBook

7

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Được phát hành 2007

Mục lục: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
lấy văn bản

Điện tử eBook

8

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Được phát hành 2008

Mục lục: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
lấy văn bản

Điện tử eBook

9

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

Được phát hành 2007

Mục lục: “... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...”
lấy văn bản

Điện tử eBook

10

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /

Được phát hành 2005

Mục lục: “... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”
lấy văn bản

Điện tử eBook

11

Testing: Academic and Industrial Conference - Practice and Research Techniques 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings /

Được phát hành 2010

Mục lục: “... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...”
lấy văn bản

Điện tử eBook

12

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Được phát hành 2005

Mục lục: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
lấy văn bản

Điện tử eBook

13

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /

Được phát hành 2005

Mục lục: “... Interpretation of the Quasi-synchronous Composition of Synchronous Programs -- Termination of Polynomial Programs...”
lấy văn bản

Điện tử eBook

14

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /

Được phát hành 2013

Mục lục: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
lấy văn bản

Điện tử eBook

15

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /

Được phát hành 2008

Mục lục: “...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”
lấy văn bản

Điện tử eBook

16

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Được phát hành 2005

Mục lục: “... Around Advice Composition -- Guaranteeing Resource Bounds for Component Software -- Analysis of Java...”
lấy văn bản

Điện tử eBook

17

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Được phát hành 2006

Mục lục: “... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”
lấy văn bản

Điện tử eBook

18

Middleware 2006 ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceedings /

Được phát hành 2006

Mục lục: “... -- Non-intrusive Performance Management for Computer Services -- Composition -- True and Transparent...”
lấy văn bản

Điện tử eBook

19

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April...

Được phát hành 2014

Mục lục: “...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”
lấy văn bản

Điện tử eBook

20

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

Được phát hành 2008

Mục lục: “... Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic...”
lấy văn bản

Điện tử eBook

Tìm kiếm hẹp