Rezultaty - program path program composition java https

Inne możliwości wyszukiwania:
program composition » process composition , protein composition , proximate composition
composition java » composition a , composition art , composition j.j
program path » program paths , program part , program pacd
path program » earth program , pelatih program , health program
https » http

Distributed Programming Theory and Practice /

od Shankar, A. Udaya., Shankar, A. Udaya.
Wydane 2013

Spis treści: “... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Wydane 2005

Spis treści: “...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Wydane 2010

Spis treści: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Wydane 2006

Spis treści: “... of Deterministic Blocks in Java PathFinder -- Tools -- A Tool for a Formal Pattern Modeling Language -- An Open...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Wydane 2005

Spis treści: “... Study -- Model Checking Real Time Java Using Java PathFinder -- Infinite-State and Parameterized Systems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... Extension to Java PathFinder -- Markov Chains and Real-Time Systems -- A Symbolic Algorithm for Optimal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Information Systems Development Reflections, Challenges and New Directions /

Wydane 2013

Spis treści: “... Web Services Composition -- Software Process Improvement in small companies as a path to Enterprise...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... Composition: An Ontology-Based Approach -- Multi-agent and Workflow-Based Web Service Management Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... Paths Between XML Documents Using Sequential Patterns -- Web Information Systems Development -- Using...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Wydane 2013

Spis treści: “... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty